手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
告白未果，我决定做回低调逆袭者 [综影视同人] 炮灰终结者 忠犬影卫饲养法则 成就华流天王，从历经生死战开始 白夜（重生） BOSS伪装白莲花女主杀疯了 当绿茶反派男配想上位 盛宠拽后：本宫就爱戏诸王 肥妃有福，双面王爷倾世妃 鬼灭RPG为美好的世界献上帝君 快穿之大佬总是在撩我 我把皇子养歪了 我当过的炮灰都成了宠文男主[快穿] [咒回同人] 全员术师 我说今夜无神，于是众神陨落 [穿书]男主他想弄死我+番外 宗门全是美强惨，小师妹是真疯批 本座的猫儿师尊 重生后她燃炸了 [HP同人] 隐藏在霍格沃茨当教授
庭中落之恶毒女配要洗白
书海阁小说网免费提供作者享耳满城的经典小说庭中落之恶毒女配要洗白最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说现代大龄女青年，一夜之间魂穿小说恶毒女配角。该怎么办？没有勇气去死，那就努力的去降低自己的存在感吧。让自己从恶毒的女二号变成戏份儿少之又少的女N号。应该是蝴蝶效应了。没想到步步后退却被人步步紧逼，原来小说里面暗藏的线现在全都出来捣乱。本就荆棘密布，你个男一号不是应该喜欢女一号的么？怎么搅和到一个恶毒女配身上来了？这不是添乱么！命运啊！神奇而无常的命运！...
小美好江辰陈小希
致我们单纯的小美好文案电视和小说称我们这种从小家住很近的男女同志为青梅竹马，并且普遍分两类，一是相亲相爱型，两人间亲若兄妹，一起掏马蜂窝一起被马蜂蛰，一起偷地瓜一起挨揍，等到蓦然回首，才发现友情早已慢慢升华为爱情一是相看两相厌型，两人间针锋相对，远远见到都恨不得冲上去咬对方一口，一逮到机会就拔对方自行车气阀，长大后猛然发现，啊！原来这就是爱。可惜我与江辰以上皆非，在很漫长的岁月里，我和他都只是对面楼的邻居。他每日叮咚叮咚弹他的钢琴，我津津有味看我的樱桃小丸子，偶尔忘记作业内容我会去按他家的门铃，他总是很讪，不耐烦地说你自己为什么不记。可能是因为有求于人，所以我从不与他计较，当然也可能是我从小不爱与人计较，我这人淡定中带点超凡。...
玄门高手在都市
世界四大风水师之一的慕千秋，有天对自己唯一的徒弟说，收拾好行李滚蛋吧！我没什么好教你的了。从小辍学的李思辰就此回到了祖国，按照自己新塑命格的情况，决定先去补下命格中最缺失的活气灵性。于是他回到了学校。破凶局，改命格，收阴尸，除邪魍！一口断人生死，一言决国兴衰！且看李思辰书写出一段风水师的传奇！...
不良校花爱上我
去阿姨家玩，偷了阿姨家女孩的丝袜，结果被发现了。从此，我沦落为不良校花妹妹的小狗腿。你妹啊，动不动就叫我给你揉脚，老子下面都硬了，你也不说给我解决一下。我不管了，今天晚上，老子就要拿下你！！！这是一个爱情故事，也是一个热血故事，请备好手纸。...
天骄战纪
苍图大陆，茫茫无垠。有古老宗门盘踞十方古域，有世外仙道屹立青冥之上，有太古妖神统领黑暗大渊，缔造了不知多少的辉煌篇章。就在这大千世界中，一个名叫林寻的少年，独自...
替婚热恋小甜妻
五年前，她结婚时就知道老公心里有个初恋，他捏着她的下巴说你只是一个替身，除了钱，其他的别妄想。她以为只要她努力对他好，他总会感动，总会爱上她，后来她才知道，男人不可能因为感动就爱上一个人。结婚5年，老公的初恋回来了，要离婚，还要她打掉肚子里的孩子...