手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
我在死亡副本当管理员 神魔剑玄录 穿到虫族和军雌相亲 夸夸我的神探祖父穿越爹 迷津蝴蝶 杀了那个妖鬼 还是修仙吧 兽世养山君[种田] 上流假象 小仓鼠今天有猫了吗 君为客 死神不来了 撩惹疯批顶E，笨蛋少爷他逃了 枭鸢 末世后我成了疯批alpha们的安抚剂 第三十年明月夜 攻略对象变成室友后，他不对劲 我真没想在过去的年代当学霸 新搬来的邻居 怪物崽崽和他的怪物监护人
农女逆袭：携手王爷来致富
关于农女逆袭携手王爷来致富宋伊人奋斗了半辈子拥有了想要的生活，却突发心脏病离开人世。再次醒来，她变成不知哪个朝代同名同姓的贫穷农家女。亲爹下落不明，亲妈懦弱可欺，还有一个病娇小弟。更悲催的是...
阴夫凶猛
公车上被占便宜之后，竟然多了一个鬼老公。…点击星星收藏，不要逃↑↑↑↑↑↑↑↑［求收藏，求推荐，求钻石，求打赏，摸爬打滚的求］［不要因为书名或者简介不喜欢就急着离开，点开看一下嘛，又不会少块肉！］微博正常的神经病本尊httpweibocom3169540944p...
快穿王者：男神，跪下唱征服
在这个农药纷飞的年代，颜小沫已经跌倒在这个坑里爬不上来了。一朝进入农药系统，各种帅哥任你撩。系统颜小沫，你喜欢哪款帅哥？颜小沫当然是吓猴蹲啦！系统（惊吓）为何？颜小沫此人有肌肉，还会脱衣服，更重要的是还眼瞎。农药众男神不服了，纷纷在峡谷草丛脱了衣服。颜小沫李白哥哥，赵云哥哥，韩信哥哥你们要干啥？（ps根据王者荣耀故事改编，如有雷同，算我借鉴的。）...
三国开局就送大礼包
叮，抽奖系统绑定成功，您有大礼包一份。打开。关平激动道。叮，恭喜宿主获得霸王之勇，李广神射，空间农场一座。...
傲气凌神
苍玄庭，自小便是家族的废物，然而一场意外的遭遇彻底改变了他的命运！撕天神决，尊者之心，九层空间！为他打开了一扇成为强者的大门。从一个任人宰割的蝼蚁，到整个三千世界的最巅峰！且看苍玄庭如何一步登天，傲气凌神！...
湾区之王
中国人，在这圈子里绝对不可能取得成功！你柔弱得就好像小鹿斑比，根本无法形成对抗！你有头脑有智慧，但缺乏天赋。陆恪但，我有系统。手持系统，我要站上巅峰舞台，建立属于我的王朝！如果您喜欢湾区之王，别忘记分享给朋友...