Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable
General Mathematics
2007-05-23 v1
Abstract
Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - one each in Theorem VI and in Theorem XI - which do not meet Goedel's, explicitly stated, requirement of classically constructive, and intuitionistically unobjectionable, reasoning. We see how these objections can be addressed, and note some consequences.
Keywords
Cite
@article{arxiv.math/0703723,
title = {Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable},
author = {Bhupinder Singh Anand},
journal= {arXiv preprint arXiv:math/0703723},
year = {2007}
}
Comments
26 pages; an HTML version is available at http://alixcomsi.com/Two_Presumptions.htm