Q735775

From Wikidata
Jump to: navigation, search

Chaitin's constant (Q735775)[edit]

real number that informally represents the probability that a randomly constructed program will halt [edit]

Also known as:
  • Chaitin’s Ω
  • Chaitin constant
  • Chaitin omega number
  • halting probability
[edit]

Statements