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