手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（aiquwx）数学心
拜师四目道长
四目道长徒儿，赶尸之道，为师已经全传给你了！齐漱溟徐君明，我蜀山与你势不两立！孙悟空僵尸叔叔聊斋蜀山剑侠传西游记封神榜，错过‘九叔’，没拿到主角模板的徐君明流浪在诸天世界！...
吾乃金箍棒
当孙泽挣开眼意识到他穿越的时候他是淡然的，但当他发现他成了一根棒的时候，他就懵逼了。卧槽，老子堂堂华夏兵王，怎么变成了一根棒，还是最粗最大，可大可小那根。从此以后，孙泽的口头禅变成了这样，呔，吃本座一棒。这世界上没有什么是一棒解决不了的问题，如果有那就用两棒—孙泽。等级筑基金丹元婴化神渡劫仙人...
战王归来
宇哥，你会装逼吗？呵，装逼不敢说有多大的造诣，就是天赋异禀！！夏宇点了根两块五的甲天下，扣着脚丫子一脸淡然。...
造车
我想造车！韩皓一本正经说道。就你周围的人都笑了，其中有人出言讽刺道。别人造的汽车都是用钱买，而你韩皓造的汽车得用命买！面对种种质疑，韩皓依旧不为所动回答。既然如此，让我第一个试驾，就用我韩皓的命替中国民族汽车产业赌一个未来吧！...
前桌女生竟是我的头号黑粉
创作过13部小说，且通通太监掉了的男人，在现实中，被女读者抓到了！虽然她有妙不可言的催更技能，（和惨不忍睹的逼更手段）但普通作者依然只有0024的概率...
枢纽：3000年的中国
这本书能带你看懂中国历史演进的逻辑中国奇迹持续的原因以及，该如何认知我们的世界角色。在这个关键节点，每个人都在思考未来。我们在思考未来的时候，最重要的事情是对目标的设定。而如何设定目标，取决于你怎么理解自己理解中国理解世界。每个人，都该思考在起伏的浪潮中，一个人怎么认知环境？过去40年，中国为什么能迅速崛起？中国式奇迹能否持续？未来，世界会有怎样的格局？在大环境下，你该扮演怎样的角色？...