数学心

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

言情小说吧【m.yqxsb.com】第一时间更新《数学心》最新章节。

图灵一开始假设,有可能制造出一台图灵机,它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明,这台机器会导致一个矛盾,所以不可能存在。

图灵提到的这个想法,后来被称为停机问题。今天的软件开发人员将其称为无限循环,这是他们在编写循环或递归函数时遇到的一个问题。

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

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

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

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

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

停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。

人气小说推荐More+

想吃你的糖成为你的小跟班
想吃你的糖成为你的小跟班
天真烂漫的儿童,会因为一根棒棒糖,一次小手牵小手而认定一个人吗?多年的牵绊,从童年到青春,还想和你到白头!你说想等到自己有足够的能力再站在我身前,可我却不知这一路坎坷颠簸,我是否还能等到你。
CYLY
逆天重生之王妃太嚣张
逆天重生之王妃太嚣张
关于逆天重生之王妃太嚣张:她,身怀异能,无人能敌;她,天漓凤家的嫡女,花瓶一个,天生的废材之体。当她变成她,又会谱写出怎样的命运呢?他,神秘莫测,实力高深莫测,让她第一眼看到便想逃离,但逃得了吗?从他注意到她的那一刻开始就已经注定了,他生,她便生;若他死,就算是下地狱她也要陪着,他也一样。一个逃,一个追,且看是谁先沦陷,不能自拔;强强联手,且看他们如何登上这世界的巅峰!
若竹尘
创建救世组织,全网直播收容
创建救世组织,全网直播收容
关于创建救世组织,全网直播收容:++++一觉醒来,方修穿越到危机四伏的异常世界。在这里,天空被不可名状的虚影盘踞,梦境有蜘蛛在山脉下结网,地底新人类诞生,日之子与夜之子再度调换,各种诡异中,还有大闹钟在宇宙之外缓缓走来……就连他自己,也被怪物缠上,失去了自己的影子。幸好他绑定了救世系统,开局组建基金会,只要不断发展壮大,将异常现象处理收容,他就能获得各种各样的宝物,能力。甚至能从神话传说中打捞力
突突突寄队
嫁我
嫁我
来阅文旗下网站阅读我的更多作品吧!
骆小姎
红婿
红婿
关于红婿:张帅的王者之路,从弱到强的巨大转变,故事情节中有王者的霸气,还有人道的主义,正义的联盟,兄弟的情谊,不服输的精神,对爱人的专一。
残剧