A Chaitin constant, Chaitin omega, or halting probablity is the real number representing the probability a randomly generated program will halt in a specific encoding. It is a normal and transcendental uncomputable number.
Questions tagged [chaitin-constant]
8 questions
3
votes
0 answers
Chaitin's argument for the impossibility of determining infinitely many bits of an uncomputable real
In his book "META MATH, the quest for Omega", chapter V, section "A [formal axiomatic system] cannot determine infinitely many bits of an uncomputable real", Gregory Chaitin argues that a formal axiomatic system cannot determine infinitely many bits…
user851954
- 153