Chaitin's constant

English

Etymology

Named after Gregory Chaitin.

Proper noun

Chaitin's constant

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

See also

• halting problem