手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
夸夸我的神探祖父穿越爹 神魔剑玄录 杀了那个妖鬼 兽世养山君[种田] 撩惹疯批顶E，笨蛋少爷他逃了 第三十年明月夜 上流假象 君为客 末世后我成了疯批alpha们的安抚剂 还是修仙吧 我真没想在过去的年代当学霸 穿到虫族和军雌相亲 枭鸢 攻略对象变成室友后，他不对劲 怪物崽崽和他的怪物监护人 死神不来了 新搬来的邻居 迷津蝴蝶 小仓鼠今天有猫了吗 我在死亡副本当管理员
全球灾变
关于全球灾变在让人绝望的末世之中，张凡意外获得了全能系统！从此，这个世界，在张凡眼里，变得不同！丧尸？杀了那就是属性！绝境？那都是升级宝地！别人不敢去的地方，他去，别人不敢做的事情，他做！不管是末日，还是绝境，再也无法束缚张凡的一飞冲天！...
去相亲吧，爸爸
本来杨小光是准备给四岁的女儿找个妈，却不知怎么就变成了女儿给自己找老婆。老爸，你今天的相亲对象是我同学杨小光脸色大变朵朵，你想让警察叔叔把爸爸抓起来吗？的妈妈。如果您喜欢去相亲吧，爸爸，别忘记分享给朋友...
萌妻上阵：总裁，请克制
进错房间遇到狼，一次采访意外，记者田果果走错了酒店套房，却被司泽南误会是上门服务的坏女人，更可气的是两人争执的场面无意被相机录下经过，成了暧昧PO18脸红心跳（18wenwvip）提供萌妻上阵总裁，请克制最新章节全文免费阅读！。...
隐形大佬你崩人设了
冰寒末世混迹十数年，简宁回到四季分明的年代，睁眼一地贫瘠，还接到一通知，恰软饭的未婚夫发迹要退婚。简宁哦，可以的，人滚粮留下。那啥，这位窄腰肩宽腿长二米八坚毅俊朗的男人是你未来丈夫，麻烦你签收一下。友情附赠一句良言，上一世你活活把他作死了，他可能不咋待见你。建议你洗心革面，静影沉壁丹心映皓月。简宁捧脸惊悚不是我，搞错了！亲亲，这边建议你顺应天命。就不！我是不一样的烟火，我要开拓地图，发展农业囤粮，爱谁谁！简宁身上最明显的优点，挣钱屯粮史上第一。他猜，她上辈子肯定是一只小松鼠。如果您喜欢隐形大佬你崩人设了，别忘记分享给朋友...
我有一个国风老婆
四月的西子湖畔，国风永流传节目组，采访了一些路人眼前这些景象，能让你想到哪一句诗词呢？其中有两位挨着的路人，就是他们的采访对象。一个是刚融合两个世界记忆的王轩，一个是他未来的老婆。面对采访，未来的老婆表示只需要说一句吗？我一下子想到了很多句，感觉都挺适合又不完全适配，有点难以取舍王轩则表示请问一下，我可以说一句有感而发，最符合我现在心情的原（搬）创（运）的句子吗？日常偏温馨轻松向，文娱主抄歌做游戏国风主文化技艺如果您喜欢我有一个国风老婆，别忘记分享给朋友...
强化医生
当一个半吊子外科小医生遇到了强化系统。天生手残党？没事，强化敏捷，让你快的飞起。脑子有点笨？没事，强化精神，让你一看就懂。手术没做过？没事，梦境空间，让你一瞬入门。哪里不行强哪里，患者再也不担心我医术不够用了。刘半夏就这样喜滋滋的走上了痛并快乐的强化之路...