Undecidability as Structural Limit, Not Physical Barrier: A Hierarchy of Unsolvability — E8 Intelligence Research

FINDING: Undecidability (halting problem, Gödel incompleteness) is a structural limit of formal systems, not a physical barrier — reducibility maps problems onto each other, revealing a hierarchy of unsolvability. | MATH: Halting problem: no total computable function H(p,i) decides if program p halts on input i. Gödel: for any consistent, recursively axiomatizable theory T ⊇ PA, ∃ sentence G with T⊬G and T⊬¬G. Reducibility: A ≤_m B (many-one) or A ≤_T B (Turing) — degrees form a partial order with 𝟘 (decidable) and 𝟘′ (halting set) as minimal non-zero jump. | CONNECTION: The Turing degree structure is a lattice — its partial order has joins/meets, echoing crystallographic root system lattices (e.g., A_n, D_n) in that both are discrete, ordered structures with symmetry under automorphisms. The jump operator (𝟘 → 𝟘′ → 𝟘″ …) is a recursive analogue of a symmetry group action — each jump is a "rotation" in the space of unsolvability. No golden ratio appears; the structure is ordinal, not m 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-08-24
DOI
https://doi.org/10.5281/zenodo.22075579
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Undecidability as Structural Limit, Not Physical Barrier: A Hierarchy of Unsolvability — E8 Intelligence Research

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

Undecidability as Structural Limit, Not Physical Barrier: A Hierarchy of Unsolvability — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: Undecidability (halting problem, Gödel incompleteness) is a structural limit of formal systems, not a physical barrier — reducibility maps problems onto each other, revealing a hierarchy of unsolvability. | MATH: Halting problem: no total computable function H(p,i) decides if program p halts on input i. Gödel: for any consistent, recursively axiomatizable theory T ⊇ PA, ∃ sentence G with T⊬G and T⊬¬G. Reducibility: A ≤_m B (many-one) or A ≤_T B (Turing) — degrees form a partial order with 𝟘 (decidable) and 𝟘′ (halting set) as minimal non-zero jump. | CONNECTION: The Turing degree structure is a lattice — its partial order has joins/meets, echoing crystallographic root system lattices (e.g., A_n, D_n) in that both are discrete, ordered structures with symmetry under automorphisms. The jump operator (𝟘 → 𝟘′ → 𝟘″ …) is a recursive analogue of a symmetry group action — each jump is a "rotation" in the space of unsolvability. No golden ratio appears; the structure is ordinal, not m 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.