Ordinal Hierarchies Formalize Uncomputable Growth Beyond Arithmetic Definability — E8 Intelligence Research
FINDING: The successor-limit hierarchy of ordinals (BB^α, fast-growing hierarchies, ordinal collapsing functions) formalizes uncomputable growth rates, indexing definability levels beyond Σ_{α+1} in the arithmetic hierarchy. | MATH: Let α be an ordinal; define f_α(n) via recursion: f_0(n)=n+1, f_{α+1}(n)=f_α^n(n), f_λ(n)=f_{λ[n]}(n) for limit λ with fundamental sequence {λ[n]}. The Busy Beaver function BB(n) ~ f_{ω_1^CK}(n) (Church-Kleene ordinal). For α < ε_0, f_α is provably total in PA; beyond ε_0, unprovable. Theta OCF (ordinal collapsing function) maps uncountable ordinals to countable ones: θ(Ω^α) = ε_α, θ(Ω^Ω) = Γ_0 (Feferman–Schütte). Definability: Σ_{α+1} sets correspond to iterated jumps of the Turing jump: ∅^{(α)}. | CONNECTION: The ordinal hierarchy mirrors the golden-ratio-like self-similarity: fundamental sequences λ[n] often use n-th term of a recursive enumeration — the ratio of successive ordinal notations in the Veblen hierarchy approaches 1 (not 0.618), but the *stru Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Authors
- Andrew Stewart Caldin
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-09
- DOI
- https://doi.org/10.5281/zenodo.22674148
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- preprint