顶点小说网

手机浏览器扫描二维码访问

第六百七十七章 停机问题逻辑学(第1页)

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

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

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

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

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

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

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

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

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

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

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

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

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

喜欢数学心请大家收藏:()数学心

请关闭浏览器阅读模式后查看本章节,否则将出现无法翻页或章节内容丢失等现象。

热门小说推荐
最强高手在花都

最强高手在花都

(又名龙王殿最强高手在花都生而为王无敌神婿)地下世界王者Satan,做了总裁家的女婿。...

雁归红楼

雁归红楼

黛玉养成守则第一努力爬上一等丫头。第二努力改变林黛玉。第三远离贾府珍惜生命。第四嫁掉黛玉早点赎身。第五找个老公当家做主。林黛玉雪雁你还站那发什么呆,快帮我找找昨儿我看的那本诗集。雪雁嗳,姑娘,来了!...

某魔法的霍格沃茨

某魔法的霍格沃茨

霍格沃茨是个奇怪的地方。整容失败的魔王求职遭淘汰。套着两层羊毛袜的白发老头,夏天还嫌冷。从不洗头的魔药教授怕秃顶,钥匙管理员爱撸龙!威廉本想平凡度过七年,直到那夜,学院休息室的门把手被偷走(书友群号605848137)...

喜气盈门

喜气盈门

喜气盈门最新章节列小说喜气盈门隽眷叶子著喜气盈门全文阅读关于喜气盈门重生归来,没异能没空间,却有萌猫一只。梦琥珀发誓要不择手段赶走那些胆敢觊觎她幸福生活的各种极品,守护小家,让小家喜事不断,过上幸福的生活。章...

极品透视

极品透视

纵横龙堂出品醒掌天下权,醉卧美人膝,乃是每一个男人的终极目标。一个普通青年,从一个老骗子的手中得一奇异玉佩,令人惊奇的是,借助玉佩,他竟然拥有了透视的能力,且看他如何玩转都市,笑傲人生。书友群,有兴趣的可以加673,986,49...

黑科技直播间

黑科技直播间

科学是种精神更是种手段,是追求真理最直接的方法和最简单的途径,而科技就是科学发展中,逐渐被掌握的,改变世界的力量。可控核聚变,强人工智能,量子信息通讯,虚拟现实技术这每一样,都能轻而易举的掀翻世界。欢迎加入黑科技直播通知群,群聊号码716,096,023...

每日热搜小说推荐