FOM: Franzen on "which undecidables have determinate truth value"

Charles Silver csilver at
Fri Feb 27 09:27:54 EST 1998

To Hartry Field:

	Would you want to refute the following argument (why or why not?): 
If Goldbach's Conjecture were proven to be formally undecidable in PA, it
must then be true.  The reason it must be true is that if it were false,
then some even number could be found that was not the sum of two primes
(and thus it wouldn't be undecidable). 

	Any clarification would be appreciated.

	Thank you,

Charlie Silver
Smith College

More information about the FOM mailing list