手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
本月排行榜
- 诡异星巫白银黑铁
- 海贼中的最废果实烈焰枪骑兵
- 诡秘：从阅读者开始名火速返
- 大明：我与朱棣争天下明镜要高悬
- 东京电子游戏大亨小鸡啄小米
- 家父汉高祖历史系之狼
- 开局签到送封号斗罗南方乞丐
- 重生后，权臣心尖宠飒翻了沉欢
- 请公子斩妖楚梁裴不了
- 修仙就是这么科学吃瓜子群众
- 奥特格斗传说名剑收天
- 足坛第一狂徒真狼魂
- 诸天大明联盟饿祸
- 我将立于食物链顶端上郡
- 阿拉德的不正经救世主想吃大鱼的猫
- 我能修改人设词条堪梦01
- 神秘复苏之我没有外挂木子映月
- 人在龙族，刚成魔法少女一叶封妖
- 慕容复纵横斗罗慵懒的小妖
- 北渊仙族闲袖手
- 君临法兰西孤山钓雪
- 剑本是魔惰堕
- 这个导演来自西虹市小新吹泡泡
- 从武馆学徒到大乾武圣奔跑的小青菜
- 全职之职业欧皇闪光哈士奇
本周收藏榜
- 开局失业，我让歌坛大魔王回归程砚秋
- 地窟逃生百倍奖励[无限流]尝寒
- 女主拿了反派剧本萨琳娜
- 30条短视频助星球避开天灾睡觉能人
- 高武：开局觉醒武神系统一夜暴富啊啊啊
- 艾泽拉斯黑镰之锋Fei4455
- 魔界妖女她拿下正道之光了（扶她）阿蒙贝尔
- 病态痴迷（校园青梅竹马H）巧克熊
- 我的1949从长白山开始老夫年十八
- 老赵老赵孙潇潇
- 女配有个团购群[七零]茶檀
- 继父（，甜宠h）四重奏
- 香江第一长嫂[八零]浣若君
- 都市极品医神风会笑
- 奶爸学园剑沉黄海
- 霸总雇我对付他命定的小白花女主启夫微安
- 垂涎海中月
- 末世被丧尸圈养（强制 nph）xoxoxo12
- 音符瀑布
- 炙野八宝粥粥
- 秦苒隽爷程隽一路烦花
- 女校孩子帮
- 王者痒刑室许愿的未来
- 欲望娃娃蜜丸
- 清穿之嫡长孙他太难了袂浅
最新更新
- 我退宗后，全师门跪地求原谅凉凉吃芒果
- 系统赋我长生，我熬死了所有人一只榴莲3号
- 卷飞全家后我躺平了Loeva
- 神树快穿，炮灰心愿倒计时星时城光
- 沧澜仙图洛水忆浮生
- 我不是人，我是神，经质假如爱有来生
- 变身倾世长生仙，我以医术救世人一朵郁金香灬
- 阵问长生观虚
- 巅峰青云路登封造极
- 觉醒每日情报面板，肝成万法真仙龙巽天
- 神话之后鹅是老五
- 空间通末世：我囤亿万物资养兵王小桃花
- 花开春来晚吹尽狂沙
- 苟在修仙界，开局就长生乌山云雨
- 一人：拘灵遣将？亢金龙娘！天梯守门员
- 百无禁忌石三
- 梦转乾坤系列之华衣决醉梦江湖1977
- 神佛竟是我自己独孤欢
- 公路求生，开局半条命一条狗重伤的小浣熊
- 嫡长女上家庭综艺后爆红了木屿诗礼
- 鸦在西游，从掠夺词条开始进化难言的夜
- 洪荒：吃出一个混元大罗青菜和鱼
- 志怪书金色茉莉花
- 快穿：剧情被她搅成蛋花汤了越盏
- 西门仙族道心长青
新书入库
- 华尔街传奇乐乐陶陶
- 傲世小村医想聊
- 超级娱乐红包空白协议书
- 完美执教披荆斩棘
- 商界巅峰美丽心点
- 青春禁岛乐乐陶陶
- 我的绝色冰山总裁老婆公主站记
- 超级鳄龟分身想聊
- 大城时代恐龙王
- 升官有道不是就是
- 重生八零幸福生活使劲儿
- 甜蜜试婚:容少,强势宠妻管他三七二十一
- 极品透视狂仙天马行空
- 先婚后爱:腹黑boss迷糊妻交通工具类：沧海一叶舟
- 坏爱情敏儿不觉
