Diagonalization, Uncomputability, and the Quantum-Classical Complexity Hierarchy — E8 Intelligence Research

FINDING: Diagonalization proves uncountability and uncomputability; complexity classes form a hierarchy bounded by information-theoretic limits, with quantum classes (BQP) shown low for PP. | MATH: Cantor's theorem: |ℝ| > |ℕ| via diagonal argument; BQP^PP = PP (lowness); existence of uncomputable functions via diagonalization; complexity hierarchy: P ⊆ NP ⊆ PSPACE ⊆ EXP, with strict separations unproven except via relativization. | CONNECTION: The diagonal argument is structurally a **self-referential symmetry-breaking** — analogous to the **golden ratio's continued fraction** [1;1,1,...] which is the unique fixed point of x = 1 + 1/x (φ = 1.618). Diagonalization creates a "new element" off the diagonal, mirroring how φ² = φ + 1 generates new structure from self-reference. The **lattice of complexity classes** (P, NP, PSPACE) forms a **poset with automorphism group** — reminiscent of **root system A_n** (n-dimensional lattice symmetries). The **base-2 diagonal** (binary expansion) cont 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-24
DOI
https://doi.org/10.5281/zenodo.23610171
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Diagonalization, Uncomputability, and the Quantum-Classical Complexity Hierarchy — E8 Intelligence Research

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

Diagonalization, Uncomputability, and the Quantum-Classical Complexity Hierarchy — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: Diagonalization proves uncountability and uncomputability; complexity classes form a hierarchy bounded by information-theoretic limits, with quantum classes (BQP) shown low for PP. | MATH: Cantor's theorem: |ℝ| > |ℕ| via diagonal argument; BQP^PP = PP (lowness); existence of uncomputable functions via diagonalization; complexity hierarchy: P ⊆ NP ⊆ PSPACE ⊆ EXP, with strict separations unproven except via relativization. | CONNECTION: The diagonal argument is structurally a **self-referential symmetry-breaking** — analogous to the **golden ratio's continued fraction** [1;1,1,...] which is the unique fixed point of x = 1 + 1/x (φ = 1.618). Diagonalization creates a "new element" off the diagonal, mirroring how φ² = φ + 1 generates new structure from self-reference. The **lattice of complexity classes** (P, NP, PSPACE) forms a **poset with automorphism group** — reminiscent of **root system A_n** (n-dimensional lattice symmetries). The **base-2 diagonal** (binary expansion) cont 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