手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
我当过的炮灰都成了宠文男主[快穿] 我把皇子养歪了 当绿茶反派男配想上位 告白未果，我决定做回低调逆袭者 我说今夜无神，于是众神陨落 [咒回同人] 全员术师 [综影视同人] 炮灰终结者 白夜（重生） 肥妃有福，双面王爷倾世妃 [HP同人] 隐藏在霍格沃茨当教授 [穿书]男主他想弄死我+番外 成就华流天王，从历经生死战开始 BOSS伪装白莲花女主杀疯了 快穿之大佬总是在撩我 本座的猫儿师尊 鬼灭RPG为美好的世界献上帝君 重生后她燃炸了 宗门全是美强惨，小师妹是真疯批 忠犬影卫饲养法则 盛宠拽后：本宫就爱戏诸王
霸爱成婚：首席的娇蛮小妻
什么？只是毕业前的庆祝会，就稀里糊涂的将自己的第一次给丢了。我要告你，告得你家破人亡，把牢底坐穿，让你一辈子出不了监狱的大门。凌乔指着眼前英挺无比宛若从画中走出来的男子，咬牙切齿道。只是为什么那...
嫡女攻略
...
将军大人非礼啦
站在云中郡的城楼之上，看着远处辽阔的草原，时铮顿时豪情万丈我时铮这辈子，疆场驰骋戎马一生，走过长安城未央宫的大染缸，漫步张掖酒泉敦煌的屠戮场，经历过朝代更迭的风云诡谲，并亲手将皇帝送上帝座，我时铮的一生，最是波澜壮阔，最是程袁悠悠飘过大哥，你说够了没有，大嫂让你回家带孩子。时铮...
我，卫宫巨侠，畅游诸天！
一觉醒来，成为卫宫巨侠。卫宫巨侠是谁？就是那个一串七，一夜打穿圣杯战争的男人。可现在的时间点居然是败在英雄王手中之后。望着自己伤痕累累的身体，面临即将被囚禁的危险，卫宫士郎只能无奈望天。行了，什么都别说了，等我先穿个越。这个仇我记下了，一切都等我回来再说。卫宫士郎为了守...
史上最牛超级网盘
网盘无敌，杀神屠魔！一个现代人穿越了附体在一落魄少年身上，在异界崛起。求收藏群号323404365...
骷髅进阶攻略
承载了所有罪孽的深渊，一个被众神遗弃的位面，一个被称为神战战士最后归宿的地方，一朵跳跃的灵魂之火正悄然绽放。以骨为架，以魂为引，积死域之力，崛起与神战之后！骷髅，亦可为奇兵！...