手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
本月排行榜
本周收藏榜
- 孟大小姐惘若
- 30条短视频助星球避开天灾睡觉能人
- 学霸又把校霸给揍了画影无痕
- 少年王王巍抚琴的人
- 高武：开局觉醒武神系统一夜暴富啊啊啊
- 病态痴迷（校园青梅竹马H）巧克熊
- 女校孩子帮
- 开局回到末世前一天你看我有机会吗
- 宠头到尾（青梅竹马h）石矶娘娘
- 霸总雇我对付他命定的小白花女主启夫微安
- 美人妈相亲后带我躺赢[七零]似伊
- 嫡谋面北眉南
- 江牧野大佬萌妹
- 一切从泰坦尼克号开始东北喵
- 傲娇女神爱上我叫我红烧肉
- 从武侠世界开始种道古今兮
- 春前雪菜紫
- 非暴力不合作蓝扬蓝飏
- 抗日之铁血远征军骠骑
- 龙魂特种兵东方小少
- 娱乐春秋姬叉
- 绝色老板娘王浩王浩
- 女将张佳音
- 老赵老赵孙潇潇
- 隐居在娱乐圈猫吃兔子
最新更新
- 仙子，你自己上来吧！一个正经的小作者
- 长生百万年，我被认证为大帝墨水白的
- 影帝的多种使用方式美咖加冰
- 我的末日列车中世纪的兔子
- 模拟历史，但开局崇祯是神皇琳贾
- 分手后，一首体面全网痛哭！鸽子驾到
- 仙子还我飞剑秘典神
- 综影视：玉女媚骨萧萧是我
- 长生：从种田刷新词条开始白发谈笑生
- 腹黑嚣张小神女喵里喵气的大脸猫
- 游戏制作：一声协议三，全网泪崩玫瑰你要吗
- 惊鸿一夕烟雨
- 风流神医：别闹，姐姐休乱我道心钦天
- 夺宋：水浒也称王万人丛中一回首
- 上玉阙长安九千里
- 开局白丝校花，榜一大哥请让让半世逍遥
- 四合院：最强版本何雨柱沛溟
- 我靠切切切当上太医令神婆阿甘
- 两界倒卖，我成了宇宙首富番茄第一帅哥
- 九幽剑主剑言
- 普罗之主沙拉古斯
- 诡界求仙：我有一棵神通树湘水无波
- 官场从秘书开始老冰棍
- 灵异秘语之悬疑系列殿主刘海
- 瑶村情逾鸿沟
新书入库
- 御厨大人她有新派料理[美食]好的小蛋糕
- 七十年代创业忙不吃香菇
- 四时不及你笑安然
- 婚后撩吻苏筱喵喵
- 我与小娇狐金缠玉
- 满级玩家重开后[无限]悲剧的蛋生
- 我真的是国服第一[全息]不可燃物
- 燃尽春夜陈舟渡我
- 第二次悸动柠左
- 举家穿越到五零不见临安
- 心有南墙折支花
- 金字塔没有羊毛
- 穿成反派的炮灰假妹妹后[穿书]山竹好吃
- 瑞雪临章小笼
- 花田喜事Econgee
