FOM: Goedel: truth and misinterpretations
kanovei at wmwap1.math.uni-wuppertal.de
Thu Oct 26 13:06:24 EDT 2000
> Date: Thu, 26 Oct 2000 09:26:58 -0700
> From: Martin Davis <martin at eipye.com>
> I can't imagine what would be clearer than an assertion
> that a has a
> solution in natural numbers.
Most assured you cannot be wrong, I only wonder why they
included the Harrington-Paris note as the only
(or one of very few) pure research article in the
"Handbook of Math. Logic", whose (the H-P note) main
content was to display a true MATHEMATICALLY meaningful
sentence of PA, not provable in PA.
The editors had no idea about
"a particular explicitly displayed system of polynomial equation" ?
More information about the FOM