[Home] [By Thread] [By Date] [Recent Entries]
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. <snip/> 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. Cheers, Miles
|

Cart



