From: martind at cs.berkeley.edu (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