手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
新搬来的邻居 攻略对象变成室友后，他不对劲 怪物崽崽和他的怪物监护人 夸夸我的神探祖父穿越爹 我真没想在过去的年代当学霸 君为客 兽世养山君[种田] 小仓鼠今天有猫了吗 杀了那个妖鬼 撩惹疯批顶E，笨蛋少爷他逃了 第三十年明月夜 神魔剑玄录 迷津蝴蝶 死神不来了 还是修仙吧 枭鸢 末世后我成了疯批alpha们的安抚剂 穿到虫族和军雌相亲 上流假象 我在死亡副本当管理员
契约冷妻不好惹
三年契约，还有一年就要到期了，但是，这时候说好了井水不犯河水的契约丈夫厉景衍却是过来步步紧逼。诗夏无奈，不是说好两不相欠吗？那为什么还要逼着自己生孩子？刚刚回国的小叔叔竟然把她当作是梦中情人，这下子厉景衍可是不高兴了，诗夏你只能是他的嫂子！...
高冷大叔甜宠妻
关于高冷大叔甜宠妻这位首长，我们很熟吗？作为一个不起眼的职场小菜鸟，什么时候惹上了这位肩扛一穗一星的军长的？夏语默表示很懵。不熟，只是生过孩子。...
网游之斩皇创世纪
关于网游之斩皇创世纪手拿斩皇之刃！征服整个东亚区！带天下第一之名！回国一战天下群雄！吾名斩皇！谁能接我一刀！...
隔壁女神是男生
女装大佬vs小写手隔壁来了个女神邻居，林柚看到后表示我邻居不可能这么好看！可越接触，她越觉得隔壁这个女神很优秀。颜值在线，唱歌好听，会做各种美食，优秀到她想变成个男人娶了她。直到有一天，女神邻居盯着她笑得像个狐狸你别这样笑，小心我以为你喜欢女人！我的确是喜欢女人，因为女神的御姐音顿了顿，转换成了磁性的青年音，我是个男人啊。所以，要考虑下我吗？不要，我怕你的百万粉丝吃了我！甜宠1v1，日常轻松文，欢迎入坑，希望大家多多支持，求推荐收藏评论如果您喜欢隔壁女神是男生，别忘记分享给朋友...
田园娇医：山里汉子，不经撩
重生回去的第一天，叶卿就把十里八村长得最好看的那个汉子给扑倒了。两人来了个嘴对嘴的亲密接触，叶卿好方。她才是那个身娇体软易推倒的，好不好！那个最好看的汉子卿卿，我不是个随便的人，村夫也是有贞洁的，你要负责！叶卿看着汉子那完美的身材，好看的脸蛋，豁出去了本姑娘也不是个随便的人，但随便起来不是人，给我熄灯ps推荐作者名下另外两本种田文农家悍女抢个将军来种田空间悍女种田吧，王爷！如果您喜欢田园娇医山里汉子，不经撩，别忘记分享给朋友...
从野怪开始进化升级
关于从野怪开始进化升级量子转移网游九重天域第一重天域震撼开启，上线一天便迅速火爆全球。陆晨意外失去人物角色，开始从一级豺狼人进化升级？击杀更多物种，获得新天赋！获得天赋碎片，提升天赋等级！前缀品质提升，普通的，强壮的，特别强壮的基础属性一路狂飙！玩家A那野怪的前缀有两百多米那么长？！玩家B那野怪灭了我们八家公会！简直不是人？！玩家C尼玛，那家伙又来屠城了，还让人活吗？！陆晨全球的小朋友们，你们是不是有很...