Undecidable Problems in Physics: From Computation to Quantum Fields — E8 Intelligence Research

FINDING: Undecidable problems extend from computation to quantum field theory and many-body physics, revealing fundamental limits on what can be known or computed about physical systems. | MATH: Halting problem: no Turing machine can decide if an arbitrary program halts (Turing 1936). Gödel incompleteness: any consistent formal system containing arithmetic has true but unprovable statements. Reducibility: problem A reduces to B if solving B solves A (A ≤ B). In QFT, spectral gap problem is undecidable (Cubitt, Perez-Garcia, Wolf 2015): no algorithm can determine if a quantum many-body system has a nonzero energy gap. | CONNECTION: Undecidability in physics often arises from encoding Turing machines into Hamiltonian lattice systems — this maps computational logic onto geometric lattice structures (e.g., 2D spin lattices with local interactions). The spectral gap problem's undecidability proof uses aperiodic tilings and translation-invariant Hamiltonians, linking to crystallographic symm Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com