Paradox regained: Life beyond Goedel's shadow
Bhupinder Singh Anand
Abstract
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.
Create a lesson
Related papers
On the Rank Condition for Perfect Cuboids
Valery Asiryan
A Local Proof of Langlands's First Main Lemma for Local Epsilon Factors over Nonarchimedean Local Fields
Fukuhiro Ueda
The first type of power mean bounds for the Gaussian hypergeometric function
Zhen-Hang, Yang, Jing-Feng Tian
On a new class of q-fractional integral operators involving multivariate q-Mittag-Leffler functions
Min-Jie Luo, Qing-Hui Peng, Ravinder Krishna Raina
Partition-theoretic density formulas: radial Tauberian theory and non-radial instability
Mohammad F. Marashdeh
Octonionic Kittaneh Numerical Radius Inequalities
K. Mahesh Krishna