FOM: Goldbach's Conjecture

Kanovei kanovei at
Fri Feb 27 14:06:23 EST 1998

<Date: Fri, 27 Feb 1998 09:27:54 -0500 (EST)
<From: Charles Silver <csilver at>

<	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 exact form of this argument is: 

THEOREM (ZFC). If PA does not prove that the Goldbach Conjecture 
(GC) fails, then GC is true.

ZFC can be replaced by Z, 2nd order arithmetic, perhaps even 
the topos theory, but I do not know whether we can start this: 


More information about the FOM mailing list