The Uncomputable Growth of Busy Beaver Numbers and Their Arithmetical Extension — E8 Intelligence Research
Year: 2026
Type: preprint
Abstract: FINDING: The Busy Beaver function BB(n) defines the maximum runtime of halting n-state Turing machines; its values are non-computable and grow faster than any computable function, with BB(5) recently resolved (47,176,870) via the Busy Beaver Challenge, and higher-order oracles extend this hierarchy into arithmetical truth. | MATH: BB(n) = max{ t | ∃ M with n states, M halts in exactly t steps }; BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107, BB(5)=47,176,870 (proven 2024); BB(n) is non-computable (uncomputable growth rate exceeds any recursive function); higher-order BB^α(n) with oracle α satisfies: BB^α(n) is uncomputable relative to α, and for α = 0^(k) (k-th Turing jump), BB^(0^(k))(n) encodes truth of Π_k arithmetic sentences — the arithmetical hierarchy collapses into a single function's growth rate. | CONNECTION: No direct geometric ratio (0.382, 0.618, 1.618) appears; however, the arithmetical hierarchy (Σ_k, Π_k) mirrors a *lattice structure* — a countable poset of truth levels, analog 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: W7204945643
Cites:
Cited by:
Related to: