手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
上流假象 第三十年明月夜 我真没想在过去的年代当学霸 攻略对象变成室友后，他不对劲 君为客 杀了那个妖鬼 我在死亡副本当管理员 枭鸢 穿到虫族和军雌相亲 死神不来了 末世后我成了疯批alpha们的安抚剂 迷津蝴蝶 夸夸我的神探祖父穿越爹 小仓鼠今天有猫了吗 神魔剑玄录 新搬来的邻居 还是修仙吧 撩惹疯批顶E，笨蛋少爷他逃了 兽世养山君[种田] 怪物崽崽和他的怪物监护人
花开五毒：神姬很逆天
她是现代顶超级大家族的少女掌门人，在家族的内乱中，与敌人同归于尽，精魂不死，穿越到异世大陆武学世族一个庶女的身上。嫡姐凶残，用皮鞭将她打到毁容庶姐奸险，偷窃珍宝嫁祸到她身上嫡母自私，庶母恶毒，渣爹无耻，种种无聊迫害加注在她的身上！她真的任人搓扁捏圆吗？否！毒花最美最诱惑！她是异世空穿越的毒魂！她是一剂最浓烈的毒...
英雄联盟之无敌升级
关于英雄联盟之无敌升级超级爽文，火热追读携带英雄联盟无敌系统穿越到强者横行的异界，从此装逼之路大开！啥是无敌系统？就是只有你想不到，没有它做不到！真的，真的不是一般的杀怪升级哦！继英雄联...
重生校花凶猛
投行白骨精重生到20年前，大学懦弱校花变身天后，终成霸气女王，轻娱爽文，燃情精彩！求收求推！如果您喜欢重生校花凶猛，别忘记分享给朋友...
废材逆天记：独宠废材四小姐
她是人人想弃的废物，受尽欺辱。她是从现代穿越而来的冷面修罗，一朝重生，废材也可逆天。他是人人惧怕的冷面王爷，却独独对她温柔呵护，宠之入骨。权倾天下和与君同老的爽文温情故事如果您喜欢废材逆天记独宠废材四小姐，别忘记分享给朋友...
洪荒之龟虽寿
神龟虽寿，犹有竟时，一朝穿越成迟早要用来补天的九天玄龟，无归表示亚历山大，别人穿越，都是为了抢灵宝，立大教，成圣人，无归只想好好积攒功德，保住这条小命，所以女娲娘娘，看在贫道这么心善的份上，您找其他人补天呗新书异界之圣堂崛起已经上传，请各位书友多多支持推荐，谢谢！！！...
凤后传：佳人眉间雪
一个腹黑冷情的现代女汉子，穿越成爹不疼后娘害的软妹纸！遇上霸道冷酷武宣王，只手遮天权倾朝野，传闻说，他睡过的女人比吃过的饭都多，可是一夜贪欢之后，他竟对她痴缠不止，他说，女人，你姿势多技术好...