手机浏览器扫描二维码访问
第五百九十章 停机问题（逻辑学）（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：()数学心
枭爷的娇气小少爷
签约名字不能改了。又名双洁双强攻超级宠受攻的占有欲很强在确定关系后受的占有欲也有点强娇气小少爷受纪矞VS腹黑大佬攻沈司熠纪矞穿书了，穿成了纪家好不容易找回来的五少爷，为了不跟书中结局一样，他决定抱个比主角还厉害的大腿，然后狠狠的欺负回去，只是，这半路跑出来的系统怎么让他感化反派？但是…这个人很符合他要找的大腿！就勉......
穷屌丝翻天记
穷屌丝翻天记情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的都市言情小说，穷屌丝翻天记-铸器后人-小说旗免费提供穷屌丝翻天记最新清爽干净的文字章节在线阅读和TXT下载。...
凤归稻花村
前世总总如过往云烟，她本是带着仇恨归来，冷心冷情，却一次次被爱她之人，所爱之人暖了心，重获新生的她，找回妹妹，重拾爱情。...
雾锁山城
故事发生在抗日战争胜利后，国共内战即将爆发的重庆。重庆作为当时的陪都，各方势力错综复杂，军统等特务机构活动频繁，而川军内部也存在着不同的派系和立场。主角林方俊是一名有着坚定信仰的中共地下党员，他在重庆的谍战舞台上与敌人展开了一场惊心动魄的较量。嫣红则是一名身世复杂、在军统和中共之间徘徊的女子，她的选择将影响整个故事......
牛牛的传奇
简单的人简单的事情简单分享希望大家喜欢多多支持谢谢大家了呜呜呜呜呜呜第一次写小说。。......
玄幻之灵耀传奇
新作品出炉，欢迎大家前往番茄小说阅读我的作品，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！......