手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
迷津蝴蝶 枭鸢 我在死亡副本当管理员 新搬来的邻居 末世后我成了疯批alpha们的安抚剂 上流假象 第三十年明月夜 我真没想在过去的年代当学霸 死神不来了 穿到虫族和军雌相亲 神魔剑玄录 攻略对象变成室友后，他不对劲 杀了那个妖鬼 小仓鼠今天有猫了吗 怪物崽崽和他的怪物监护人 还是修仙吧 君为客 夸夸我的神探祖父穿越爹 撩惹疯批顶E，笨蛋少爷他逃了 兽世养山君[种田]
君染山河 完结+番外
嬴政我甘愿陪你逃亡，甘愿护你拼杀，也甘愿带你共创这天下，甚至还可以陪着你一起去杀我自己！嬴景臻你说我是个无爱无痛之人，可我此生最大的错，就是对你一人太有感情！你的那些痛楚，又怎能比得上我心中之万一！张良师兄，为什么在你眼中子房永远是个不懂世事的孩子？难道我们这么多年的情谊，还比不上一个外人？难道你真的以为子房做的都是为了玩笑吗？蒙恬在我心中你只是那个吵着要习剑的小公子，但在你心中我是蒙恬是你俯视号令的臣子。公子殿下，我们之间永远生不出‘爱’，至多是一份经年的‘长情’。因为在你我之间，从一开始就是不平等的。…...
宠婚再来，总裁请自重
顾南乔，我们分手。七年前，霍靖廷丢下这句话，然后，头也不回的走出她的生命。七年后，当她将他彻底遗忘之际，他却再度出现在她面前，穿成这样，不就是想让我上你？顾南乔一直以为他是个衣冠禽兽，最后才发现，他其实禽兽不如。他将她骗上床，吃干抹净，又骗她去民政局，用一张结婚证束缚住了她的一生。婚后，面对他的数次挑刺...
兰言之约
身为金融分析师的兰亭暄一直是同事眼中的模范社畜加班狂人，直到有一天，卫东言亲眼看见，她单手就把对她动粗的初恋男友反掼倒地。卫东言在兰亭暄眼里一直是高不可攀的金融新贵投资大佬，直到有一天，兰亭暄亲眼看见他扒在一辆半旧的皮卡车底，在泥泞中拖了半条街。这是逆向掉马了嘛？两人各自转头，当无事发生。谁都没想到，有一天，命...
快穿之还债攻略
苏沐有个大哥叫做苏扬，整天神神秘秘不着家。丢给了她一个软乎乎的崽子，然后失踪了。三个月后，苏沐被系统绑定，继承灵魂事务所。系统的前任宿主正是他大哥。你以为走上了人生巅峰，不，并没有。苏沐望着眼前破破烂烂的，仿佛风一吹就要散架的小木屋和大哥留下的一笔亿万欠债。去特喵的苏扬，你跑了，我咋办！苏沐不光要还打工还债，手里还有一个小崽子养，人生黑暗。1vs1，日常系穿越各个世界的甜文如果您喜欢快穿之还债攻略，别忘记分享给朋友...
不好！小师妹她有诸界红包群
非传统修仙，轻松向江柚一朝穿越，到了一个修真文明逐渐衰败的世界，成了真假千金文里不受宠的真千金！她看了看随着自己穿越而来的红包群。不受家族长辈宠爱？红包群里的各界大佬排着队宠我！资质不行前途无望？我爆改血脉，成了上古龙族后裔！传承丢失文明落后？我随便拿出一本功法，都能让修真界惊了又惊！就在江柚以为拿的是手撕假千金，脚踹江家人的剧本时，忽然发现她竟然穿到了两本小说交叉的世界里！大师兄是龙傲天男主的忠心小弟，为男主挡刀而身陷囹圄，最后被魔物侵袭，成了书中的大反派！三师姐冰雪聪明，冷傲高洁，却一见男主误终生二师兄则为了另一个重生复仇女主舍生忘死与给女主送机缘的锦鲤四师兄为爱反目成仇最后双双为爱叛出宗门！江柚合着这一大家子都是炮灰NPC？看着为利益在自己面前表现的龙傲天男主，她呵呵一笑。一巴掌送他上天！后来原本只想追求自由的江柚，不知不觉就成了修真界第一人。修真界小菜鸡我说我真的不想当大佬，你们信不信？（本文有男主，结局he，纯纯爽文～）如果您喜欢不好！小师妹她有诸界红包群，别忘记分享给朋友...
苟道修仙：我有一个小世界
关于苟道修仙我有一个小世界苟修仙系统冒险单女主凡人修仙灵宠。这是一个小人物修仙的休闲故事。文章数据增长仅供参考，故事情节功法灵药纯属虚构，请勿模仿。...