FOM: Franzen on "which undecidables have determinate truth value"
csilver at sophia.smith.edu
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.
More information about the FOM