Abstract:We prove, for stably computably enumerable formal systems, direct analogues of the first and second incompleteness theorems of Gödel. A typical stably computably enumerable set is the set of Diophantine equations with no integer solutions, and in particular such sets are generally not computably enumerable. And so this gives the first extension of the second incompleteness theorem to non classically computable formal systems. Let's motivate this with a somewhat physical application. Let $\mathcal{H} $ be the suitable infinite time limit (stabilization in the sense of the paper) of the mathematical output of humanity, specializing to first order sentences in the language of arithmetic (for simplicity), and understood as a formal system. Suppose that all the relevant physical processes in the formation of $\mathcal{H} $ are Turing computable. Then as defined $\mathcal{H} $ may \emph{not} be computably enumerable, but it is stably computably enumerable. Thus, the classical Gödel disjunction applied to $\mathcal{H} $ is meaningless, but applying our incompleteness theorems to $\mathcal{H} $ we then get a sharper version of Gödel's disjunction: assume $\mathcal{H} \vdash PA$ then either $\mathcal{H} $ is not stably computably enumerable or $\mathcal{H} $ is not 1-consistent (in particular is not sound) or $\mathcal{H} $ cannot prove a certain true statement of arithmetic (and cannot disprove it if in addition $\mathcal{H} $ is 2-consistent).

Epistemological Consequences of the Incompleteness Theorems

A common Misconception about the Categorical Arithmetic

Incompleteness theorems via Turing category

Incompleteness for stably computable formal systems

Incompleteness for stably consistent formal systems

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

Teaching G{ö}del's incompleteness theorems

Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Yablo's Paradox And Arithmetical Incompleteness

What If Turing Had Preceded Gödel?

Some reflections on the relationship between logical incompleteness and concrete incompleteness

Gödel incompleteness through Arithmetic Universes after A. Joyal

I don't care, I don't know ... I know too much! On Incompleteness and Undecidedness in Abstract Argumentation.

A classification of incompleteness statements

Beware of the Gödel- Wette paradox

Intensional Kleene and Rice theorems for abstract program semantics

The Goedel's legacy: revisiting the Logic

Incompleteness of boundedly axiomatizable theories

On Godel's treatment of the undecidable in 1931

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

Comments on S Kauffman's paper <a class="link-https" data-arxiv-id="0907.2492" href="https://arxiv.org/abs/0907.2492">arXiv:0907.2492</a>