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

[Charles Silver]

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