手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
末世后我成了疯批alpha们的安抚剂 小仓鼠今天有猫了吗 迷津蝴蝶 还是修仙吧 杀了那个妖鬼 我在死亡副本当管理员 我真没想在过去的年代当学霸 君为客 攻略对象变成室友后，他不对劲 第三十年明月夜 穿到虫族和军雌相亲 撩惹疯批顶E，笨蛋少爷他逃了 死神不来了 枭鸢 神魔剑玄录 新搬来的邻居 怪物崽崽和他的怪物监护人 夸夸我的神探祖父穿越爹 兽世养山君[种田] 上流假象
诸天浪人：从弹棉花开始
巧奔妙逃里，他是和大侄子老幺一起找人的顺子。战狼里，他是死后老家被强拆的队长俞飞。青春期里，他是每天用纸鹤求爱的怯懦宅男汪小菲。道士下山机器侠失恋33天闪光少女树先生乘风破浪我是余欢水天下无贼功夫之王刚刚准备开始自己新生活的乔山，就这么莫名其妙的被一把推进了滚滚诸天。平静了二十四年的人生，自此泛起了涟漪天书提示生命只有一次，祝您诸天愉快！如果您喜欢诸天浪人从弹棉花开始，别忘记分享给朋友...
万历1592
醒掌天下权，醉卧美人膝，五千年风华烟雨，是非成败转头空！如果您喜欢万历1592，别忘记分享给朋友...
快穿之病娇反派甜又撩
白黎上神前往三千小世界渡劫，需要一名快穿者辅助完成任务。众仙闻此消息，纷纷逃散，避之不及。笑死，谁有那个胆子去指染凶名在外的上神？芙蕖怯怯举爪，从此开始了她被宠上天的生活。花絮豪门大少轻咬她的耳朵知道上一个敢渣我的女人怎么样了吗？怎怎么样了？没有上一个，你是第一个也是唯一。鲛人少年笑意渐冷，眸光阴郁既然你不喜欢我，我就刀尖在阳光下闪烁着冷涔涔的光。我就拔光自己所有的鳞片！芙蕖鉴定完毕，是个精分的狼灭。如果您喜欢快穿之病娇反派甜又撩，别忘记分享给朋友...
掠爱成瘾：首席的心尖囚宠
她被当成了礼物，送进了恶魔的房间。从此以后，被他囚禁在奢华的别墅里，夜夜折磨。她成了殷朗的玩物，却也是所有女人羡慕的对象。他厌恶她，她躲着他，直到她摊开一张千万支票，我要赎...
穿书后我成了反派的心头宝
秋玲穿书了，成了刚出场就领盒饭的十八线小炮灰不过既然她来了，那就努力活到最后一集然而但是这一天天大起来的肚子是怎么回事，前文压根没提啊！！就在秋玲百思不得其解的时候，眼前突然出现本文的大反派，怀了我的崽，你还想跑哪儿去？如果您喜欢穿书后我成了反派的心头宝，别忘记分享给朋友...
大佬的小祖宗她又甜又野
都说项少的未婚妻是乡下来的丑女草包，众人将她当成笑话看。说她丑，卸了丑妆，亮瞎所有人的眼。说她不自量力攀附豪门？她转身取消婚约，反而是项少在后面追着宠她。说她是草包，一个个马甲爆出来，打脸众人，她竟是一个隐藏的全能大佬。乔心冉背后的大佬们，一个个都争着要护她宠她。谁说我家心冉是乡下来的？她是我家族最尊贵的小公主。谁也不许欺负我们家宝贝！她是死后重生的人，活过来后，她只想开启黑化虐渣模式。没想到，一不小心成了团宠。她更是被项少放在心尖上拿命宠着护着。如果您喜欢大佬的小祖宗她又甜又野，别忘记分享给朋友...