精校书屋

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

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

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

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

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

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

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

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

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

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

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

至尊战皇  哦豁!虐文炮灰不干了!  新人驾到  玄灵界都知道我柔弱可怜但能打  我一枪一剑杀穿大陆  穿到八零,我自带锦鲤系统!  国运:拥有多重身份的我很合理吧  宗门全是美强惨,小师妹是真疯批  暗无  在下潘凤,字无双  农夫是概念神?三叶草了解一下!  摊牌了,我爹是绝顶高手!  大明:开局气疯朱元璋,死不登基  混迹娱乐圈的日子  永恒大陆之命运  重生在宝可梦,我的后台超硬  译文欣赏:博伽瓦谭  穿成商户女摆烂,竟然还要逃难!  快穿之炮灰得偿所愿  我的徒弟不对劲  

热门小说推荐
慕少,你老婆又重生了

慕少,你老婆又重生了

她死不瞑目,在江边守了三天三夜,来收尸的却不是她丈夫看着男人轻吻自己肿胀腐烂的尸体,她心中撼动不已,暗下许诺如果能重生,一定嫁给他!后来,她真的重生了,却成了他妹妹(⊙o⊙)慕容承说你再敢死给我看,我不介意变个态,和尸体洞房。她欲哭无泪,我滴哥!你早就变态了好么?!轻松搞笑,重口甜爽,可放心阅读...

仙门弃少

仙门弃少

被家族抛弃,被仇敌废掉的少年商浩,在走投无路时,救了两个人,然后,他发现自己有了异能故事从帮助一个村子脱贫致富展开。各位书友要是觉得仙门弃少还不错的话请不要忘记向您QQ群和微博里的朋友推荐给力文学网哦!...

种田山里汉:神医美娇娘

种田山里汉:神医美娇娘

已完结,新书求支持!小神医魂穿女尊王朝,原主臭名昭著,残暴不仁,身后留下一堆烂摊子。家徒四壁,茅屋漏雨,粮缸又已见了底。面对美貌的夫君,又瞅瞅丑不拉叽的自己,她狂奔在一条通往钢牙小白兔的康庄大道上!敢觊觎她夫君?揍,没有拳头解决不了的事情!如果有,那就接着揍!穷?医术,香粉,布艺,美食,酒庄,生意做起来,铺子开...

我家娘子是女皇

我家娘子是女皇

作为醉月楼唯一一个男人,杨辰觉得压力很大。通过我洗的衣服来判断,李姐姐胖了两斤,王姐姐瘦了点,还有,能不能别让马姐姐穿那么性感的衣服,我洗衣服压力很大的。杨辰需要每天像老鸨这样汇报着工作。除此之外,他还要严守自己的贞操。杨辰,今天晚上来侍寝!让姐姐亲一个!记住,别躲,今晚,你是我的。...

八零小军妻

八零小军妻

养父母待她如珠如宝,她却心心念念的想要回到抛弃她待她如糠如草的亲生父母身边儿,犯蠢的后果就是养母死不瞑目,养父断绝来往,她,最终惨死车轮下重来一次,她要待养父母如珠如宝,待亲生父母如糠如草!至于抢她一切的那个亲姐姐,呵,你以为还有机会吗?哎哎哎,那个兵哥哥,我已经定亲了,你咋能硬抢?!哎哎哎...

最狂门徒

最狂门徒

格斗,医术,算命,鉴宝,泡妞无一不精。嚣张,霸气,睿智,重情,重义集于一身。水有源,树有根!他就是世界最强者的唯一门徒!从此,最狂门徒诞生!慕容2015都市新作,请大家多多支持!慕容官方交流群慕容世家167168067另,慕容完本作品特种高手纵横都市还请大家多多支持!...

每日热搜小说推荐