Abstract:Abstract In this paper, we examine the limit of applicability of Gödel’s first incompleteness theorem ( $\textsf {G1}$ for short). We first define the notion “ $\textsf {G1}$ holds for the theory $T$ ”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s $\mathbf {R}$ interprets T but T does not interpret $\mathbf {R}$ (i.e., T is weaker than $\mathbf {R}$ w.r.t. interpretation) and $\textsf {G1}$ holds for T ? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle $ , we can construct a r.e. theory $U_{\langle A,B\rangle }$ such that $U_{\langle A,B\rangle }$ is weaker than $\mathbf {R}$ w.r.t. interpretation and $\textsf {G1}$ holds for $U_{\langle A,B\rangle }$ . As a corollary, we answer a question from Albert Visser. Moreover, we prove that for any Turing degree $\mathbf {0}< \mathbf {d}<\mathbf {0}^{\prime }$ , there is a theory T with Turing degree $\mathbf {d}$ such that $\textsf {G1}$ holds for T and T is weaker than $\mathbf {R}$ w.r.t. Turing reducibility. As a corollary, based on Shoenfield’s work using some recursion theory, we show that there is no theory with a minimal degree of Turing reducibility for which $\textsf {G1}$ holds.

Incompleteness for stably computable formal systems

Incompleteness for stably consistent formal systems

Incompleteness theorems via Turing category

Epistemological Consequences of the Incompleteness Theorems

What If Turing Had Preceded Gödel?

A classification of incompleteness statements

PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

A proof complexity conjecture and the Incompleteness theorem

Consistency, Optimality, and Incompleteness

Feferman's completeness theorem

Formalization of the Equivalence among Completeness Theorems of Real Number in Coq

The limitless First Incompleteness Theorem

A generalization of Markov's approach to the continuity problem for Type 1 computable functions

Yablo's Paradox And Arithmetical Incompleteness

FINDING THE LIMIT OF INCOMPLETENESS I

Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Beware of the Gödel- Wette paradox

Constructive completeness and non-discrete languages

An Intuitively Complete Analysis of Godel's Incompleteness

Incompleteness of boundedly axiomatizable theories

Some reflections on the relationship between logical incompleteness and concrete incompleteness