The Busy Beaver Function: From BB(5) to Oracle-Based Undecidability — 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; BB(5) was recently resolved via collaborative proof, and higher-order oracle-based extensions link its values to undecidable number-theoretic statements. | MATH: BB(5) = 47,176,870 (known value, verified 2024–2025); BB(n) is non-computable — grows faster than any computable function. Higher-order BB: BB^α(n) for oracle machine α; decidability of Σ₁ formulas relates to BB^α growth rates (arXiv:2507.20321). | CONNECTION: No direct geometric ratio (0.382, 0.618, 1.618) appears. However, the *structure* of BB(n) values — e.g., BB(5) = 47,176,870 — has no known modular or base-60 symmetry. The function's growth is *transcendental* in the computability sense, not algebraic — analogous to how irrational ratios break rational harmony. The oracle hierarchy mirrors a *lattice* of undecidability levels (Turing degrees), which is a partial order with join/meet — a lattice structure, though not c 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: W7204871285
Cites:
Cited by:
Related to: