Chaitin's constant

English

Etymology

Named after Gregory Chaitin.

Proper noun

Chaitin's constant

  1. (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 available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.