手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
枭鸢 君为客 撩惹疯批顶E，笨蛋少爷他逃了 神魔剑玄录 杀了那个妖鬼 夸夸我的神探祖父穿越爹 上流假象 新搬来的邻居 迷津蝴蝶 第三十年明月夜 末世后我成了疯批alpha们的安抚剂 我真没想在过去的年代当学霸 穿到虫族和军雌相亲 死神不来了 小仓鼠今天有猫了吗 攻略对象变成室友后，他不对劲 怪物崽崽和他的怪物监护人 还是修仙吧 兽世养山君[种田] 我在死亡副本当管理员
镇阴棺
我一直跟在爷爷身后帮别人迁坟。迁坟中有着一种特殊的葬法，名二次葬，需开棺椁，捡尸骨，整新衣。而我第一次遇到二次葬，就挖出一具栩栩如生的女尸如果您喜欢镇阴棺，别忘记分享给朋友...
鬼眼影后
久无人至的烂尾楼，我死在那里，身体被砸成肉泥。他说可以帮我重塑肉身，只要我做他的夫人。我没机会犹豫，若是不做他的夫人，就只能跟黑白无常下地狱入轮回。杀身之仇未报，我尽有不甘。可是，重度...
天才系统之我真无敌了
在校大学生，重启天才系统，热血校园，无敌逆袭。万花丛中过，片叶不沾身如果您喜欢天才系统之我真无敌了，别忘记分享给朋友...
三婚完美，总裁二擒天价前妻
如果您喜欢三婚完美，总裁二擒天价前妻，别忘记分享给朋友...
霍格沃茨：我成了第三代黑魔王
温特沃斯格林德沃，在他的一生中，有着许多星光熠熠的称号当代最伟大的预言家，巫粹党的继承者，秘党首领，格林德沃家族的传承者以及第三代黑魔王！他让黑纱布满伦敦，巫粹党重现魔法界他于霍格沃茨建立秘党，垄断了一个时代的魔法英才他和第二代黑魔王对决莱茵河上，近半食死徒倒伐他漫步纽蒙迦德塔下，身后追随者恭迎盖勒特出塔他魔杖所指的方向，万千信徒一往无前。预言家日报这是最坏的时代，他正在带领巫师走向毁灭！唱唱反调这是最好的时代，他正在带领巫师走向新生！温特沃斯格林德沃我不是！我没有！别瞎说！如果您喜欢霍格沃茨我成了第三代黑魔王，别忘记分享给朋友...
警官杨前锋的故事
青春寄语，生活时尚，乡土文化，展现现实百态！如果您喜欢警官杨前锋的故事，别忘记分享给朋友...