手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
杀了那个妖鬼 我真没想在过去的年代当学霸 死神不来了 夸夸我的神探祖父穿越爹 攻略对象变成室友后，他不对劲 枭鸢 迷津蝴蝶 君为客 怪物崽崽和他的怪物监护人 神魔剑玄录 穿到虫族和军雌相亲 上流假象 小仓鼠今天有猫了吗 末世后我成了疯批alpha们的安抚剂 新搬来的邻居 撩惹疯批顶E，笨蛋少爷他逃了 我在死亡副本当管理员 第三十年明月夜 还是修仙吧 兽世养山君[种田]
甜品屋的大佬都超A
陆无双泰国旅游，意外街头遇见高中同学林中璨。‘碌番薯，先帮我个忙，其它都好商量。帮忙假扮现女友气走前任渣渣女，戏精上身简直不要太爽。扮一次假女友后怎么还给赖上了？回国没地方住，先暂住几天。酒店太贵了又不舒服，先收留几天。这住着住着，怎么变拖手仔了？林中璨，你是有预谋的吧？不，我是深谋远虑拐个老婆回家的。如果您喜欢甜品屋的大佬都超A，别忘记分享给朋友...
桃运小道士
狂龙回归都市，却成了冰山女神未婚妻的贴身小保安，且看最牛小保安如何坐拥佳丽，纵横都市！...
聊斋：我有一幅万妖图
穿越聊斋世界，狐姑为母，龙女做妻。凭借一幅宝卷，豢养无数巨妖大魔，问鼎大道，成就长生仙途。从此天不能拘，地不敢束。如果您喜欢聊斋我有一幅万妖图，别忘记分享给朋友...
携手修仙路
李祎祎只是一个很普通的打工妹，却万不想竟然会穿进修仙世界里。却从未想过自己竟然是一篇自己从来没有看过的。那修仙文里的那连炮灰都算不上的只是为了给女配送空间的路人而已。如果您喜欢携手修仙路，别忘记分享给朋友...
刚被悔婚超级天后带娃堵门
半年前，一代天后，国民女神被曝怀孕，引发舆论哗然，所有人都在猜测，孩子爸爸是谁。半年后，她带着一对龙凤胎，出现在了叶默面前。一无所知的叶默，成了一对国民宝宝的爸爸，并觉醒了系统。陪伴宝宝一个小时，奖励一栋楼！逗宝宝开心，获得大师级雕刻技能！就这样，叶默在成为国民奶爸，超级神豪的路上，越走越远。如果您喜欢刚被悔婚超级天后带娃堵门，别忘记分享给朋友...
贼婿
穿越乱世，五国争雄，命如草芥。方贤身陷青云寨牢房却稳如老狗还好，我有系统。救老寨主后，被逼娶少寨主，方贤只得加入山寨成为一名贼婿。如果您喜欢贼婿，别忘记分享给朋友...