蔡廷常数揭示了计算的随机核心
蔡廷常数衡量程序停止的概率。它体现了计算理论中停机问题不可判定性背后的深层随机性。
艾伦·图灵在1936年证明，没有算法能完美预测任何计算机程序是否会停止运行。这个“停机问题”从根本上是不可判定的。几十年后，数学家格雷戈里·蔡廷引入了Ω（欧米伽）。这是一个常数，代表随机生成的程序停止运行的概率。
故事还有更多内容 — 打开应用继续阅读。
在应用中继续阅读
还有1个段落 · 再加3题测验
相关事实
数学 →数学概念、理论、谜题和应用
获得完整体验