手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（aiquwx）数学心
最后一个葬魂师
古语有云八字轻者，身虚，神弱，易近鬼！我的八字就非常的轻！不仅如此，据说我在出生的那天正巧紫薇星降世！这要是换成在古代，我必定会是帝王之相！可惜，却毁在了我的八字轻上面！这让我只有了帝王之相，却没有帝王之命！等待我的只能是百鬼缠身，死于非命！（新书更新慢可以养肥了再看！这段时间了大家不妨看一下阴阳墓师。了解一下乔胖子祖父辈们的故事！另外重生之无赖至尊欢迎大家收看！）...
混天大圣
妖族中至高无上的存在被称之为大圣！宗门世家妖魔异族，万年前上古大劫绝地天通，修行界秩序崩塌。有人族小国供奉妖魔，充当伪神。有修行宗门驱使妖魔作乱，只为香火供奉。黑山老妖踏阴风，九尾妖狐敢压龙。北明妖王颂梵音，妖圣覆海换阴阳。李玄宗手持能升级功法的玄法戒两度穿越，从纵横江湖的一代邪王到依附妖魔苦苦求生的底层修士。乱...
贞观贤王
贞观十四年，大唐盛世已开启。唐高宗还是老实的小王爷。女皇已入宫成了武才人。翼国公府，秦琼刚加冠长子秦怀道，开启大唐封王生涯！...
星空之主
新炎黄历八百年，世界早已告别古修真时代，步入现代。交流共赢，既竞争又合作是当前时代的主流。有人一只宝葫炼万物。有人大梦平生我先觉。有人天生神人起凡尘未知的道理，无尽的星空是所有修士共同的全新征途。一艘先进程度超越时代，却又来历神秘的彼岸神舟，载着少年沈健驶向宇宙大航海时代。新时代修真，未来在星空，乘风破浪会有时...
每天被迫和大佬谈恋爱
爽文宠文，1v1，女强男强！初相见，薛夕被迫对这个充满危险的男人一见钟情，不谈恋爱会死的她只能主动出击我有钱，也很能打。做我男朋友，我罩着你...
数码暴君
这里是蛮荒的世界，这里是太古的战场！神明高居星空王座，燃烧军团杀声震天！看我…一拳撕裂天空，一脚踏碎大地！狐仙，你确定你说的是数码宝贝！？...