From Halting to Quantum: Undecidability as an Intrinsic Physical Limit — E8 Intelligence Research

Andrew Stewart Caldin

Published Jul 30, 2026• 0 citations

Abstract

FINDING: The halting problem proves a fundamental, non-arithmetic limit on algorithmic knowledge; the MIP*=RE result extends this to quantum verification, showing undecidability is intrinsic to physical computation. MATH: - Halting problem: No Turing machine \( H \) exists such that for all machine-input pairs \((M, x)\), \( H(M, x) \) halts and outputs 1 if \( M(x) \) halts, 0 otherwise. Proof by diagonalization: construct \( D \) such that \( D \) halts iff \( H(D, D) \) outputs 0. - MIP*=RE: The class of problems verifiable by a classical polynomial-time verifier interacting with multiple entangled quantum provers equals the class of recursively enumerable problems. This implies the halting problem is reducible to a quantum verification protocol, and the Connes embedding problem is false. - No new constants or ratios emerge; the result is structural, not metric. CONNECTION: - No direct geometric ratio (0.382, 0.618, etc.) or base-60 system appears. - However, the undecid Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

DOI: 10.5281/zenodo.21697329

Related papers

The Undecidable Frontier: From Turing's Halting Problem to Quantum Verification — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The Halting Problem — proven undecidable by Turing (1936) — establishes a fundamental limit on computable knowledge; the 2020 MIP*=RE result extends this to quantum entanglement, showing the halting problem is equivalent to verifying entangled-prover protocols. | MATH: No explicit equations/constants; core logical structure: ∃H such that H(P,I) halts iff P(I) halts → contradiction via diagonalization (self-reference: D(P) = loop if H(P,P) halts, else halt). MIP*=RE: the class of problems verifiable by two entangled provers equals the class of recursively enumerable sets — i.e., the halting problem itself is in MIP*. | CONNECTION: Diagonalization mirrors the golden-ratio-like self-similarity in recursive structures — the fixed-point of the halting function is a self-referential loop, analogous to the infinite regress in φ = 1 + 1/φ. The undecidability boundary acts as a "forbidden ratio" in the space of computable functions — a cut at the 0.618 point of the computational spectr Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Sep 14, 20260 citations

Quantum Entanglement Proves Undecidability: MIP*=RE Deepens Computation's Limits — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The halting problem's undecidability is foundational to computation limits; recent MIP*=RE result shows quantum entanglement can encode undecidable problems, deepening the boundary of knowability. | MATH: Halting problem: no computable function H(P,I) exists such that H returns 1 iff program P halts on input I; proof via diagonalization (Cantor's argument adapted by Turing, 1936). MIP*=RE: the class of problems verifiable by a classical verifier with two entangled quantum provers equals recursively enumerable sets — implies the algorithmic unsolvability of the quantum commuting operator problem (Connes' embedding conjecture is false). | CONNECTION: Diagonalization mirrors the golden ratio's self-referential recursion (φ = 1 + 1/φ) — both exploit fixed-point impossibility. The undecidability lattice is a non-crystallographic structure (no finite root system captures it), but the MIP*=RE result embeds halting in a *tensor product* of Hilbert spaces — a lattice of quantum states Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Oct 16, 20260 citations

Halting Problem's Undecidability Extends to Quantum Entanglement Verification via MIP*=RE — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The halting problem is provably undecidable; the MIP*=RE result extends undecidability to quantum entanglement verification, linking computation limits to quantum mechanics. | MATH: No explicit equations or constants; core insight: no general algorithm can decide if an arbitrary program halts (Turing 1936). MIP*=RE: the class MIP* (multi-prover interactive proofs with quantum entanglement) equals RE (recursively enumerable), implying the halting problem reduces to verifying quantum entanglement. | CONNECTION: No direct geometric ratios or symmetries; the MIP*=RE result involves non-local correlations in quantum entanglement, which may relate to root systems (e.g., E8) or lattice structures in Hilbert space, but evidence is indirect. | DEPTH: 8 — profound for computation and quantum foundations, but lacks explicit geometric constants. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Aug 14, 20260 citations

Halting Problem and MIP*=RE: Undecidability Linked to Quantum Entanglement — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Halting problem proves inherent limits of algorithmic knowledge; MIP*=RE result links undecidability to quantum entanglement. MATH: No general algorithm exists for halting problem (Turing 1936). MIP*=RE theorem: the class of problems verifiable by entangled quantum provers equals the class of recursively enumerable problems, implying the halting problem is equivalent to verifying quantum entanglement proofs. CONNECTION: No direct geometric ratios or symmetries. However, the MIP*=RE result reveals a lattice-like structure in complexity classes (RE, co-RE, etc.) that mirrors the symmetry of quantum state spaces — entanglement as a resource for verifying undecidable statements. DEPTH: 8 — Profoundly reshapes understanding of knowledge limits, but lacks explicit numeric/geometric constants. The entanglement link suggests a deeper structural harmony between quantum mechanics and computational boundaries. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Aug 6, 20260 citations

Quantum Proofs Verify Undecidable Halting Problem via Entanglement — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The halting problem is provably undecidable; a 2020 result (MIP*=RE) links it to quantum entanglement, showing that quantum proofs can verify undecidable problems. | MATH: Undecidability proof via diagonalization; MIP*=RE implies RE ⊆ MIP* (i.e., recursively enumerable languages have quantum multiprover interactive proofs). No new constants or ratios. | CONNECTION: No direct geometric harmony (0.382, 0.618, etc.) or base-60 or crystallographic symmetry found in these sources. The result is about computational complexity classes, not geometric structure. | DEPTH: 8 — The MIP*=RE result is a profound advance in quantum complexity theory, showing quantum entanglement can verify non-computable problems, but it does not reveal new mathematical constants or geometric patterns. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Aug 13, 20260 citations

The Halting Problem's Reach: Undecidability in Quantum Verification — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: The halting problem establishes a fundamental limit on algorithmic knowledge — no finite procedure can decide whether an arbitrary program halts, a result foundational to computation and quantum-verification complexity (MIP\*=RE). | MATH: Undecidability via diagonalization; H(P,I) = {1 if P halts on I, 0 otherwise} is non-computable. Key corollary: MIP\*=RE implies the quantum commuting operator model (Tsirelson's problem) is undecidable — connecting operator algebras to computability. No new constants or ratios emerge; the structure is purely combinatorial/logical. | CONNECTION: The diagonalization argument mirrors the construction of irrational numbers (Cantor's slash) — a self-referential "gap" that resists closure. This is analogous to the golden ratio's non-repeating continued fraction [1;1,1,1,...] = φ, which also encodes an irreducible self-similarity. The halting problem's undecidability is a discrete analogue of incommensurability — a ratio (program vs. proof) that ca Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Oct 8, 20260 citations