Chaitin's constant
Jump to navigation
Jump to search
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.