Mathematics – General Mathematics
Scientific paper
2002-01-30
Mathematics
General Mathematics
v2: 40 pages. An HTML version of this paper is on the web at http://alixcomsi.com/index01.htm . Preface added, footnotes added
Scientific paper
Goedel's explicit thesis was that his undecidable formula GUS is a well-formed, well-defined formal sentence in any formalisation of Intuitive Arithmetic IA in which the axioms and rules of inference are recursively definable. His implicit thesis was that GUS is not formally inconsistent in any such system. I argue in a constructive, intuitionistically unobjectionable, and recursively definable formalisation PP of IA that GUS is a well-formed formula but an ill-defined formal sentence reflecting the "Liar" paradox in PP. Further, introducing "formal truth" and "provability" values to selected propositions of IA through PP leads to the collapse of Lucas' Goedelian argument.
No associations
LandOfFree
Paradox regained: Life beyond Goedel's shadow does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Paradox regained: Life beyond Goedel's shadow, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Paradox regained: Life beyond Goedel's shadow will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-163829