Lists Home |
Date Index |
Bill de hÓra wrote,
> Elliotte Rusty Harold wrote:
> > I'd call that a value-subtract. [...]
> The best thing for you to do is to draw your own analogies and
> conclusions instead of asking people to justify matters. I would
> start with these specs:
Well, I guess this comes back to who bears the burden of proof.
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
So where's the beef?