Chaitin's constant
English
Etymology
Named after Gregory Chaitin.
Proper noun
- (computing theory) A real number that informally represents the probability that a randomly-constructed program will halt.
See also
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.