手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
小仓鼠今天有猫了吗 第三十年明月夜 穿到虫族和军雌相亲 神魔剑玄录 我在死亡副本当管理员 兽世养山君[种田] 杀了那个妖鬼 上流假象 我真没想在过去的年代当学霸 君为客 夸夸我的神探祖父穿越爹 死神不来了 枭鸢 还是修仙吧 攻略对象变成室友后，他不对劲 怪物崽崽和他的怪物监护人 迷津蝴蝶 末世后我成了疯批alpha们的安抚剂 撩惹疯批顶E，笨蛋少爷他逃了 新搬来的邻居
萌宝鲜妻：总裁爹地超给力
关于萌宝鲜妻总裁爹地超给力一纸代孕合约，江离狼狈离开，五年后带着一双萌宝归来。只是为什么一回来，就惹来一头饿狼的虎视眈眈。爸爸，快来接我们，妈妈在机场检票口。顾郝岩他老婆带着儿子女儿外加他侄子跑了，这是要一网打尽吗？顾郝岩机场抓人，老婆孩子一窝端。然而面对小女人的哭诉，他冤枉，他就扛了一次，怎么就家暴了。顾二少割地赔款，亿万身价哄娇妻，A市上流圈子炸了。顾二少结婚了，孩子都五岁了？爸爸，他们都是坏人，骂我和...
唐门毒宗
青砖绿瓦，陌上花开香染衣朱门紫殿，素手摘星霓作裳。如果您喜欢唐门毒宗，别忘记分享给朋友...
我在漫威刷好感
2018二次元拜年祭征文参赛作品如果您喜欢我在漫威刷好感，别忘记分享给朋友...
我在漫威作大死
神啊，让我突然穿越到漫威世界是要闹哪样啊！我一个普通人在这里会死得很惨的啊！检测到宿主一句话说了三个啊，系统已激活居然穿越者还真的有系统福利？！等等，这个激活条件是不是有点毛病？你已成功绑定作死系统，请宿主努力作死以获得然并卵的能力喵喵喵喵喵喵？？？？如果您喜欢我在漫威作大死，别忘记分享给朋友...
全球魂穿：我以神族开局
一股神（zuo）秘（zhe）力量，让全球76亿人魂穿至天选大陆。所有人的目标是存活至神圣时代，成为天选之主，开启通道让活下来的人回到地球。刚开始为石器时代，系统随机为所有人分配种族。有人族，矮人，巨人，兽人，精灵，神族，以及游魂。萧冷意外随机到千万分之一概率的神族，成为76亿人中的幸运儿。神族有什么好处？天生神力，外表俊美！无限寿命，青春永驻！百毒不侵，不用拉屎！传说中的六边形战士！德智体美劳全面发展！萧冷好家伙！一来就给我开启风灵月影模式看来想低调是不可能的了！如果您喜欢全球魂穿我以神族开局，别忘记分享给朋友...
打造游戏异世界
如何拯救一个死亡的世界？许易召唤玩家，让玩动作游戏的去杀怪，让玩模拟经营游戏的去搞建设，让玩战略游戏的去拉帮结派你要对玩家这种物种有点信心。神圣世界在遭到毁灭后，至高女神流落至蓝星，与许易达成契约。打造游戏系统，召唤玩家，净化整个世界！为神圣世界而战！如果您喜欢打造游戏异世界，别忘记分享给朋友...