手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
BOSS伪装白莲花女主杀疯了 盛宠拽后：本宫就爱戏诸王 我说今夜无神，于是众神陨落 [穿书]男主他想弄死我+番外 [综影视同人] 炮灰终结者 [HP同人] 隐藏在霍格沃茨当教授 鬼灭RPG为美好的世界献上帝君 我当过的炮灰都成了宠文男主[快穿] 告白未果，我决定做回低调逆袭者 当绿茶反派男配想上位 成就华流天王，从历经生死战开始 快穿之大佬总是在撩我 肥妃有福，双面王爷倾世妃 宗门全是美强惨，小师妹是真疯批 重生后她燃炸了 [咒回同人] 全员术师 我把皇子养歪了 本座的猫儿师尊 白夜（重生） 忠犬影卫饲养法则
我的绝色大小姐（王熙叶轻雪）
失明三年，被送到小家族当了一名上门女婿，重见光明那天，我看见了很多秘密...
帝婿归来
南明冥帝遭遇暗算重生于同名同性的方天身上，但谁知道方天居然是出名的废物赘婿。从此，方天一改之前废物模样，张狂至极，无人敢惹。...
最强神鬼阎罗
简介何为地府？阳世之外，执六道，掌生死，天地万物，生死阳寿，皆可辖制！这就是地府！李邯因地府失误枉死到一个充满妖魔鬼怪唯独没有地府的神鬼世界，成为这个世界新地府的唯一主人。自此，这个世界万物生死皆由李邯管制！管你是什么朝廷高官，修行大能，还是气运之子。生死簿上记生死！...
霸道老公宠妻上天
他权倾天下，纵横几界，冷酷无情，唯独宠她，只有她想不到的，没有他给不了的。安若秋被男朋友背叛，被小三送到陌生男子的床上，不料陌生男子却是前男友的堂哥，真是冤家路窄。一夜激情后，厉辰煜半眯双眼，深邃的眼眸里满是霸道你睡了我，要对我负责。安若秋一脸懵逼我是女生，吃亏的是我。那我对你负责。几个小时之后，厉...
末路方知情浓
三年前，他和她是校园最佳情侣，三年后，她只是他情人之其一。当青春为爱时莫离阿昱，遇上你是我的缘，我很庆幸遇见你，爱上你，我一定不会离开你。当情到水穷时莫离阿昱，遇见你是我的缘，更是我的劫，逃不掉，躲不过。当爱已背叛命名，穷途末路，至死方休，终将何去何从！唐昱阿离，你可知道，就算已是末路，爱你已是我一生的宿命。...
开局空降一个妈
开局满级，吊打富二代。脚踩坏蛋。生活美滋滋！这就是我的，不一样的非凡人生！...