手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
新搬来的邻居 夸夸我的神探祖父穿越爹 撩惹疯批顶E，笨蛋少爷他逃了 小仓鼠今天有猫了吗 枭鸢 神魔剑玄录 死神不来了 怪物崽崽和他的怪物监护人 杀了那个妖鬼 兽世养山君[种田] 第三十年明月夜 还是修仙吧 上流假象 我在死亡副本当管理员 我真没想在过去的年代当学霸 迷津蝴蝶 穿到虫族和军雌相亲 攻略对象变成室友后，他不对劲 君为客 末世后我成了疯批alpha们的安抚剂
龙战无疆
关于龙战无疆每一局游戏，每一个世界。这是时间与空间的漩涡，这是真实与虚幻的轮回，这是挣扎与屈服的抉择，这是自我与超我的角逐。无疆的大门，即将向你开启...
重生八零之婚宠撩人
重生花样年华，玩转市井豪门，携手逆袭人生，共揽一世风云！如果您喜欢重生八零之婚宠撩人，别忘记分享给朋友...
郝冬冬今天好好做人了吗
习惯了当大爷的郝冬冬谁也不服，更别提当谁的小跟班，直到遇见谷庭西郝冬冬，你再逃课，期末别想及格。郝冬冬，带书过来，我给你答疑。郝冬冬，明天早上六点半，请把早餐放在我的办公桌上。郝冬冬，你属树懒的吗？跟上，再磨蹭民政局该下班了。对于这个男人，郝冬冬只想悲愤地说一个字喳！大概，这就是所谓的一物降一物吧好吧，这是一个二货小流氓和一个毒舌老正经的欢快故事。如果您喜欢郝冬冬今天好好做人了吗，别忘记分享给朋友...
宠你一世又何妨
宠你一世又何妨简介主角艾天晴陆少铭不要叫我后妈，我没你那么大的儿子！艾天晴一直以为自己要嫁的人是一个快六十的老头，直到某天晚上那个邪魅冷血的男人将她抵在了门上，从此她的日子就。PO18脸红心跳（18wenhvip）提供宠你一世又何妨最新章节全文免费阅读！。...
召唤万界之神话帝皇
李祀睁开眼，发现自己高坐龙椅之上，文武百官，高呼万岁万岁万万岁。这个时候，万界最强召唤系统被激活了。诸天万界中的一切人物都可以被召唤。曹正淳乱臣贼子，人人得而诛之！白起我看见，我杀戮，我毁灭！张角陛下，仙者，呼风，唤雨，保一方太平！魔者，地裂，天崩，乱一世根基！诸葛孔明给臣一盏七星灯，为陛下逆天改命，续万世江山，与天地同寿！…孙悟空俺老孙有一棒，可镇九天，可压四海，可为陛下…横推诸天仙神！……鸿钧洪荒大陆，兆亿生灵，上至圣人，下至凡俗，皆是陛下子民！...
终极挑战
史上第一个超越魔帝的魔法师泰龙大陆第一强者雷恩，灵魂回到九十年前，附身于一刚被长剑透腹杀死的胎儿身上。还未出生就遭受重创，身体残破不堪，雷恩如何用这副残破的身躯再次重返魔法巅峰？彪悍重生，超越轮回，昔日对手今何在？人类的终极挑战，又将如何在雷恩的手里诞生奇迹...