Lists Home |
Date Index |
Jonathan Borden wrote,
> On Jun 12, 2004, at 10:00 AM, Miles Sabin wrote:
> > I've read all of those documents and there's nothing there that's
> > new since Tarski on the MT front, and the rest is KIF, say, with
> > angle brackets.
> > So where's the beef?
> That *is* the beef.
Well, thanks at least for an unequivocal response.
Speaking for myself only, I'd say that just reconfirms my belief that
we're in naked emperor territory ... as ever YMMV.