手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
迷津蝴蝶 上流假象 我真没想在过去的年代当学霸 神魔剑玄录 还是修仙吧 第三十年明月夜 小仓鼠今天有猫了吗 杀了那个妖鬼 新搬来的邻居 兽世养山君[种田] 我在死亡副本当管理员 撩惹疯批顶E，笨蛋少爷他逃了 君为客 末世后我成了疯批alpha们的安抚剂 攻略对象变成室友后，他不对劲 夸夸我的神探祖父穿越爹 怪物崽崽和他的怪物监护人 枭鸢 穿到虫族和军雌相亲 死神不来了
陌以北归
季氏集团遭遇危机，来自法国的M公司以强势的姿态入主季氏，代价是他的婚姻。婚后，两人之间的关系渐渐变得微妙。婚后两年，人前她是季家的大少奶奶人后她孝顺着他的家人。然而，这一切，却没有得到他的真心...
史上最强归来
岁月长河扁舟尽头来，前世夙愿，今朝弥补，天境神君岂是终点求一世问道，终会如何？登巅？或是夭折于半路？莽莽诸天，谁又能分魂布局？长生不死？是漫漫长路追求的极限吗？武练巅峰，仙境问鼎，在山峰巅峰之上，漫天星辰，心是否如初？冲过无尽的海洋，嗅着海腥之味，道路是否改变了方向？在晨曦的照耀下，是会印衬出最初的模样，还是此时杀戮的模样？如果您喜欢史上最强归来，别忘记分享给朋友...
重生之神级兵王
左寒是这世界上三大拥有封号的佣兵王者之一，毫发无损的完成过无数危险任务，却被自己最信任的人背后捅刀而死。后背的神秘龙纹让他获得重生，成为一名古武学院的废材学子，不鸣则已一鸣惊人！...
视频通万界，开局盘点十大剑神
唐恒穿越平行世界，成为一名短视频制作者，突然获得一个视频网站的邀请视频网站名为‘鸿蒙诸天’，竟然能够连通各个武侠世界，发布视频不仅能够让诸天万界的武者看到，还能获得奖励和打赏唐恒将信将疑的上传了一部诸天万界十大剑神盘点的视频陆小凤十大剑神盘点？必有西门兄一席之地！这独孤求败到底是谁啊？剑道境界竟然有五境？接下来，像什么诸天万界十大阴险人物盘点诸天万界十大绝色盘点在诸天万界引起了巨大轰动如果您喜欢视频通万界，开局盘点十大剑神，别忘记分享给朋友...
龙族世界中的黄铜龙
安德当了一百年的黄铜龙，终于在一次意外中回到了他朝思暮想的地球，本想当个死宅，安安稳稳地躺平。却发现这个世界竟然是龙族的世界，人人以屠龙为己任。为了打击这群欺世盗名的伪龙，挽回龙族的名誉，安德也只好勉为其难地给这个世界来点不一样的玩意了。幕后流，无单女主，人类侧注DND世界的龙与龙族的龙完全不一样，切勿将两者混为一谈如果您喜欢龙族世界中的黄铜龙，别忘记分享给朋友...
我给物品加词缀
电竞外套，增加电竞能力。于是成为了电竞高手，为国扬名立万。破邪关刀，增加破邪能力。作为一名主播，偶尔竟然还要给观众播一播捉鬼，来吸引眼球，顺便为了世界和平。为什么陆小天先生你这么牛逼。陆小天风突然打了来访的记者一耳光，激动的说道。看这本书的人，谁不比我牛逼？我不就是得了个破系统吗？我不就是顺便扬名立万了吗？我爹妈都穿越了！如果您喜欢我给物品加词缀，别忘记分享给朋友...