Undecidability as Structural Physics: From Halting to Spectral Gaps — E8 Intelligence Research
- 1Independent Researcher, United Kingdom
Abstract
FINDING: Undecidability is not a computational artifact but a structural feature of formal systems, now extending into quantum many-body physics — where the halting problem maps onto spectral gap questions. | MATH: Halting problem (Turing, 1936): no computable function H(P,I) decides if program P halts on input I. Gödel incompleteness: for any consistent, recursively axiomatizable theory T ⊇ Robinson arithmetic, ∃ sentence G with T⊬G and T⊬¬G. Reducibility: A ≤_T B via Turing reduction — solving B solves A. Quantum extension: the spectral gap problem (given a translationally invariant local Hamiltonian, does the gap vanish in the thermodynamic limit?) is undecidable (Cubitt, Perez-Garcia, Wolf, 2015) — proof uses a lattice of spins encoding a Turing machine's halting behavior into the gap's existence. | CONNECTION: The undecidability proofs rely on encoding computation into discrete lattices — the quantum result uses a 2D spin lattice with local interactions, echoing crystallographic l
Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Related
- Undecidability as Structural Physics: From Turing to Quantum Spectral Gaps — E8 Intelligence Research
- Undecidability as a Structural Invariant Across Computation and Quantum Physics — E8 Intelligence Research
- E8 Harmonic Vacuum Resonance and the Undecidability of Cosmic Spectral Gaps — E8 Intelligence Research
- Undecidability as Structural Truth: Gödel and Turing's Shared Limit — E8 Intelligence Research
- Quantum Spectral Gap Provably Undecidable, Linking Physics to Halting Problem — E8 Intelligence Research
BibTeX
@misc{caldin2026undecidability,
title = {{Undecidability as Structural Physics: From Halting to Spectral Gaps — E8 Intelligence Research}},
author = {Andrew Stewart Caldin},
howpublished = {Zenodo},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23553746},
url = {https://zenodo.org/records/23553746},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Undecidability as Structural Physics: From Halting to Spectral Gaps — E8 Intelligence Research
AU - Andrew Stewart Caldin
PY - 2026
DA - 2026/10/22
PB - Zenodo
DO - 10.5281/zenodo.23553746
UR - https://zenodo.org/records/23553746
AB - FINDING: Undecidability is not a computational artifact but a structural feature of formal systems, now extending into quantum many-body physics — where the halting problem maps onto spectral gap questions. | MATH: Halting problem (Turing, 1936): no computable function H(P,I) decides if program P halts on input I. Gödel incompleteness: for any consistent, recursively axiomatizable theory T ⊇ Robinson arithmetic, ∃ sentence G with T⊬G and T⊬¬G. Reducibility: A ≤_T B via Turing reduction — solving B solves A. Quantum extension: the spectral gap problem (given a translationally invariant local Hamiltonian, does the gap vanish in the thermodynamic limit?) is undecidable (Cubitt, Perez-Garcia, Wolf, 2015) — proof uses a lattice of spins encoding a Turing machine's halting behavior into the gap's existence. | CONNECTION: The undecidability proofs rely on encoding computation into discrete lattices — the quantum result uses a 2D spin lattice with local interactions, echoing crystallographic l Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
ER -