手机浏览器扫描二维码访问
图灵一开始假设,有可能制造出一台图灵机,它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明,这台机器会导致一个矛盾,所以不可能存在。
图灵提到的这个想法,后来被称为停机问题。今天的软件开发人员将其称为无限循环,这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的,只要把不可以计算的全部排除,剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。
最后戴维斯说:“存在一种图灵机,其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决,则有一个程序判断其本身是否会停机并做出相反的行为,这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏:()数学心
暗无 穿到八零,我自带锦鲤系统! 国运:拥有多重身份的我很合理吧 宗门全是美强惨,小师妹是真疯批 快穿之炮灰得偿所愿 哦豁!虐文炮灰不干了! 永恒大陆之命运 新人驾到 玄灵界都知道我柔弱可怜但能打 重生在宝可梦,我的后台超硬 混迹娱乐圈的日子 译文欣赏:博伽瓦谭 在下潘凤,字无双 我一枪一剑杀穿大陆 农夫是概念神?三叶草了解一下! 摊牌了,我爹是绝顶高手! 穿成商户女摆烂,竟然还要逃难! 我的徒弟不对劲 至尊战皇 大明:开局气疯朱元璋,死不登基
一个被部队开除军籍的特种兵回到了都市,看他如何在充满诱惑的都市里翻云覆雨...
吃货林思念重生到了八零年,面对这桩谋算来的婚姻,男人的冷漠,她却像打了鸡血似的,誓要把男主拿下。男人的冷漠与误会让她终于有了离开的想法,可军婚不好离,她不信邪的为离婚奋斗着。可这冷漠的男人从什么时候起,紧紧的追着她的脚步,还恬不知耻的要和她生儿子。呸,谁要和你生儿子?你有儿子了好不好,要生也是生一个像她一样漂亮可爱...
现代第一特工穿越倚天神雕天龙,坐拥花丛的传奇故事!宁可错杀三千也不放过一个!‘穿越’,你绝对没听错。倚天神雕,美女无数,一个个冰清玉洁的清纯玉女,如何‘穿越’,还等什么?赶快点击吧!...
1984年,他创建了思科。1985年,他创建了亚马逊和网景。1988年,他创建了雅虎。1989年,他创建了990年,他创建了即时聊天软件994年,他创建了995年,他创建了000年,好莱坞臣服!2000年,苹果跪了。在未来,他被称之为互联网之父在未来,所有人都叫他硅谷大帝在未来,他的财富超过比尔盖茨100倍。他...
穷小子楚帅,先赚了一个极品级二奶,却原来是间谍精英,然后,一个大陆女警官凌小杰好有暗恋他,可是,穷小子还有一个比鸟齐飞的原配初恋,还有一个女朋友的死党小魔女蓝菲,还有几乎是后宫佳丽如云,不过,一个个美眉都有好神秘的身份,你中有我,我中有你...
小医生蒋飞,正因为诊所生意太差而考虑关门大吉时,却意外被游戏人物附身,从此变得无所不能。不仅医术出神入化,生死人肉白骨,从阎王爷手中抢命就连厨艺琴艺园艺宠物驯养都全部精通!当别人以为这就是蒋飞全部本事时,蒋飞却笑眯眯地将目光看向了那一本本武学秘籍降龙十八掌六脉神剑北冥神功独孤九剑...