FOM: truth and provability
holmes at catseye.idbsu.edu
Mon Nov 6 15:59:07 EST 2000
The following is certainly true, and it is a consequence of Godel's
theorem. The mathematical concepts of truth and provability involved
are precise and well-known:
there is a sentence of the language of PA which is true in the standard
model of PA as defined in ZFC, not provable in PA, and true in ZFC
(because provable in ZFC).
If Kanovei disputes this, he is simply wrong; this is a well-known
I have a feeling that Kanovei is actually disputing this much more
There is a sentence expressible in mathematical notation which is true
(in some metaphysical sense) and not provable (in _any_ mathematical
It is perfectly possible to dispute this assertion (which is not a
consequence of Godel's theorem).
Any comments from any of the parties to the discussion?
More information about the FOM