手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
鬼灭RPG为美好的世界献上帝君 丘比特今夜失明 恋爱脑女配谁爱当谁当[快穿] 宗门全是美强惨，小师妹是真疯批 混迹两年余，我咸鱼身份藏不住了 永恒大陆之命运 大帝禁区：师傅死后，我疯了 啊，张嘴！天道又追着福宝喂饭了 问道第一季之疯魔 如果男主太晚才出现 夏夜撕咬 肥妃有福，双面王爷倾世妃 全球异变：小透明她成了神界之主 群友全穿越！就我在地球 都市之：仙途逆袭 我的员工全是言情女主 [娱乐圈同人] 巨星驾到 君为依[重生] 恋爱脑治疗指南 哭错坟后她掉马了
混在初唐
杨恒，是一个非常小心的人，就是在过斑马线的时候，也要在绿灯亮了再观察八遍，直到确认两边没有闯红灯的车辆，还有快速拐弯的车辆的时候，才会迅速通过，可他就是如此小心，可还是在一个冬天出事了！哆哆哆，哆哆哆，啊，好冷，好冷，让我点上炉子好好睡一觉，啊呀，不好，忘记把窗子给开一点缝隙了，这，这，我怎么动不了了杨恒发现自己有些煤气中毒了ampltpampgt各位书友要是觉得混在初唐还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！ampltpampgt...
武侠世界大拯救
王宇魂穿王莽之子，来到了一片神秘莫测的综武世界。这个世界，蕴含着无数的传说和可能。百年之前，黄裳独上光明顶，七进七出。张三丰武当立道，称尊天下。少林底蕴深厚，诵经不止。独孤求败剑问天下，难求一败。魔门道门佛门，错综诡异，争斗激烈，武林日趋混乱。而世间，王莽篡汉，李唐占据关中，铁木真横扫草原，朱元璋崛起江南。看王宇如何继承王莽基业，只手挽天倾。睡最美的女人，战最强的敌人，在江湖中驰骋，在天下间纵横。雄霸天下，不负此生。...
强娶：凰牌王妃哪里逃
第一次见，他不顾礼法，将她压在身下她水眸大瞪，没有反抗。第二次见，他语气轻佻，洞房花烛，你想逃？她轻合双眼，你猜？某男问如果错过三生，你还会等他三世吗？某女果断回答不会。某男眉头紧锁为什么？某女思量片刻打开第一章，自己看去据说当她被封为吴国皇后，他为她散尽后宫时，她成了一具活死人。据说她遇上他，被他护在怀中，成为天下最幸福的女子。后来又说他新婚之夜，冷血薄情，一剑穿心。后来还说他坐拥江山，却和着最爱的弟弟抢占弟媳只因一个人...
游戏人生
随身携带训练场银行医院和保险柜，且看仙二代丁浩如何游戏人生，振兴家族，俘虏美人心。书友群309668984...
女巫药剂学
（本书非变身文，主角是男的！！！）嗯，一两星光草粉末，加上一罐双头狗血，一副春保健品就这样配制出来了！猥琐大胖子苏格笑嘻嘻地说道。莱因哈特伯爵之子苏格，阴差阳错下成为了女巫学院花丛中一点绿。在修学过程中无意接触到了女巫药剂学，从此开始了他传奇的一生，终有一天，他会将这个世界踩在脚下！...
九天之后：魅惑众夫君
一觉醒来，她便意外穿越成了一个待嫁的小姐身上。新婚当天，她冷眼旁观准夫君的情敌来大闹婚宴。浪漫邂逅，甜蜜爱情，都不是她雨若想要的。她想要，千里江山，万千子民，都是她囊中之物。他国之君，俯首称臣，不过是一朝一夕之事，但这有何妨。江山，钱财，荣耀甚至是美男在旁，痴情与她。她只要，他一个人，倾心相待。情节虚构，请勿模仿...