在现巨素数、解阿基米德牛群问题、破译密码、证明四色图定理及现新图形等问题，计算机证明数是有的。在计算机做些什问题，却有难捉摸的限制。
20世纪30年代，数就面临着一场革命，同物理的两次革命——广义相论与量子力——一重，两次革命动摇了物理的基础，并且推翻了关空间、间与因果律的经典理论。数的前景展望由国纽约的莫斯·克林提了“必的损失”的说法完全改观。一崭新的工已不再注重数计算的力，是注重计算的限制。有意义的计算问题被规定原理不解的，或在原理解实际无法解的问题。
一从原理不解的有意义的典型问题就是“停机问题”，它是艾伦·马西森·图灵1936年提的。图灵了计算机程序是否迟早提供结果停机的问题。停机问题已不仅是纸谈兵的理论所关的问题，且是很容易在实践中现的问题。
国麻省理工院计算机科理论迈克尔·锡普塞说：“你象，你程序编入卡片，提给计算机中，尤其是在几，你是知答案。他总是整夜进行运算，二……（内容加载失败！）
(ò﹏ò)
抱歉，章节内容不支持该浏览器显示～
【为了使用完整的阅读功能】
请考虑使用〔Chrome 谷歌浏览器〕、〔Safari 苹果浏览器〕或者〔Edge 微软浏览器〕等原生浏览器阅读！
谢谢!!!