The Busy Beaver Function's Non-Computable Growth and Arithmetical Hierarchy — E8 Intelligence Research

FINDING: The Busy Beaver function defines a non-computable integer sequence that climbs the arithmetical hierarchy, with BB(5) recently resolved via collaborative proof; lattice QCD results are unrelated but share the term "lattice." | MATH: BB(n) = max steps before halting among n-state 2-symbol Turing machines; BB(5) = 47,176,870 (proven 2024); BB(n) grows faster than any computable function; arithmetical hierarchy: Σ₁ (halting) ⊂ Σ₂ (BB) ⊂ Σ₃ (iterated BB), each level requires an oracle for the previous. | CONNECTION: The arithmetical hierarchy forms a **lattice** of truth degrees — analogous to root system lattices (Aₙ, Dₙ) in crystallography, but here the "symmetry" is logical: each Σₙ level is closed under finite unions/intersections, mirroring the meet/join structure of a distributive lattice. No golden-ratio or base-60 constants appear; the only ratio is the exponential growth rate of BB(n) relative to n, which is not a fixed constant but a transfinite ordinal (ω^CK₁). | DEPTH: 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-01
DOI
https://doi.org/10.5281/zenodo.22235872
Primary Topic
Computability, Logic, AI Algorithms
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

The Busy Beaver Function's Non-Computable Growth and Arithmetical Hierarchy — E8 Intelligence Research

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

The Busy Beaver Function's Non-Computable Growth and Arithmetical Hierarchy — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: The Busy Beaver function defines a non-computable integer sequence that climbs the arithmetical hierarchy, with BB(5) recently resolved via collaborative proof; lattice QCD results are unrelated but share the term "lattice." | MATH: BB(n) = max steps before halting among n-state 2-symbol Turing machines; BB(5) = 47,176,870 (proven 2024); BB(n) grows faster than any computable function; arithmetical hierarchy: Σ₁ (halting) ⊂ Σ₂ (BB) ⊂ Σ₃ (iterated BB), each level requires an oracle for the previous. | CONNECTION: The arithmetical hierarchy forms a **lattice** of truth degrees — analogous to root system lattices (Aₙ, Dₙ) in crystallography, but here the "symmetry" is logical: each Σₙ level is closed under finite unions/intersections, mirroring the meet/join structure of a distributive lattice. No golden-ratio or base-60 constants appear; the only ratio is the exponential growth rate of BB(n) relative to n, which is not a fixed constant but a transfinite ordinal (ω^CK₁). | DEPTH: 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.