数学心得体会300字最新章节_第六百七十七章停机问题逻辑学第1页_数学心得体会300字快眼看书

第六百七十七章停机问题逻辑学（第1页）

图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。

然后他证明，这台机器会导致一个矛盾，所以不可能存在。

图灵提到的这个想法，后来被称为停机问题。

今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。

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

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

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

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

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

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

所以这是一个不可解的问题。

停机问题本质是一高阶逻辑的不自恰性和不完备性。

类似的命题有理发师悖论、全能悖论等。

喜欢数学心请大家收藏：（）数学心

热门小说推荐

我在夜店屈辱的日子

合租的房客每天带着不同的男人进进出出，晚上隔壁还传来咿咿呀呀的声音，这神秘的一切引起了我探索未知的欲望。在我终于大着胆子偷窥后，却没想到这次的偷窥给我开启了一扇新的大门我下了海，当了人们口中的鸭子。...

都市全能仙帝

更新时间每天下午20点，保底两更齐发。如有加更，同一时间更新。加更的话，一个守护加更一章。普通版登仙境大修士魂穿千古，回到高中时代。这是一个装逼打脸，弥补遗憾，扮猪吃老虎的故事。劲爆版一觉醒来，许飞竟然发现自己的未婚妻，在别人的车里做这种事情...

快穿之女配心愿系统

秦桢看见她的妹妹秦瑶那疯狂的，不顾一切的眼神，她觉得有些累了。因为她的懦弱，逼疯了所有人，她松开了握住方向盘的双手，闭上眼，静静等待死亡的来临。在她的意识彻底消失前，她感觉到有人抱住了她，又哭又笑的呢喃道，姐姐，我们都解脱了，都解脱了解脱了，吗？那么这个是什么？你好，我是女配心愿系统...

邪王宠妻无下限：王妃有毒

前世，她，爸爸为她而死，妈妈因此恨她，带着内疚与煎熬长大，也让她变成一个不会笑心已死的人。一次势力组织火拼，她终于可以还报那一切，原以为的生死解脱却成就了另一个新的开始。异界大陆，两世为人，竟不想还会遇到一个他。威逼色诱，卖萌打滚，软硬兼施，他，使尽千般手段只为能走进她封闭已久的心门。看冷酷残忍的他如何霸道融化她那千年不化的冰雪心。...

原来真的是你呀

都说追星是一次旷日持久的暗恋，都说爱情的保鲜期只有三个月，那么，十年守护一个从来不认识你的人，又是为了哪般呢？感动于不求回报的爱，追寻一下她们的前世今生，一切都是有因有果。...

武逆天下

一个只能停滞在四段武之力的少年，偶然之下吞服了一枚大寂灭往生剑元丹，一切从此改变。挥手遮天，独掌乾坤。我所求者，但得逍遥自在。可弱者皆为蝼蚁，世界从来没有怜悯。那么，就让我以一己之力，登顶巅峰，武逆天下。整个时代，即将暴走！主角注定君临天下，情节追求畅快热血。...

左叶小说网