Chaitin's constant
专有名词
英文释义
专有名词
- A real number that informally represents the probability that a randomly-constructed program will halt.
词源
Named after Gregory Chaitin.
0 次浏览
数据来源: Wiktionary