The Uncomputable Growth of Busy Beaver Functions and Their Number-Theoretic Implications — E8 Intelligence Research

FINDING: The Busy Beaver function BB(n) defines the maximum runtime of halting n-state Turing machines, and is uncomputable — growing faster than any computable function, with BB(5) recently resolved via the "Busy Beaver Challenge" (2022–2024), and higher-order BB functions (oracle-based) linked to decidability of number-theoretic statements. | MATH: BB(n) = max{ t ∈ ℕ : ∃ n-state TM M, 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). Growth: BB(n) ≻ f(n) for every computable f. Higher-order: BB^α(n) for Turing oracle machines of order α; decidability of Π₁⁰ formulas ↔ computability of BB^α for suitable α (arXiv:2507.20321). | CONNECTION: No direct geometric ratio (0.382, 0.618, 1.618) appears. However, the *ordinal structure* of BB's growth — its position in the fast-growing hierarchy (ε₀, Γ₀, etc.) — mirrors the *lattice of ordinal notations* (Kleene's 𝒪), which is a well-founded tree with branching structure analogous to crystall 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-09-13
DOI
https://doi.org/10.5281/zenodo.22732929
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

The Uncomputable Growth of Busy Beaver Functions and Their Number-Theoretic Implications — E8 Intelligence Research

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

The Uncomputable Growth of Busy Beaver Functions and Their Number-Theoretic Implications — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The Busy Beaver function BB(n) defines the maximum runtime of halting n-state Turing machines, and is uncomputable — growing faster than any computable function, with BB(5) recently resolved via the "Busy Beaver Challenge" (2022–2024), and higher-order BB functions (oracle-based) linked to decidability of number-theoretic statements. | MATH: BB(n) = max{ t ∈ ℕ : ∃ n-state TM M, 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). Growth: BB(n) ≻ f(n) for every computable f. Higher-order: BB^α(n) for Turing oracle machines of order α; decidability of Π₁⁰ formulas ↔ computability of BB^α for suitable α (arXiv:2507.20321). | CONNECTION: No direct geometric ratio (0.382, 0.618, 1.618) appears. However, the *ordinal structure* of BB's growth — its position in the fast-growing hierarchy (ε₀, Γ₀, etc.) — mirrors the *lattice of ordinal notations* (Kleene's 𝒪), which is a well-founded tree with branching structure analogous to crystall 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.