FOM: Re:

Vaughan Pratt pratt at cs.Stanford.EDU
Mon Mar 23 14:32:32 EST 1998

From: martind at (Martin Davis)
>The question is (as you surely must know by now): how could LT have been
>applicable to jurassic pebbles if the theorem only makes sense in the
>context of human activity?

That's an easy one: only humans can apply it.

Vaughan Pratt

More information about the FOM mailing list