Chaitin's constant

Halting probability of a random computer program

In the computer science subfield of algorithmic information theory, a Chaitin constant or halting probability is a real number that, informally speaking, represents the probability that a randomly constructed program will halt. These numbers are formed from a construction due to Gregory Chaitin.

This keyword could refer to multiple things. Here are some suggestions: