手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
告白未果，我决定做回低调逆袭者 重生后她燃炸了 [综影视同人] 炮灰终结者 快穿之大佬总是在撩我 [穿书]男主他想弄死我+番外 白夜（重生） [咒回同人] 全员术师 我说今夜无神，于是众神陨落 我当过的炮灰都成了宠文男主[快穿] 本座的猫儿师尊 忠犬影卫饲养法则 [HP同人] 隐藏在霍格沃茨当教授 我把皇子养歪了 BOSS伪装白莲花女主杀疯了 盛宠拽后：本宫就爱戏诸王 成就华流天王，从历经生死战开始 当绿茶反派男配想上位 宗门全是美强惨，小师妹是真疯批 肥妃有福，双面王爷倾世妃 鬼灭RPG为美好的世界献上帝君
杨希阿七佘赛花
热门小说公主下嫁给杨七朗是圣诞稻草人所编写的穿越重生风格的小说，主角杨希阿七佘赛花，书中主要讲述了大郎替主把命丧二郎无力而阵亡三郎马踏入泥浆四郎失落在辽邦五郎一怒当和尚七郎乱箭透心凉六郎只身见高堂一部杨家将，半部血泪史，忠臣流干血，妇孺流干泪21世纪宅男杨希穿越成天波杨府第七子，他该如何拯救这忠烈满门PS本书架空历史爽文，非正史非传记，遗漏不符，错误矛盾之处，尽请谅解。书友群火山营195992981...
无敌双宝：娇妻，悔婚无效
五年前她被亲生父亲贱卖，惨到不行。五年后，她带着一对天才龙凤胎高调回国，一路撕逼打脸，欢乐虐渣！而传闻中生人勿进的厉先生，却变身痴缠妇男，赖上门就撒手。俩萌宝神助攻妈咪，你就收了他当爹地吧！...
快穿之神经病玛丽苏
我是超级无敌厉害玛丽苏！不服？信不信我哭给你给看？哼╭╯╰╮真真，有名无姓，职业玛丽苏！兢兢业业几百年，造就业界神话，‘统’称超级无敌厉害玛丽苏！后来，渐渐变了味～～∑°△°︴注本文不走寻常路或走套路，请注意，谢谢！...
医圣之最强狂兵
一等狂兵，回归都市。踩最狂的二代，抽最恶的嘴脸，吻最美的女人。...
一世之尊
我这一生，不问前尘，不求来世，只轰轰烈烈，快意恩仇，败尽各族英杰，傲笑六道神魔！...
独家姻缘：前妻，离婚无效
痴心迷恋丈夫的她在侥幸得来的婚姻里倾其所有付出，叱咤风云的丈夫对她有礼疏离，她本就摇摇欲坠的婚姻，在外表单纯内心狠辣的小姑姑带着小姑父突然来袭时，她才知道自己只是他们婚姻中‘小三’的替代品。在一场场的阴谋与算计中，她的婚姻灰飞烟灭。另寻出路的她，以为跟青梅竹马的他在一起是找到依托，可是真相大白时，才知道是与狼共舞！心灰意冷带球远走他乡，再相逢她已嫁为人妇，成为两个孩子的妈妈！阴沉冷硬的腹黑丈夫轻狂邪恶的青梅竹马温润善良的小叔子落难时对她雪中送炭的刑警邻居豪门内外，旧爱新欢，四个男人跟她的纠缠不清，剪不断理还乱亲们，开新书了httpwww17kbook2402178html期待大家的支持！谢谢了！...