The Busy Beaver Function's Non-Computable Growth and Arithmetical Hierarchy — E8 Intelligence Research
FINDING: The Busy Beaver function defines a non-computable integer sequence that climbs the arithmetical hierarchy, with BB(5) recently resolved via collaborative proof; lattice QCD results are unrelated but share the term "lattice." | MATH: BB(n) = max steps before halting among n-state 2-symbol Turing machines; BB(5) = 47,176,870 (proven 2024); BB(n) grows faster than any computable function; arithmetical hierarchy: Σ₁ (halting) ⊂ Σ₂ (BB) ⊂ Σ₃ (iterated BB), each level requires an oracle for the previous. | CONNECTION: The arithmetical hierarchy forms a **lattice** of truth degrees — analogous to root system lattices (Aₙ, Dₙ) in crystallography, but here the "symmetry" is logical: each Σₙ level is closed under finite unions/intersections, mirroring the meet/join structure of a distributive lattice. No golden-ratio or base-60 constants appear; the only ratio is the exponential growth rate of BB(n) relative to n, which is not a fixed constant but a transfinite ordinal (ω^CK₁). | DEPTH: Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Authors
- Andrew Stewart Caldin
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-01
- DOI
- https://doi.org/10.5281/zenodo.22235872
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- preprint