手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
[HP同人] 隐藏在霍格沃茨当教授 [综影视同人] 炮灰终结者 肥妃有福，双面王爷倾世妃 鬼灭RPG为美好的世界献上帝君 我说今夜无神，于是众神陨落 成就华流天王，从历经生死战开始 本座的猫儿师尊 当绿茶反派男配想上位 我把皇子养歪了 告白未果，我决定做回低调逆袭者 盛宠拽后：本宫就爱戏诸王 重生后她燃炸了 [咒回同人] 全员术师 白夜（重生） 我当过的炮灰都成了宠文男主[快穿] 宗门全是美强惨，小师妹是真疯批 忠犬影卫饲养法则 [穿书]男主他想弄死我+番外 BOSS伪装白莲花女主杀疯了 快穿之大佬总是在撩我
余生难相依
主要人物夏云熙，傅少弦夏云熙从未想过有一天她会丢了傅少弦。她本是夏家最受宠的三小姐，一夕巨变，被逼远走他乡。三年后，她携子归来，他依然是高高在上的傅家三少，而她早已不是千金小姐。本以为他们再无机会，他却依然对她如初！新婚之夜，他冷冰冰的掐着她的下巴说，云熙，我们离婚！...
末世大回炉
丧尸爆发，人类绝境来临，地球磁场瞬变，一切回归最初，回到原始。末世，我来了。...
花容月貌
我的24岁冷艳班主任，背地里居然这样从我的女人被欺负的那一刻，我便不再沉默，我发誓，老子要称王！...
极品系统太坑爹
周奕轩重活一世，原以为只是平平淡淡的过一辈子，可居然绑定了一个金手指系统！神级医术商业天赋武功秘籍应有尽有，完成任务就能获得本以为，下一步就是迎娶白富美，走上人生巅峰！谁知道，这个金手指系统发布的任务太坑爹！...
王妃赚钱王爷败家
一朝穿越苏浅诺成了小小农家女，家徒四壁穷的掉渣。别怕，看苏浅诺如何带家人搞风高雨虐小渣渣。司空落，传说中的冷峻王爷一枚，生人勿进苏浅诺是不是我打开的方式不对？传说中的那人与眼前这个小奶狗模样的人真的是同一个人？不行不行，我在穿一遍试试...
第一豪门小说周天
十年前，他被迫逃出豪门世家，从此颠沛流离，惶惶如蝼蚁，人尽可欺。直到那一天，他拨通了那个熟悉又陌生的号码。你若执我之手，我必许你万丈荣光...