Chaitin's constant

English dictionary entry

Meanings

name
  1. A real number that informally represents the probability that a randomly-constructed program will halt.

Word forms

Chaitin's constant

Etymology

Named after Gregory Chaitin.

Related words

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.