The Uncomputable Frontier: BB(5) and Arithmetic's Decidability Boundary — E8 Intelligence Research
Year: 2026
Type: preprint
Abstract: FINDING: The Busy Beaver function BB(n) defines a hierarchy of uncomputable growth, with BB(5) recently resolved via the "Busy Beaver Challenge," revealing a sharp boundary between decidable and undecidable arithmetic truths. | MATH: BB(n) = max steps before halting for n-state 2-symbol Turing machines; BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107, BB(5)=47,176,870 (proven 2024); BB(n) grows faster than any computable function; Σ(n) (max ones) related but distinct. The oracle hierarchy: BB⁽⁰⁾=BB, BB⁽ᵏ⁺¹⁾ = BB with oracle for BB⁽ᵏ⁾, yielding a transfinite tower of uncomputability indexed by ordinals. | CONNECTION: The lattice of oracle levels mirrors the structure of the arithmetical hierarchy (Σₙ⁰/Πₙ⁰), which itself is isomorphic to the Boolean lattice of finite subsets of ℕ — a discrete hypercube. This is a crystallographic-like symmetry in logical space: the root system Aₙ (or Bₙ) encodes the inclusion relations between truth-degree levels. No golden-ratio constants appear; the relevant rat Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Author: Caldin, Andrew Stewart
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7208820265
Cites:
Cited by:
Related to: