数学必修三最新章节_第六百七十七章停机问题逻辑学第1页_数学必修三快眼看书

第六百七十七章停机问题逻辑学（第1页）

图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。

然后他证明，这台机器会导致一个矛盾，所以不可能存在。

图灵提到的这个想法，后来被称为停机问题。

今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。

戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。

停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。

该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。

最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”

停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。

如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。

所以这是一个不可解的问题。

停机问题本质是一高阶逻辑的不自恰性和不完备性。

类似的命题有理发师悖论、全能悖论等。

喜欢数学心请大家收藏：（）数学心

热门小说推荐

绝代兵王

（群154238870）　他连最低等的武生都不如，却收了五个最高等的武王做小弟！他连一天的兵都没有当过，却拥有整个星球战力最强的部队！转世神帝，四海兄弟！生死之交，青梅知己，纵横江湖，为国为义！...

推荐完结文妃本蛇蝎穿越新房，吓跑新郎，一间荒院，她被弃下堂。坑蒙拐骗偷，银子自然来，下堂妃的日子自在逍遥。可惜好景不长，竟被坏女人上门一巴掌给煽晕了。晕后醒来，有了前世记忆。尼玛，原来这古代是自己前世。满王府的人，全是前世害她惨死之人，此仇不报非娘们！可是这报仇路上钻出来的妖孽是怎么回事，死缠烂打，各种无耻。滚开，别惹老娘！他是一只披着羊皮的狼她是他的猎物，是他成王欲捕的羔羊。却在最后，他抛弃一切与她厮守，不愿把她与别人分享。...

爱已成殇：倾城世子妃

传说，魔域城的尊主与仙灵境的宫主一见钟情，成婚大典上，魔尊许下海誓山盟，一定真心对待宫主。易烊崇锋，你到底有没有爱过我？华璎抱着婴儿，步步后退，泪染衣襟。崇锋步步紧逼，伸手让她把孩子给他华璎，你冷静点。十五年匆匆而过，青鸾国中，魔域城外，两方力量汇聚，只为需找下落不明的魔尊之子，双生姐妹潜伏两地，同一张面孔，却有不一样的人生。我虽与你长的一样，但少主爱的确是我。呵？爱的是你？你不过是我的一个影子，有什么资格说少主爱的是你？为了一个男人，姐妹反目成仇，爱恨难离。一段孽缘，一段往事，一个迷离的身世，改变了他的一生亦改变了她们的一生。...