手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
穿到虫族和军雌相亲 枭鸢 小仓鼠今天有猫了吗 死神不来了 迷津蝴蝶 夸夸我的神探祖父穿越爹 君为客 兽世养山君[种田] 我在死亡副本当管理员 杀了那个妖鬼 新搬来的邻居 神魔剑玄录 上流假象 还是修仙吧 末世后我成了疯批alpha们的安抚剂 撩惹疯批顶E，笨蛋少爷他逃了 攻略对象变成室友后，他不对劲 怪物崽崽和他的怪物监护人 我真没想在过去的年代当学霸 第三十年明月夜
全民养鲲进化
关于全民养鲲进化末世降临，异种来袭。若想活命，唯有养鲲。当第一头鲲坠入地星，灾难由此开启。强大的外星异种，可怕的域外凶兽，狰狞的神秘古神。地星人民唯一的抵抗手段就是养鲲进化鲲，以鲲为武器。吞噬进化之路无穷尽，究竟谁能将鲲给进化到最终形态！覃某打麻将时操作失误，竟误打误撞进化出机械舰鲲！七岁小孩什么都不懂，竟然进化出暴食九头蛇！隔壁大叔本以为进化失败，结果没想到出现亡灵灾鲲！厉害了我的天！蓝觉炉火营地竟有人抓...
重生九零俏佳妻：首长，轻点吻！
重生前，她遭继母欺骗，妹妹设计，丢了清白，毁了名声，跟挚爱之人错过，最终死于非命。重生后，她斗继母，撕渣妹，势必要把欠了她的讨回来。至于那个等了她一辈子的男人，这一世，她绝对不会再错过！只是不是说好她撩他的吗？为什么会变成他撩她？他是手腕铁血的冷面军长，他的脸有多出色，他的人就有多难接近，在她的面前却变身粘人小狼狗，恨不得时时亲亲她，抱抱她。他说我不能时时刻刻在你身边，但我会时时刻刻想着你！如果您喜欢重生九零俏佳妻首长，轻点吻！，别忘记分享给朋友...
梦回隋唐之我是李建成
关于梦回隋唐之我是李建成李健诚21世纪一个底层员工，一个梦想拥有财富地位美女的青年。一梦醒来变成了隋朝唐国公李渊的大儿子李建成。在作为后世的来者，他当然知道自己的命运。但我绝不向命运低头房玄龄杜如晦魏征你们将是我的左膀右臂，李靖李绩程咬金秦琼尉迟恭，你们注定为我御疆拓土，执失思力契芯何力阿史那社尔松赞干布禄东赞，你们注定要臣服于我的脚下，长孙无忌，你给我去死。唐三藏，你不需要孙悟空了，我送...
三国：我帮刘备种出万里江山
农大研究生蓝田穿越三国，没有金手指的他靠种田崛起。科学种植让百姓能吃饱，科学种植让百姓能吃好。小沛农界大司马，金牌导师蓝子玉。从误解刘备的仁义，到帮助他争夺天下，蓝田逐渐了解这个三国第一创业人。刘备有了他，军队再也不为粮食发愁。关羽有了他，荆州固若金汤，吕蒙背刺失败。刘备我有蓝田胜过雄兵十万。诸葛亮蓝田之才不亚于亮。赵云怎么说呢？其实蓝田对人性看得太透。刘婵舅父，颇思蜀否？所有人都认为蓝田是个不世之材，唯独他自己觉得只是平庸的种田人。如果您喜欢三国我帮刘备种出万里江山，别忘记分享给朋友...
美女的无敌神医
当个神医很烦恼，当个无敌的神医更烦恼，因为病人太多，唐钰实在是应付不过来呀！...
开局签到九转金丹
穿越九洲大陆的刘昂，开局就获得九转金丹成为金仙，在九洲大陆收徒传道搅动风云的故事。无敌文，主角老爷爷流，大杂烩，偏日常如果您喜欢开局签到九转金丹，别忘记分享给朋友...