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.