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