手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
BOSS伪装白莲花女主杀疯了 [综影视同人] 炮灰终结者 鬼灭RPG为美好的世界献上帝君 当绿茶反派男配想上位 [穿书]男主他想弄死我+番外 忠犬影卫饲养法则 本座的猫儿师尊 [HP同人] 隐藏在霍格沃茨当教授 成就华流天王，从历经生死战开始 肥妃有福，双面王爷倾世妃 我说今夜无神，于是众神陨落 重生后她燃炸了 我把皇子养歪了 宗门全是美强惨，小师妹是真疯批 [咒回同人] 全员术师 我当过的炮灰都成了宠文男主[快穿] 白夜（重生） 快穿之大佬总是在撩我 告白未果，我决定做回低调逆袭者 盛宠拽后：本宫就爱戏诸王
重生之天才神棍
重生之天才神棍由作者凤今创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供重生之天才神棍全文无弹窗的纯文字在线阅读。...
风月佳时
霸道风流的陆长风，自打收了个叫蒋佳月的小娘子，从此开启了他的吃瘪日常。陆长风你就作死罢！爷就不信还治不了你！已有完结甜宠类古言四时春，无断更记录，坑品保证，请大家多多支持，比心～...
快穿:宿主她一心求死阮小离
问题少女阮小离自杀了，莫名其妙绑定了一个自称是系统的东西。它说死多没意思啊，爷带你去三千世界当反派，毁天灭地，掀起腥风血雨。阮小离觉得挺有意思的，就同意了，但是喂喂喂！系统，不是说好我只是当反派的吗？毁天灭地最后玩腻了被世界男主杀死就好了，为什么世界男主一个个歪了，都来喜欢我这个大反派干什么？那个谁，你是男主，你跟着我干坏事干什么？那个谁，到底我是反派，还是你是反派？阮小离我就想好好当当反派，然后被杀死，功成名就就好了，我不想谈恋爱，我只想被世界男主杀死，我一心求死！...
不是善茬儿
活宝小狐狸追高原黑心莲的故事如果说智多近妖善谋成精，那么，这真是一群磨人的小妖精西北四州八县空降了个采访处置使，听说还是献国公苏家小公子？西北土皇帝家的二小姐池疏影勾唇笑，呦呵，要搞事情嘛？不是善茬，都不是善茬儿啊！池疏影是镇西北军节度使家的二小姐过继是青云暗卫指挥使前任是太子妃命里，有个瞎眼的算命先生这么忽悠过。真正的池二小姐啊，她...
重生国民男神：爵爷，求宠爱！
女扮男装，女强爽文，宠文她，苗疆巫族的族长，重生成人人可欺的小鲜肉。翻身崛起，带着自己的本命蛊，玩转整个商圈娱乐圈，成为女人心中的国民男神。只是不小心睡到钻石榜第一的钻石男！这就栽了！某日。我要去做一件事。她把装备弄好，一脸凛然。嗯？正穿着裤子的男人微微挑眉。有人出十亿钱买你的命。你要去帮我报仇...
无敌双宝：娇妻，悔婚无效
五年前她被亲生父亲贱卖，惨到不行。五年后，她带着一对天才龙凤胎高调回国，一路撕逼打脸，欢乐虐渣！而传闻中生人勿进的厉先生，却变身痴缠妇男，赖上门就撒手。俩萌宝神助攻妈咪，你就收了他当爹地吧！...