Undecidability as Structural Truth Beyond Provability — E8 Intelligence Research
Year: 2026
Type: preprint
Abstract: FINDING: Undecidability is a structural property of formal systems, not a computational failure — Gödel's incompleteness and Turing's halting problem reveal that truth and provability are distinct, with the set of true statements strictly larger than the set of provable ones. | MATH: Gödel's first incompleteness theorem: for any consistent, recursively axiomatizable system S capable of arithmetic, ∃ a sentence G such that S ⊬ G and S ⊬ ¬G. Turing's halting problem: the set K = {⟨M⟩ | M halts on input ⟨M⟩} is not decidable; equivalently, the characteristic function χ_K is not Turing-computable. Reducibility: A ≤_m B means A is many-one reducible to B; if B were decidable, A would be, so undecidability propagates. | CONNECTION: The undecidable set K is a recursively enumerable (Σ₁⁰) set whose complement is not Σ₁⁰ — this is a lattice-theoretic asymmetry (Post's problem: existence of intermediate degrees, solved by Friedberg–Muchnik, 1957). The Turing degrees form an upper semilattice wit Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Author: Caldin, Andrew Stewart
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7212375104
Cites:
Cited by:
Related to: