手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
枭鸢 穿到虫族和军雌相亲 迷津蝴蝶 末世后我成了疯批alpha们的安抚剂 撩惹疯批顶E，笨蛋少爷他逃了 上流假象 兽世养山君[种田] 小仓鼠今天有猫了吗 新搬来的邻居 还是修仙吧 君为客 杀了那个妖鬼 夸夸我的神探祖父穿越爹 我真没想在过去的年代当学霸 我在死亡副本当管理员 死神不来了 怪物崽崽和他的怪物监护人 神魔剑玄录 攻略对象变成室友后，他不对劲 第三十年明月夜
抗日之特战军魂
特战教官，意外陨落，魂落南京。看，无数百姓，惨死鬼子之手！望，泱泱华夏，将沉沦于鬼子铁蹄之下！血性男儿，拿起手中钢枪，抛颅洒血，勇杀日寇，扬我华夏军威！敢犯中华天威者，虽远必诛！龙刃欢迎你的加入548202037...
金主大人，请矜持
三年前的这一天，潜伏在黑暗中的魔鬼摩拳擦掌，终于忍不住探出一只手，将虞星念拽入无尽的黑暗。妹妹陷害，母亲离世，家族亲手把她送进离城监狱。裴凉城。未婚夫是吧，你越是渴望的东西，我就越是要摧毁。虞依依，我也要让你感受到，什么叫绝望。如果您喜欢金主大人，请矜持，别忘记分享给朋友...
秦总女纨绔要不要
关于秦总女纨绔要不要昔日第一女纨绔，穿成被养女鸠占鹊巢赶出家门的落魄千金。爸妈不喜，亲哥厌恶，未来还会被男朋友割肾放血。叶雨桐，我的钱一分都不给你。叶雨桐，你脱光了站到我面前我都不看你一眼...
武术直播间
散打拳击柔道泰拳截拳道空手道不管你练的是什么，功夫，两个字一横，一竖对的，站着错的，躺下。武术皇帝直播一哥功夫巨星吴理。当吴理拥有了武学系统，发现直播就能变强直播间人数突破十万，获得十万粉丝值消耗粉丝值，八极拳提升为大师级消耗粉丝值，兑换被动技能肌肉先生吴理当全世界都在看我直播时，我就是全世界最强的男人！如果您喜欢武术直播间，别忘记分享给朋友...
太子宠妃日常
...
男妻难为 完结+番外
这就是一个死于小产的受，重生归来后的故事。布衣生活种田文重生…...