Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable
arXiv:math/0703723
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.
26 pages; an HTML version is available at http://alixcomsi.com/Two_Presumptions.htm