The Halting Probability: An Oracle of Unprovable Truths — E8 Intelligence Research
Year: 2026
Type: preprint
Abstract: FINDING: Chaitin's Omega (Ω) is a definable real number encoding the halting probability of a universal Turing machine, whose bits are algorithmically random (incompressible), making it a formal-system-independent oracle for unprovable truths. | MATH: Ω = Σ_{p halts} 2^{-|p|}, where p ranges over self-delimiting programs; Ω is Martin-Löf random (Kolmogorov complexity of first n bits ≈ n), and for any consistent formal system S, S can determine at most O(log |S|) bits of Ω — the rest are "unknowable" in S. Chaitin's Incompleteness Theorem: for any formal system, there exists a constant L such that S cannot prove any statement of the form "K(s) > L" for any string s, where K is Kolmogorov complexity. | CONNECTION: The binary expansion of Ω is a maximal-entropy sequence — its bit distribution is asymptotically uniform (each bit is 0 or 1 with probability 1/2), mirroring the golden-ratio's irrationality measure in that both are "maximally disordered" yet exactly definable. However, no dire Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Author: Caldin, Andrew Stewart
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7204209337
Cites:
Cited by:
Related to: