Chaitin's constant
Appearance
English
[edit]Etymology
[edit]Named after Gregory Chaitin.
Proper noun
[edit]- (computing theory) A real number that informally represents the probability that a randomly-constructed program will halt.
Named after Gregory Chaitin.