手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
君为客 兽世养山君[种田] 撩惹疯批顶E，笨蛋少爷他逃了 攻略对象变成室友后，他不对劲 杀了那个妖鬼 穿到虫族和军雌相亲 死神不来了 怪物崽崽和他的怪物监护人 我真没想在过去的年代当学霸 末世后我成了疯批alpha们的安抚剂 夸夸我的神探祖父穿越爹 神魔剑玄录 我在死亡副本当管理员 第三十年明月夜 小仓鼠今天有猫了吗 上流假象 还是修仙吧 新搬来的邻居 迷津蝴蝶 枭鸢
盛世商妻多媚娇
关于盛世商妻多媚娇她貌美非常，擅长经营商务，之前被迟勋欺骗，经历一场生死后性格大变，坚毅非常，一心只想报仇，然后好好活下去。成为了太子手中赚钱的工具，帮助太子登上皇位，被太子所青睐，后成为大昀...
武道三国之关山戎马
江山代有人才出，各领分骚数百年。天下英雄谁敌手，曹刘，生子当如孙仲谋！这是三国，又不是三国，似是而非的历史，同样波澜壮阔！风云再起，王朝争霸，儒道争锋，犹有武夫逞风流！如果您喜欢武道三国之关山戎马，别忘记分享给朋友...
我和女神的荒岛生涯
飞机失事，当杜远醒来时，已在荒岛与女神开启了求生之旅带你揭秘人性最真实的一面。...
我的野蛮女老师
自从村子里出了个杨小宝，乡村生活开始丰富了起来。比如帮马寡妇家里打打旱井。帮美女丽丽赶跑追求她的流氓。帮隔壁雪梅婶婶治愈多年不育的顽疾。帮村里修通了通往镇上的大路。乡亲们，姐妹们，我杨小宝来了！...
明末称雄
关于明末称雄公元一六三九，大明崇祯十二年。待我重整山河，再建汉家帝国。...
庶女嫡宫
寄人篱下的日子在他的手心中，开出了一朵花，灼灼其华，我是你的眉间心上。长街上华灯初上，人群熙熙攘攘，青石板上凹凸不平的水洼里，雨珠落下溅起水花，春雨还在淅淅沥沥的下着。林府门口白灯摇晃，命运的齿轮转动着。谢你衣襟带花，敛我半世风霜。林玉安嘴角带笑，凤冠霞帔，一步步走向他如果您喜欢庶女嫡宫，别忘记分享给朋友...