直接访问:【完本神站】
您可以在百度里搜索“数学大帝(om)”查找最新章节！
什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
马丁·戴维斯《可计算性和不可解性》开始研究什么样的计算是可计算的。
那什么又是不可以计算的？
首当其冲的是停机问题。令Z表示一个简单图灵机。关于Z，有如下判定：
对于一个给定的瞬间描述a，判定是否存在一个以a开始的对Z的计算。也就是说，我们希望如果给定初始状态，那么Z会不会最终停止？这就是Z停机问题。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
数学大帝最新章节地址：
数学大帝全文地址：
数学大帝地址：
数学大帝手机：
为了方便下次，你可以点击下方的”收藏”记录本次（第454章停机问题）记录，下次打开书架即可看到！
喜欢《数学大帝》请向你的朋友（QQ、博客、微信等方式）推荐，谢谢您的支持！！(om)