手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
怪物崽崽和他的怪物监护人 撩惹疯批顶E，笨蛋少爷他逃了 新搬来的邻居 穿到虫族和军雌相亲 上流假象 我在死亡副本当管理员 我真没想在过去的年代当学霸 君为客 杀了那个妖鬼 死神不来了 兽世养山君[种田] 小仓鼠今天有猫了吗 枭鸢 神魔剑玄录 攻略对象变成室友后，他不对劲 夸夸我的神探祖父穿越爹 还是修仙吧 末世后我成了疯批alpha们的安抚剂 迷津蝴蝶 第三十年明月夜
调教薄情小女人：独家霸道爱
关于调教薄情小女人独家霸道爱来，让我验验货，看看你够不够正！她看着眼前盯着她胸口的妖孽总裁，脸色刷地变得惨白。为了二百万，那一夜，她顺从了多年后，她带着酷似他的小小翻版，一张支票甩到他面前我买你一夜，多少钱，你随便填！紧急关头，他却抓住了她天大的秘密...
这个仙人有点猛
穿越之后，黄枫发现这个世界有点乱，朝堂不靠谱，仙门不着调，妖四处作妖，鬼到处惹事，如此严重的安全隐患一下就激发了他的火力不足恐惧症他是一个不喜欢凑热闹也不爱管闲事的人，只想舒舒服服过生活，可许久之后他发现，热闹他好像都凑了，闲事他似乎都管了，而且大家都很听他的话黄枫你们有意见就提，我又不是不讲道理的人！妖鬼仙凡不不不，你说得都对！功法覆盖范围之内，皆是真理！如果您喜欢这个仙人有点猛，别忘记分享给朋友...
重生我不是影后
红袖读书首届全球征文大赛参赛作品如果您喜欢重生我不是影后，别忘记分享给朋友...
全民轮回只有我开了挂
关于全民轮回只有我开了挂原创诸天，热血搞笑李耀穿越传到一个全民轮回的世界，主世界中伴生了无数的小世界。这些小世界中分为了武侠玄幻鬼怪妖物仙侠悬疑等数十种分类。更神奇的是，主世界的...
幸孕婚宠总裁爹地超凶猛
关于幸孕婚宠总裁爹地超凶猛盛传厉氏的总裁高富帅占了两样，缺的那一‘帅’是因为他太丑，不敢示人。没想到身边多了一个女人后，厉总裁的喜好彻底变了。每天都要牵着小女人的手逛逛街，看看电影。必要时伸手掐断小女人身后的一朵朵桃花，乐此而不彼。那时人们才知道，厉少一点也不丑，那个小女人是上辈子修来的福气捡了个宝。爹地，我帮你搞定妈咪的奖励呢？厉凌烨微微一笑，等我睡服你妈咪再说。小不点撇撇小嘴，当晚就把妈咪拉到了自己的小床上。...
八零花月正当风
关于八零花月正当风死过一次，赵零夏才知道自己身边谁是人谁是鬼。重活一世，还不想让她好过，那就别怪她辣手摧渣。只是那个谁，我们真的不熟。某人表示我凭实力勾搭，咳咳…娶回来的媳妇，就愿意宠着你有意见？赵零夏你再乱来我可要上税了。贺连祁媳妇你说的没错，我这不正在上税吗。...