FOM: On Absolute Truth

Vaughan Pratt pratt at cs.Stanford.EDU
Thu Feb 5 21:17:38 EST 1998


From: jshipman at bloomberg.net (JOE SHIPMAN, BLOOMBERG/ NEW YORK)
>In an earlier dialogue with Machover I remarked that we can achieve "moral
>certainty" about certain statements that were not feasibly provable classically
						^^^^^^^^^^^^^^^^^^^^^^^^^^
>(e.g. primality of integers--since I am speaking to Vaughan here I should be
>extra careful to note that I know he showed that feasible classical proofs of
>primality exist, I am talking about the difficulty of finding them),

More precisely, "not *known* to be feasibly provable classically."

Vaughan Pratt



More information about the FOM mailing list