手机浏览器扫描二维码访问
图灵一开始假设,有可能制造出一台图灵机,它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明,这台机器会导致一个矛盾,所以不可能存在。
图灵提到的这个想法,后来被称为停机问题。今天的软件开发人员将其称为无限循环,这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的,只要把不可以计算的全部排除,剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
最后戴维斯说:“存在一种图灵机,其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决,则有一个程序判断其本身是否会停机并做出相反的行为,这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏:()数学心
哦豁!虐文炮灰不干了! 重生在宝可梦,我的后台超硬 至尊战皇 我的徒弟不对劲 宗门全是美强惨,小师妹是真疯批 摊牌了,我爹是绝顶高手! 快穿之炮灰得偿所愿 混迹娱乐圈的日子 农夫是概念神?三叶草了解一下! 玄灵界都知道我柔弱可怜但能打 大明:开局气疯朱元璋,死不登基 暗无 穿到八零,我自带锦鲤系统! 译文欣赏:博伽瓦谭 新人驾到 穿成商户女摆烂,竟然还要逃难! 在下潘凤,字无双 我一枪一剑杀穿大陆 永恒大陆之命运 国运:拥有多重身份的我很合理吧
他是学生是老师是医生更是深藏不露的贴身保镖。QQ群583880154...
生存,很容易。生活,很艰难。我族,要的不是卑下的生存,而是昂首高傲的生活。我族,誓不为奴!...
非凡人生凌轩是这个都市的主角,他身上发生的一切,应该是男人们都渴望得到的。他的经历,就是一个个娇艳美女组合而成的酸甜苦辣爱恨情仇非凡人生绝非一般的人生故事,娇艳人生,不走寻常路。非凡人生延续面包作品的一贯风格,更清新,更自然,更现代!总结只有一句YY,只有YY,男人的YY,最尽情的YY!...
暗黑2召唤系德鲁伊上身,穿越成为漫威世界一个普通的社区学校的校长阿尔文凝视着乔治局长的眼睛,用冰冷的声音说道我要把那些利用我的学生去干坏事的人渣从他们的老巢里挖出来。我要把他们的心掏出来看看,让他们付出终生难忘的代价。我要让他们知道!这里是我的学校!这里是我的地盘!...
2o19云起华语文学征文大赛参赛作品胖喵儿死了,被一根鸡骨头卡死了!重生在了一个生了九个孙儿,盼孙女盼的眼睛都红了的阮家,瞬间成了阮家上下三代的团宠!胖喵儿笑眯眯,觉得这有奶奶宠,爸妈爱,哥哥护的小日子,真叫一个美滋滋哟。当然,如果没有某只躲在角落里,眼睛里放着绿光,死死盯着她的‘大灰狼’,那就更好了!某只‘大灰狼’冷笑一声上辈子没吃到,这辈子总要吃到的!胖喵儿へノ...
一睁眼回到六零年,上一世是孤儿的明暖这一世拥有了父母家人,在成长的过程中,还有一个他,青梅竹马,咋这么腹黑呢!...