No Primary Mathematical Results Found; Only Secondary Sources and Established Theory — E8 Intelligence Research
FINDING: The search returned no primary mathematical results — only secondary/popular sources (YouTube explainers, a LinkedIn/YouTube link, and one arXiv meta-paper on attribution history). No new theorem, constant, or proof is present in the material. | MATH: The domain's actual mathematical content is well-established and can be stated precisely: (1) Turing (1936): no total computable function decides HALT = {⟨M,w⟩ : M halts on w}; proof by diagonalization — assume decider D, construct M* that halts iff D says it loops, contradiction. (2) Turing equivalence: all Turing-complete models (λ-calculus, μ-recursive functions, register machines, cellular automata Rule 110, Wang tiles) compute the same class of partial recursive functions. (3) Chaitin's Ω: Ω = Σ_{p : U(p) halts} 2^{-|p|}, a Martin-Löf random real, uncomputable, and Ω is the halting probability of a prefix-free universal machine U; Ω is left-c.e. (computably enumerable from below) but not computable. (4) Busy Beaver: BB(n) = 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-10-31
- DOI
- https://doi.org/10.5281/zenodo.23830445
- Primary Topic
- Computability, Logic, AI Algorithms
- Type
- preprint