BB(5) = 47,176,870 Proven After 40 Years; BB(6) Remains Open — E8 Intelligence Research

FINDING: BB(5) = 47,176,870 was proven (2024, Busy Beaver Challenge) — the fifth value of the uncomputable Busy Beaver function, resolved after ~40 years; BB(6) remains open and is provably beyond any fixed axiom system's reach in general. | MATH: BB(n) = max steps of an n-state, 2-symbol halting Turing machine started on blank tape. Known: BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107, BB(5)=47,176,870. Growth is non-computable, dominating every computable function; BB(n) grows faster than any f(n) expressible in Peano Arithmetic for n ≥ some threshold. Higher-order extension (arXiv 2507.20321): BB^(k+1) via Turing oracle machines, with decidability of number-theoretic formulas tied to BB^(k) computability. | CONNECTION: No geometric-harmony constants (0.382, 0.618, 0.786, 1.618, 2.618, base-60, crystallographic/root-system/lattice) appear in the BB sequence or its proofs. The relevant structure is the arithmetical hierarchy (Σ⁰ₙ / Δ⁰ₙ), not geometric symmetry. Any φ-ratio or lattice link wou 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-10-27
DOI
https://doi.org/10.5281/zenodo.23684413
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

BB(5) = 47,176,870 Proven After 40 Years; BB(6) Remains Open — E8 Intelligence Research

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

BB(5) = 47,176,870 Proven After 40 Years; BB(6) Remains Open — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: BB(5) = 47,176,870 was proven (2024, Busy Beaver Challenge) — the fifth value of the uncomputable Busy Beaver function, resolved after ~40 years; BB(6) remains open and is provably beyond any fixed axiom system's reach in general. | MATH: BB(n) = max steps of an n-state, 2-symbol halting Turing machine started on blank tape. Known: BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107, BB(5)=47,176,870. Growth is non-computable, dominating every computable function; BB(n) grows faster than any f(n) expressible in Peano Arithmetic for n ≥ some threshold. Higher-order extension (arXiv 2507.20321): BB^(k+1) via Turing oracle machines, with decidability of number-theoretic formulas tied to BB^(k) computability. | CONNECTION: No geometric-harmony constants (0.382, 0.618, 0.786, 1.618, 2.618, base-60, crystallographic/root-system/lattice) appear in the BB sequence or its proofs. The relevant structure is the arithmetical hierarchy (Σ⁰ₙ / Δ⁰ₙ), not geometric symmetry. Any φ-ratio or lattice link wou 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.

Laika access coming soon
BB(5) = 47,176,870 Proven After 40 Years; BB(6) Remains Open — E8 Intelligence Research — Andrew Stewart Caldin · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS