Chaitin's constant

短语

释义与例句

name
  1. 1.

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

    计算机 工程 数学

词源

Named after Gregory Chaitin.

来源：wiktionary