[FOM] Godel Sentence

Torkel Franzen torkel at sm.luth.se
Tue Aug 26 05:15:52 EDT 2003


A correction to my earlier posting, where I claimed:

  >We know that Goldbach's
  >conjecture is equivalent in T to a Con(T) if we are allowed to choose
  >(unnaturally) the Sigma-formula defining the axioms of T.

  This startling claim is as far as I know false. We only know that Con(T)
can be chosen to imply Goldbach's conjecture.
---
Torkel Franzen




More information about the FOM mailing list