手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
我在死亡副本当管理员 兽世养山君[种田] 第三十年明月夜 撩惹疯批顶E，笨蛋少爷他逃了 迷津蝴蝶 杀了那个妖鬼 末世后我成了疯批alpha们的安抚剂 穿到虫族和军雌相亲 我真没想在过去的年代当学霸 神魔剑玄录 君为客 新搬来的邻居 小仓鼠今天有猫了吗 枭鸢 夸夸我的神探祖父穿越爹 怪物崽崽和他的怪物监护人 还是修仙吧 上流假象 攻略对象变成室友后，他不对劲 死神不来了
麟儿（重生，父子年上）
十八岁那年，萧宸死在了他最亲近也最敬爱的父皇手中。萧宸不恨父皇。他只恨他自己。他恨他自己如此软弱天真，身在天家，却盲目轻信以为所有示好的背后都是单纯的善意他恨他...
全城都盼着君少离婚
今夏死了，死在了被岩浆覆盖的城堡里。君家继承人上位，第一件事情便是掘地三尺，也要将她找出来。十日过去，古堡山头的地皮被撬了一层。一百日过去，全城悬赏十亿寻人。一千日过去，君氏新任君少，四岁的君嬴冥亲自搜索。没有人知道，藏在暗无天日地下室里，抱着孩子的丑丫头身价到底多高。...
男神,请对我温柔一点 完结+番外
二十岁，急速蹿红的高颜值新生代偶像安纪宇其实是个骨灰级网游高手，而在一款热门新手游中，他有了一个新队友一个名叫大白兔奶糖真好吃的萌妹子。十八岁，身为苦逼高三党的赵彬，借着游戏释放学业压力，...
从吞噬开始爆装备
白夜穿越吞噬星空世界，杀怪就能爆装备。令狐冲的酒葫芦，提升剑法资质修炼资质。T病毒原液，获得精神念力天赋。杀死的敌人实力越强，爆出的装备加成越恐怖。奈文摩尔的灵魂冕冠凯瑞甘的刀锋之刃涡动破坏神的进化核心当白夜成为超越无尽世界之上的存在时，回头看着自己走过的路我能有今天，全靠自己辛勤修炼！我，白夜，努力型天才！如果您喜欢从吞噬开始爆装备，别忘记分享给朋友...
逆天战神
战神归来，王者睥睨！一代战将，满身荣耀，再回都市，纵横花都！PO18脸红心跳（18wenwvip）提供逆天战神最新章节全文免费阅读！。...
快穿:少年你要淡定 完结+番外
大概是脑子一热，多年未能走出第一次接任务便发生意外的阴影的苏言笙，接下了主世界里的长期任务，只是谁能告诉他，为什么任务对象越来越熟悉？孤苦的学生家族博弈中的弃子风流成性的青年苟且偷生的小少爷心软捡回来的娃最后的最后，那场悲剧中再无人提及的少年站在了他的面前，伸出手，眉眼弯弯苏言笙，你说过会带我回家的。曾几何时，任务者也是一个少数人才会选择的职业，毕竟就算福利好，却是十分忙碌，还有精神崩溃的风险，可自从行业内一个接一个的标杆人物脱单之后，便有人开始问一个问题听说你们做任务还包分配？…...