手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
上流假象 枭鸢 兽世养山君[种田] 还是修仙吧 第三十年明月夜 新搬来的邻居 死神不来了 神魔剑玄录 杀了那个妖鬼 君为客 撩惹疯批顶E，笨蛋少爷他逃了 末世后我成了疯批alpha们的安抚剂 小仓鼠今天有猫了吗 迷津蝴蝶 我在死亡副本当管理员 夸夸我的神探祖父穿越爹 攻略对象变成室友后，他不对劲 我真没想在过去的年代当学霸 穿到虫族和军雌相亲 怪物崽崽和他的怪物监护人
木叶中的氪金粉毛
穿越到了火影忍者的世界中，还变成了传说中的‘男二号’春野樱！当系统开启的那一刻，春野樱本以为自己可以就此崛起了！可是，谁能跟她解释一下，为什么她都穿越了，居然还逃不掉被氪金支配的命运？看着自己那少的可怜的资产，春野樱的心中瞬间泪流满面我已经没钱守护木叶了如果您喜欢木叶中的氪金粉毛，别忘记分享给朋友...
重生八零团宠小福包
关于重生八零团宠小福包狐族小公主穿到缺衣少食的八零年代，好在有爷奶家人宠，顿顿吃的香香的，小脸蛋那是一个娇嫩萌软。奶奶说这女娃是她的心肝儿，是神仙派下拯救她老陆家的小福宝。村民嗤之以鼻，都说...
穿越者修真指南
穿越修仙世界，李安闲却根骨低劣，毫无资质。可谁说没根骨就不能修仙？谁说没资质就不能成道？没有条件那就创造条件，没有资源那就创造资源！我的身后是整个世界，站在无数大神的肩上，必将俯视众生！颤抖吧，渣渣们！PS1心急吃不了热豆腐，在下一向认为，开头应有必要的铺垫。PS2循序渐进，期待开书就大杀四方的朋友，可能会失望。PS3暂时还没想好如果您喜欢穿越者修真指南，别忘记分享给朋友...
前生孽今生缘
作为地球上绝无仅有的飞仙者，却到了一个蛮荒世界，它后悔自己在地球上的作死行为，决定老实做人。无奈似乎命运已经注定，尽管她努力寻求安稳低调做人。但现实却残酷的告诉她，自己的命运无法安稳。一朝醒悟，强势崛起，既然无法泯然众人，那就凤舞诸天为自己搏一个安稳出来。若自己登临绝颠看谁还敢打扰她的安稳？一览众山小之日，回望诸天前尘往事。却原来这一切前世早已注定。这一世她游戏男女情爱，却最终无法摆脱宿命情缘。如果您喜欢前生孽今生缘，别忘记分享给朋友...
诸天最苟龙套
关于诸天最苟龙套作为一个基本活不过几章的龙套，如何生存下去呢？1降低存在感，成为小透明，你看不见我，看不见我。2变强。主世界莽荒纪。龙套世界九鼎记，斗破苍穹，沧元图，吞噬星空，盘龙，遮天等...
超级护花兵王
关于超级护花兵王灯红酒绿的大都市，红唇诱惑，铁血兵王江南强势回归，卷入一条香艳而诡谲多变的商战之路。他拳打高富帅，坐拥白富美，敢问一句，还有谁不服？...