手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
死神不来了 撩惹疯批顶E，笨蛋少爷他逃了 攻略对象变成室友后，他不对劲 枭鸢 君为客 小仓鼠今天有猫了吗 神魔剑玄录 兽世养山君[种田] 杀了那个妖鬼 夸夸我的神探祖父穿越爹 新搬来的邻居 第三十年明月夜 末世后我成了疯批alpha们的安抚剂 穿到虫族和军雌相亲 还是修仙吧 我真没想在过去的年代当学霸 上流假象 我在死亡副本当管理员 迷津蝴蝶 怪物崽崽和他的怪物监护人
傲世剑神
剑者，自当杀伐果断，敢于天独斗！华夏第一剑修秦尘，在修炼之时，莫名其妙的来到了玄幻大世界，并附身于同名同姓的废物弟子体内。前世为第一剑修的他，天赋奇高无比，堪称妖孽，悟性更是骇人，任何剑法，看一遍就能习会，然后功法，扫一眼就能记在脑中，如今，他落入玄黄大世界，居然被人耻笑为无用废物，心性高傲的他，岂能忍受如此奇耻大辱！上一世，我为天下第一，这一世，我亦要如此！谁若拦我，我便杀谁，无论神佛，无论妖魔！PO18脸红心跳（18wenhvip）提供傲世剑神最新章节全文免费阅读！。...
诸天万界神龙系统
艾莉亚史塔克想要杀死自己死亡名单上的所有人，哆啦A梦想让大雄的成绩好一点，蜘蛛女侠格温想救回自己死去的男朋友彼得帕克行走诸天万界，满足他们...
教主的退休日常
贪财的客栈老板居然退休的魔教教主，打杂跑腿的小二却身怀佛门神通，作为一个曾经无敌于天下的风云人物，王野需要隐藏自己的身份和实力，在纷扰的江湖中生活下去。普通人追求的地位武学名声他都不在意。他只想做个混吃等死的大闲人。硬刚天下第一大帮，指点醉酒的破落书生，制止武林浩劫退休之后，怎么反倒更忙了？...
网游之霸刺
天道帝道王道霸道！（四大信仰）战士法师医师乐师机关师弓箭手刺客！（七大职业）楚国燕国赵国秦国魏国蜀国吴国梁国越国齐国！（十国争霸）信仰霸道的刺客，是为霸刺！霸刺，曾经是混乱之战中最垃圾最弱小最被人看不起的职业。这是一个真正的中国风游戏！一个草根霸刺成就十国最恐怖杀人机器的逆袭史！...
嫡女归来之步步倾心
21世纪杀手界精英黑玫瑰一朝离魂，成为继母以命中带煞为由送到乡下任其自生自灭的一枚小可怜。纳尼？天降未婚夫？李若初曰不花钱的，不要白不要。想说堂堂丞相府后宅并不太平。不怕不怕，姐天生爱热闹，谁嫌命长，姐送你一程。啥？继母酷爱阴谋和算计？哎呀，瞎磨叽什么呀？来来来，姐一般直接动手。啥？继妹要抢未婚夫？不好意思，我的男人从来不容他人染指。某男曰嗯，这才是我的女人该有的气度。一日，女人细细瞧着男人的面容，满意的勾了勾唇，模样瞧着还算凑合，但这命里克妻一项可真是大打折扣啊。男人挑眉，勾唇道，一个命里克妻，一个命里带煞，还真是天造地设的一双。女人满脸黑线，滚蛋。...
神医毒女：逆天小狂妃
废材草包软弱可欺？一脚踩碎欲杀她之人的丹田，穿越而来的毒妖冷漠一笑，好了，废物之名归你了。既来之，则杀之，她从不知留情为何物。白衣男神未婚夫殿下？摔！什么玩意，品德不端给我都不要！真凤凰血脉天...