手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
上流假象 穿到虫族和军雌相亲 怪物崽崽和他的怪物监护人 君为客 夸夸我的神探祖父穿越爹 第三十年明月夜 末世后我成了疯批alpha们的安抚剂 兽世养山君[种田] 撩惹疯批顶E，笨蛋少爷他逃了 小仓鼠今天有猫了吗 枭鸢 新搬来的邻居 攻略对象变成室友后，他不对劲 神魔剑玄录 杀了那个妖鬼 迷津蝴蝶 我真没想在过去的年代当学霸 还是修仙吧 我在死亡副本当管理员 死神不来了
四合院之幕后boss
随身携带初生小黑洞穿越四合院，因为东哥不想再去打工了，就只能做一个幕后小boss，安静的吃瓜看戏，再时不时给禽兽们指点一下人生的意义…如果您喜欢四合院之幕后boss，别忘记分享给朋友...
武灵第一神尊
上古第一强者陨落后，亿万年后重生，立志要踏临世界巅峰，长寿永生，俯览天下且看少年万峰一路披荆斩棘，勇往直前，闯大千世界，万域空间，战各界天才，灭珍奇异兽，得宝物奇珍一切的一切从小山村开始如果您喜欢武灵第一神尊，别忘记分享给朋友...
宅在随身世界
关于宅在随身世界徐明有个随身世界。别人拿来种田养宠物开公司。每年赚个几十亿几百亿。他却整天躺在随身世界里睡觉上网四处闲逛。别人开豪车买别墅，美女红颜，好不潇洒。他却说有了随身世界，房车都不用买了，谈恋爱太麻烦，还要那么辛苦的赚钱干什么？难道不知道赚钱是个很累的过程？总之这是一个胸无大志的咸鱼宅男，如何宅在随身世界的故事。...
医者无眠
天才有天才的苦恼，疑似超忆症患者吴冕无奈回到老家成为医务科科长。故事，从他回老家的夏天开始。如果您喜欢医者无眠，别忘记分享给朋友...
从始皇陵逃出的长生草
重生成一株长生草。赶上现代都市的灵气复苏。苍生崛起，万灵蜕变。秦长歌拥有无尽寿元，却成了一株小草苗。他要怎么活下去？...
我在综艺里嗑神颜
娱乐圈最近出了档与众不同的故事性综艺，全节目组都是走浮夸风。节目里一水儿的炸子鸡和顶流，中间夹着个完完全全的素人。节目刚播出时观众我去让个素人和炸子鸡们一起当MC，节目组疯了吧节目播出一期后哎这个素人综艺感也还可以啊节目播出五期后到底出不出道？！我要粉她！节目播出一季后完了，我就知道，我的男神保不住了再之后观众听说昨天书粉已经催更那本亲子节目剧本了，男神家公司也准备好了投资，大家不要慌，男神的儿子现在还是大家的2最初慕秋是这样告诉读者们的我近来灵感耗尽犹如油尽灯枯，连着身体也憔悴不堪甚至隐隐有早衰的迹象！所以实在需要一点时间去重新思考一下人生与未来。读者1天！摸摸头，大大要注意身体啊！写文什么的不是最重要的！读者2直说吧，请长假就请长假。慕秋含泪感谢并宣布歇个两个月。然后两个月后，她的读者们在大火的新综艺里看到了她们油尽灯枯就差早衰猝死的作者，正端着碗面在新一期节目里笑得跟个傻逼一样，肺活量好到让人惊叹，哪里早衰了…如果您喜欢我在综艺里嗑神颜，别忘记分享给朋友...