手机浏览器扫描二维码访问
图灵一开始假设,有可能制造出一台图灵机,它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明,这台机器会导致一个矛盾,所以不可能存在。
图灵提到的这个想法,后来被称为停机问题。
今天的软件开发人员将其称为无限循环,这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的,只要把不可以计算的全部排除,剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
最后戴维斯说:“存在一种图灵机,其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决,则有一个程序判断其本身是否会停机并做出相反的行为,这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏:()数学心
新书洪荒传奇教主已发布,求关注!天灾人祸让人族死伤惨重,强敌窥伺让人族岌岌可危。在人族危难时,一个后世灵魂携带可以实现任何愿望的系统降临洪荒,成为一名光荣的人族。鸿蒙紫气!这不算什么,只要有香火点要多少有多少。混沌钟太极图盘古幡也没问题,只要香火点足够,可以一手一个。什么?没有圣人传道。紫霄三讲您看能凑合不!什么?截教人多势众。一万个大罗金仙傀儡够不够用,不够这里还有!罗峰的口号就是只要祈愿系统能解决的问题,那全都不是问题。手握一代超级辅助神器祈愿系统罗峰霸气降临。为了自保,为了保护部落,罗峰借助对洪荒历史走向的了解,借助祈愿系统在洪荒大开金手指。最终建立一个可以抗衡玄门三教的存在,成长为一代传奇教主。我愿做历史的缔造者,而不是历史的见证者罗峰...
宇宙初开,混沌孕万物。自然法则,强者傲群雄。执掌凡尘,独念你芳香。纵横八荒,一剑碎我心。少年再一次踏上强者道路,不为证道,只为复仇!帝界之祖,沧海桑田,缘起缘灭,潮起潮落轮回落凡间。书友群73502897...
原名我不是男宠之断袖董贤已更名。 历史上著名的汉哀帝和董贤的故事。 一个毁誉参半的帝王,至后宫三千佳丽于无形,甚至想要禅位于自己所恋之人。 一个明明淡泊名利,却总是不得所愿,位至三公,富拟帝室,功高震主 权臣与昏君?孰是孰非自有后人论。 宫廷斗争,宠文情深,一本历史与耽美结合的旷世奇爱...
现代江南世家公子江玉楼,穿越成了南朝的乡下小女娃娃江小楼,前世柔情似水的男人,如何演绎一个小小农女的人生呢?我有空间在手,妙手回春的医术,极品亲人,家长里短,找个后爹,却找来了个王爷,王爷还不算,既然又来了个皇子,说好的婚姻自由呢,皇家就可以强取豪夺吗?...
上辈子,卫三小姐守了大半辈子活寡直到她死的时候丈夫心心念念的还是侧室和庶子。重活一世,怎么惩治那负心汉?要在仕途上压倒他,名声上胜过他,权势上超过他。再顺带把他用来糊口的玉雕生意收为已有。可要达成所想,需要找个神一样的帮手。卫三小姐相中了自己那庶出的二哥。简直要才有才,要貌有貌,还兼带心黑手狠,阖家唯恐避之不及。只有重生一次的卫三小姐知道,这人可是棵大树,而且粗的很。她一定要牢牢抱紧。只是她看着手中的烂泥,还有少年衣摆下的泥疙瘩,有点忧心忡忡。三本百万完结文。华嫁更新中无断更记录,新文求收。...
header...