Undecidability Limits from Computation to Physics via Spectral Gap — E8 Intelligence Research

FINDING: The halting problem and Gödelian incompleteness establish hard limits on decidability that propagate into physics via spectral gap and continuum problems | MATH: Halting set H = {⟨M,w⟩ : M halts on w} is recursively enumerable but not recursive; diagonalization gives H ∉ R. Gödel: any consistent, effectively axiomatized theory T ⊇ PA contains sentence G_T with T ⊬ G_T and T ⊬ ¬G_T. Reductions: A ≤_m B via total computable f with x ∈ A ⟺ f(x) ∈ B. | CONNECTION: No direct geometric-harmony constants (0.382, 0.618, 0.786, 1.618, 2.618) appear in the source material. The relevant structural link is to **lattice/spectral** geometry: undecidability of the spectral gap problem (Cubitt–Perez-Garcia–Wolf, Nature 2015) shows that whether a 1D quantum spin-chain Hamiltonian has a spectral gap is undecidable — i.e., the spectrum of a lattice Hamiltonian is not computably classifiable. This touches crystallographic/lattice structure but does not invoke φ-ratios or base-60. | DEPTH: 8 --- Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-29
DOI
https://doi.org/10.5281/zenodo.23755933
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Undecidability Limits from Computation to Physics via Spectral Gap — E8 Intelligence Research

Andrew Stewart Caldin
12 links
Zenodo (CERN European Organization for Nuclear Research)
Computability, Logic, AI Algorithms
preprint

Undecidability Limits from Computation to Physics via Spectral Gap — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The halting problem and Gödelian incompleteness establish hard limits on decidability that propagate into physics via spectral gap and continuum problems | MATH: Halting set H = {⟨M,w⟩ : M halts on w} is recursively enumerable but not recursive; diagonalization gives H ∉ R. Gödel: any consistent, effectively axiomatized theory T ⊇ PA contains sentence G_T with T ⊬ G_T and T ⊬ ¬G_T. Reductions: A ≤_m B via total computable f with x ∈ A ⟺ f(x) ∈ B. | CONNECTION: No direct geometric-harmony constants (0.382, 0.618, 0.786, 1.618, 2.618) appear in the source material. The relevant structural link is to **lattice/spectral** geometry: undecidability of the spectral gap problem (Cubitt–Perez-Garcia–Wolf, Nature 2015) shows that whether a 1D quantum spin-chain Hamiltonian has a spectral gap is undecidable — i.e., the spectrum of a lattice Hamiltonian is not computably classifiable. This touches crystallographic/lattice structure but does not invoke φ-ratios or base-60. | DEPTH: 8 --- Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Zenodo (CERN European Organization for Nuclear Research)
Computability, Logic, AI Algorithms
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon