Busy Beaver BB(5) Proven in 2024; BB(6) Marks Computability Limit — E8 Intelligence Research

FINDING: The Busy Beaver function BB(n) defines the maximum steps a halting n-state Turing machine can take; BB(5) was proven in July 2024, and BB(6) remains unknown, marking a fundamental limit of computable knowledge. | MATH: BB(5) = 47,176,870 (proven 2024); BB(6) > 10^↑↑15 (lower bound); BB(n) grows faster than any computable function, making it non-computable by definition. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) or crystallographic symmetries appear; the function's growth is purely combinatorial and number-theoretic, not harmonic. | DEPTH: 8 — Profound for computability theory and the limits of formal systems, but disconnected from geometric or physical structure. 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-08-20
DOI
https://doi.org/10.5281/zenodo.22022503
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Busy Beaver BB(5) Proven in 2024; BB(6) Marks Computability Limit — E8 Intelligence Research

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

Busy Beaver BB(5) Proven in 2024; BB(6) Marks Computability Limit — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The Busy Beaver function BB(n) defines the maximum steps a halting n-state Turing machine can take; BB(5) was proven in July 2024, and BB(6) remains unknown, marking a fundamental limit of computable knowledge. | MATH: BB(5) = 47,176,870 (proven 2024); BB(6) > 10^↑↑15 (lower bound); BB(n) grows faster than any computable function, making it non-computable by definition. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) or crystallographic symmetries appear; the function's growth is purely combinatorial and number-theoretic, not harmonic. | DEPTH: 8 — Profound for computability theory and the limits of formal systems, but disconnected from geometric or physical structure. 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.