Busy Beaver BB(5) Solved; Higher-Order Functions Linked to Oracle Machines and Uncomputability — E8 Intelligence Research

FINDING: BB(5) value determined by collaborative proof; higher-order Busy Beaver functions linked to oracle machines and undecidability. | MATH: BB(5) = 47,176,870 (known); BB(6) lower bound > 10↑↑15; Σ(n) growth rate uncomputable, exceeds any computable function. Higher-order BB functions defined via Turing oracle machines, with Σ_2(n) > Σ_1(n) for all n, and Σ_α(n) for ordinal α. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) or base-60, crystallographic, or root system symmetries appear. The growth is combinatorial, not harmonic. | DEPTH: 7 — Profound for computability theory and limits of formal systems, but no geometric or harmonic structure. The finding underscores the non-geometric, discrete nature of uncomputable growth. 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-14
DOI
https://doi.org/10.5281/zenodo.21928753
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) Solved; Higher-Order Functions Linked to Oracle Machines and Uncomputability — E8 Intelligence Research

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

Busy Beaver BB(5) Solved; Higher-Order Functions Linked to Oracle Machines and Uncomputability — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: BB(5) value determined by collaborative proof; higher-order Busy Beaver functions linked to oracle machines and undecidability. | MATH: BB(5) = 47,176,870 (known); BB(6) lower bound > 10↑↑15; Σ(n) growth rate uncomputable, exceeds any computable function. Higher-order BB functions defined via Turing oracle machines, with Σ_2(n) > Σ_1(n) for all n, and Σ_α(n) for ordinal α. | CONNECTION: No direct geometric ratios (0.382, 0.618, etc.) or base-60, crystallographic, or root system symmetries appear. The growth is combinatorial, not harmonic. | DEPTH: 7 — Profound for computability theory and limits of formal systems, but no geometric or harmonic structure. The finding underscores the non-geometric, discrete nature of uncomputable growth. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Zenodo (CERN European Organization for Nuclear Research)
Decent work and economic growth
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.