Chaitin's constant

Etymology
Named after.

Proper noun

 * 1)  A real number that informally represents the probability that a randomly-constructed program will halt.