手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
君为客 我在死亡副本当管理员 第三十年明月夜 怪物崽崽和他的怪物监护人 杀了那个妖鬼 还是修仙吧 小仓鼠今天有猫了吗 攻略对象变成室友后，他不对劲 上流假象 末世后我成了疯批alpha们的安抚剂 夸夸我的神探祖父穿越爹 我真没想在过去的年代当学霸 撩惹疯批顶E，笨蛋少爷他逃了 枭鸢 迷津蝴蝶 神魔剑玄录 死神不来了 兽世养山君[种田] 新搬来的邻居 穿到虫族和军雌相亲
亿万老公晚上见
离婚前夕，她把BOSS，吃了，啃了，骂了！离婚当日，BOSS大人把她晾在民政局门口等了一天！你是在报复那天我把你那个了，所以不肯离婚么？她质问。没错，且技术差，待培养。高冷BOSS鄙夷的口吻道。那培养...
女神的修仙高手
关于女神的修仙高手获得‘仙帝传承’的唐傲回归都市，成了美女总裁的贴身保镖。各种强敌纷踏而至，灭之！各种绝色美女犹如飞蛾扑火般袭来，等等，我不是那么随便的人...
三国：从落凤坡开始
重生为赵云长子赵统。汉建安十七年，二刘决裂。落凤坡前面对着即将陨落的凤雏，赵统该如何救，又该如何兴复汉室？继父命之志，讨篡汉之贼，扬华夏之威。如果您喜欢三国从落凤坡开始，别忘记分享给朋友...
弱渣的逆袭人生
红袖读书首届全球征文大赛参赛作品如果您喜欢弱渣的逆袭人生，别忘记分享给朋友...
炮灰药别停
沈子曦（咬牙切齿）穿越之后才发现男神丈夫是女主的忠犬，为女主生，为女主死，为女主干掉炮灰原配，顺利爬墙尼玛，这个男人竟然敢给老娘戴绿帽，看咱不整死这对狗男狗女！谢逸棠（嘴角抽搐）小曦，别闹，咱们回家吃药野心勃勃的白秀丽重生了，上一世虽然享受众多优质男神给予...
新修真大时代
当地球从千百年的封印之中解放出来，修炼重新成为了生活的主题这是一个陆羽在不经意之间成为了世界的主角的故事！如果您喜欢新修真大时代，别忘记分享给朋友...