手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（aiquwx）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
从流民到皇帝，朕这一生如履薄冰 弃我选白月光？我离婚你疯什么！ 重生后在前世死对头怀里兴风作浪 系统盯上龙椅后，公主天天作死 聊天群：开局获得赛亚人血脉 带白月光回家，我离婚你悔啥？ 末世降临：我招收下属，获得百倍物资 庆余年：范府大宗师 我与仙子不两立 死亡来信 重生1961，开局相亲对象就被截胡！ 离婚后，傅先生对她俯首称臣 一本杂录 重生79，离婚后知青老婆她后悔了 全家逼我离婚，现在后悔有用么 CS：不是，你的残局靠请神啊？ 要离婚你高冷，再婚又发疯？ 苟在末日，独自修仙 和扶弟魔老婆离婚后，我送她全家升天 糟了，那妖女也重生了！
问道章
穿越加重生，妥妥主角命？篆刻师之道，纳天地于方寸，制道纹于掌间！且看少年段玉重活一世，将会过出怎样的精彩？...
全职法师
一觉醒来，世界大变。熟悉的高中传授的是魔法，告诉大家要成为一名出色的魔法师。居住的都市之外游荡着袭击人类的魔物妖兽，虎视眈眈。崇尚科学的世界变成了崇尚魔法，偏偏有着一样以学渣看待自己的老师，一样目光异样的同学，一样社会底层挣扎的爸爸，一样纯美却不能走路的非血缘妹妹不过，莫凡发现绝大多数人都只能够主修一系魔法，自己却是全系全能法师！...
梦醒细无声
由终点回到原点，洪涛又回到了他第一次重生前的时代，不过失去了三次重生穿越的所有记忆。假如没有重生过，没有记忆的金手指，他会是一个什么样子呢？在波澜壮阔的改革开放高潮期，他是屹立在潮头的弄潮儿？还是被浪潮拍碎的浪花？他的记忆还能不能回来？江竹意还会不会伴着他这一生？金月在这一世里和他又有什么交集？小舅舅还会是那个妻管...
闪婚厚爱：误嫁天价老公
简然以为自己嫁了一个普通男人，谁料这个男人摇身一变，成了她公司的总裁大人。不仅如此，他还是亚洲首富帝国集团最神秘的继承者。人前，他是杀伐果断冷血无情的商业帝国掌舵者。人后，他是一头披着羊皮的狼，把她啃得连骨头也不剩。...
神兵奶爸
啥，老子堂堂的漠北兵王，居然要当奶爸？好吧，看在孩子他妈貌若天仙的份儿上，老子勉强答应了...
极品妖孽归来
他曾是圣殿国王，四大洲只手遮天，却因心爱女人的背叛，险些命丧黄泉。为复仇，他踏上回归路。在酒吧昏暗的角落，有佳人绝色，一个精彩纷呈的故事，就此展开...