手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
小仓鼠今天有猫了吗 撩惹疯批顶E，笨蛋少爷他逃了 怪物崽崽和他的怪物监护人 新搬来的邻居 君为客 攻略对象变成室友后，他不对劲 夸夸我的神探祖父穿越爹 神魔剑玄录 末世后我成了疯批alpha们的安抚剂 上流假象 枭鸢 还是修仙吧 第三十年明月夜 兽世养山君[种田] 杀了那个妖鬼 我真没想在过去的年代当学霸 迷津蝴蝶 我在死亡副本当管理员 穿到虫族和军雌相亲 死神不来了
穿书反派逃命守则
在王团团成为一本书的盟主时，这本书给她带来了一个福利。她穿越了，穿到了这个书的世界。作为一名死忠粉，她对这个世界的剧情了如指掌。可是这又有什么用吗？她又不是女主，女配，而是女主的对头，最美雌性索菲亚。那个跟女主作对，被万众粉丝唾弃的女反派。让她早点死的反派，也是小说中前期女主的最大对头。她差点害的女主一尸两命，到最后自己却是一尸六命。生下的小虎崽一个都没有活，自己的小命也没了。为什么给了她穿书的命，却让她不得好死呢。清醒之后，王团团决定改变命运，远离男主和女主，这样才能够保住小命。本书又名异世夫君是反派，是异世系列文呦如果您喜欢穿书反派逃命守则，别忘记分享给朋友...
欢喜佳期
意外去世的常安夫妇有三大憾事，一是没将自家闺女嫁出去，二是忘记告诉她家里有矿，三是如果您喜欢欢喜佳期，别忘记分享给朋友...
一诺成婚，宝贝别闹了
他，一代风靡全球的高冷艳男神她，一介入流的敏感科清水女医却阴差阳错的走在一起，婚前，他冷冷的告诉她，千万别爱上我！这只是在演戏。她却信誓旦旦的告诉他，你不属于我，我也不属于你！包括在戏里...
明星总冠军
战斗的理由，你和总冠军！KPL春季赛保级失败而猝死的职业选手韩峰，拥有了一个来自异世界的灵魂，带着无数没人听过的歌看过的电影。于是，韩峰的脚下出现两条路，一条通往娱乐明星，万人追捧，一条通往电竞冠军，多年梦想。韩峰笑道小孩子才做选择，我全都要！如果您喜欢明星总冠军，别忘记分享给朋友...
都市之地狱之主
最火爆新书，无敌爽文）地狱之主，重生顶级弃少。天榜第一剑道宗师神境强者，招惹我，一招灭之！这一世，神挡杀神，佛挡杀佛！这一世，执掌一切，君临星空！如果您喜欢都市之地狱之主，别忘记分享给朋友...
穿越第一天，诸葛亮病逝五丈原
关于穿越第一天，诸葛亮病逝五丈原睁开眼的刘谌，他明白自己穿越了。但随之而来的，确实喜忧参半。喜的是，身边围满了侍女。人也住进了富丽堂皇的宫殿。忧的是，诸葛亮在五丈原快死了。什么？你说诸葛亮要死了？！再看看自己的身份日后的北地王，刘谌，就是蜀汉投降，自刎归天的那位。不是好不容易穿越一次，我的生命这就一眼看到头了？？？...