手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
穿成商户女摆烂，竟然还要逃难！ 大明：开局气疯朱元璋，死不登基 我一枪一剑杀穿大陆 暗无 我的徒弟不对劲 哦豁！虐文炮灰不干了！ 国运：拥有多重身份的我很合理吧 穿到八零，我自带锦鲤系统！ 快穿之炮灰得偿所愿 玄灵界都知道我柔弱可怜但能打 在下潘凤，字无双 重生在宝可梦，我的后台超硬 混迹娱乐圈的日子 摊牌了，我爹是绝顶高手！ 译文欣赏：博伽瓦谭 新人驾到 永恒大陆之命运 宗门全是美强惨，小师妹是真疯批 至尊战皇 农夫是概念神？三叶草了解一下！
潜龙
6远本是一个普通的学生，但有一天，他忽然成了龙，从此之后，他就开始牛逼起来本书已经上架，求订阅求评论求互动求推荐票求金钻求收藏！给我几分钟，让我们一起见证一个高中生的传奇！各位书友要是觉得潜龙还不错的话请不要忘记向您...
恋上美女总裁
什么？要我和美女总裁搞好关系？当然可以！李迪贱笑一声关系就是搞出来的嘛！当兵王之王重回花都，冷艳总裁，傲娇萝莉，清纯助理，火辣警花，群美环绕！花都，我为王！...
修罗天帝
八年前，雷霆古城一夜惊变，少城主秦命押入青云宗为仆，二十万民众赶进大青山为奴。八年后，淬灵入武，修罗觉醒，不屈少年逆天崛起。给我一柄刀，可破苍穹，给我一柄剑，可指霄汉。金麟岂是池中物，一遇风云便化龙。当修罗子不死王雷霆战尊古海蛮皇等等一个个封号落在秦命身上，这个一身傲骨的少年踏天而行，带领一众挚友红颜，傲战八...
天美地艳男人是山
从农村考入大学的庾明毕业后因为成了老厂长的乘龙快婿，后随老厂长进京，成为中央某部后备干部，并被下派到蓟原市任市长。然而，官运亨通的他因为妻子的奸情发生了婚变，蓟原市急欲接班当权的少壮派势力以为他没有了后台，便扯住其年轻恋爱时与恋人的越轨行为作文章，将其赶下台，多亏老省长爱惜人才，推荐其参加跨国合资公司总裁竞聘，才东山再起然而，仕途一旦顺风，官运一发不可收拾由于庾明联合地方政府开展棚户区改造工程受到了中央领导和老百姓的赞誉。在省代会上，他又被推举到了省长的重要岗位。一介平民跃升为省长...
超神妖孽
神界第一高手，有‘贱神’之称的云飞扬被镇压万载，破土重生，痛定思痛，梦想收尽天下各色美女！泡妞，我是认真的。云飞扬道。姑娘，你愿意嫁给我？清纯可爱邻家女刁蛮任性大小姐成熟妩媚女导师冷若冰山大师姐腹黑毒辣女魔头，这些，统统是我云飞扬的女人！妖孽群529642893...
颤栗世界
颤栗世界游戏一开服就出了问题，几十万玩家被困在了游戏之中。残疾人柳乾在进入游戏的时候，合金义肢被误判成了正常手脚，这让他在游戏世界里拥有了合金打造的四肢。一拳能打断一棵树，一脚能踹倒一堵墙。开了这么大的挂，柳乾当然想要好好玩下去，成为这款末日游戏里最强大的存在。玩久了之后，柳乾慢慢发现，颤栗世界似乎并...