Chaitin's constant

Today it means: A real number that informally represents the probability that a randomly-constructed program will halt. Full definition →