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.

A Note on the Incompleteness of Gödel's Incompleteness Theorems

Teaching G{ö}del's incompleteness theorems

An Intuitively Complete Analysis of Godel's Incompleteness

What If Turing Had Preceded Gödel?

From Gödel's Incompleteness Theorem to the completeness of bot beliefs (Extended abstract)

G?del's Incompleteness Theorem and Limitations of Mathematical Cognition——Understanding G?del's Incompleteness Theorem Based on Recursion Theory

Top-down Automated Theorem Proving (Notes for Sir Timothy)

A new viewpoint of the Gödel's incompleteness theorem and its applications

FINDING THE LIMIT OF INCOMPLETENESS I

Incompleteness for stably computable formal systems

Incompleteness theorems via Turing category

Epistemological Consequences of the Incompleteness Theorems

Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem

Beware of the Gödel- Wette paradox

Gödel Incompleteness Theorem for PAC Learnable Theory

A proof complexity conjecture and the Incompleteness theorem

The limitless First Incompleteness Theorem

Gödel incompleteness through Arithmetic Universes after A. Joyal

Incompleteness for stably consistent formal systems

On Godel's treatment of the undecidable in 1931

Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic