[CrackMonkey] Perl (fwd)

[Seth David Schoen]

Jay Sulzberger writes:

> You are right!  And you may have a proof, but you do not have an infinite
> number of good proofs!  Or you know more than a finite number of
> interesting truths!

True, unless all the results of substituting in a schema like

T(x)

(where T is a predicate trivially or tautologically true of every
object in its domain) are interesting.  Which I doubt.

An even older question: do you have to have thought of something to
know it?  (That problem is in Plato's _Meno_.)

-- 
Seth David Schoen <schoen at loyalty.org>  | And do not say, I will study when I
Temp.  http://www.loyalty.org/~schoen/  | have leisure; for perhaps you will
down:  http://www.loyalty.org/   (CAF)  | not have leisure.  -- Pirke Avot 2:5