Chaitin's constant

== English == === Etymology === Named after Gregory Chaitin. === Proper noun === Chaitin's constant (computing theory) A real number that informally represents the probability that a randomly-constructed program will halt. ==== See also ==== halting problem