手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
本月排行榜
- 掌灯判官沙拉古斯
- 从武馆学徒到大乾武圣奔跑的小青菜
- 一万个我纵横诸天正经沧月
- 开局被时空神殿绑架了万里丁
- 这个导演来自西虹市小新吹泡泡
- 我的手机能挖矿卖艺小青年
- 阿拉德的不正经救世主想吃大鱼的猫
- 北渊仙族闲袖手
- 奥特格斗传说名剑收天
- 相声贵公子胖子爱吃炖豆角
- 穿梭致富从1985开始大嘴虾
- 重生之游戏开拓者枫火竹溪
- 我能修改人设词条堪梦01
- 从超神学院开始的氪星人天道经
- 我将立于食物链顶端上郡
- 开局一个明末位面桃符
- 从锁龙井开始无限模拟阿牛要吃菜
- 诡异星巫白银黑铁
- 死神之千年血战王刃西索
- 青莲之巅肖十一莫
- 全职法师之冰天雪帝雪下冥月
- 大唐第一逆子存不易
- 诡秘：从阅读者开始名火速返
- 我真的不想当学霸疯子C
- 斗罗之我编造了未来视频符何君
本周收藏榜
- 偷上爸爸干饭包子
- 用粗硕马屌把黑丝巨乳的魅魔妈妈肏成我胯下性奴（去黑修改版）橘子爱吃橙子
- 校园宠物玩家：捕捉爆乳黑丝熟女老师和白丝校花小人国国王
- 我的妈妈林梦jiuduan19910305
- 超级淫乱系统akmaya007
- 顶A校草的阴郁beta室友枕中眠
- 刘诗诗王泽杰笔趣阁全集阅读王泽杰
- 催眠神瞳世间
- 影视剧Ｈ改编——《小欢喜》jukeschinese
- 泡芙天天界
- 极品家丁之远方来客slow00
- 性感的美艳妈妈柏毅
- 病态痴迷（校园青梅竹马H）巧克熊
- 神女逍遥录Kom-凡
- 偷香高手（夫人们的香裙）（精校加料版）六如和尚
- 女神攻略调教手册明日落花
- 从西风骑士团开始的后宫调教之旅冷冷
- 冷艳高贵的冰山美母，居然要参加淫乱家长会小鹿斑比
- 被催眠支配的淫趴铁道葉茗
- 火影忍者催眠系统，被迫开启收性奴之路魔幻是戒
- 仙子破道曲漆黑烈焰使
- 欲望娃娃蜜丸
- 豪乳老师刘艳tttjjj_200
- 终极羞辱的隐奸绿帽全家桶NTRMP9494
- 极品家丁玉德仙坊新篇sofia
最新更新
- 朝梦的世界为了爱与正义
- 被健身房教练秘密调教后百无禁忌
- HP镜片下的伪装风雅颂
- 自来也与美少女战士的亲热暴力佚名
- 豪门风流录风迹
- 王者荣耀之刘邦峡谷淫众女佚名
- 被肏坏的巨乳少女石更大魔王
- 一个太监闯后宫死磕
- 天地不容(负心人之二)桃桃逃
- 我爱酷斯拉吻火
- 召唤师一米八
- 重生之生如夏花(完结)上访不如上网
- 被隔壁的妓女妈妈卡芙卡调教的巨根小正太佚名
- 隐奸罗德岛（NTL改）佚名
- 高雅美人的低贱性交viviaz719
- 高官风流旅游巴士
- 娇妻全家桶佚名
- 韩娱之灿翱翔1981
- (斗罗大陆同人)[斗罗]烨火击水三千
- 为谁心动不是就是
- 太子的会长情人美丽心点
- 乡村小医师保时捷
- 春光无限好雨帆
- 太阳传奇两块
- 睿(acome肉文全集)铲除不公
新书入库
- 大唐：开局为李二献上避坑指南沉默的脑袋
- 刚下山，就被五位师姐宠上天面瘫的苏小离
- 雷奥尼克斯：开局获得海帕杰顿遗愿传承
- 凌霄花上西子情
- 美利坚：游戏制作教父哈娜欧菲手
- 从摆摊开始！小厨娘靠美食惊艳全京城芭嘞个豆
- 我为大唐第一仙笔趣阁无弹窗言归正传
- 命格大器晚成？可我是天才啊！上班为了辞职
- 忠犬by白尘笔趣阁无弹窗白尘
- 暗许by不灵塔笔趣阁无弹窗不灵塔
- 温凉by白尘笔趣阁无弹窗白尘
- 狱警手记佚名
- 灵界警察5佚名
- 惊悚盲盒心情轻扬
- 全家宠堂姐？年代小炮灰她不忍了眼泪很咸
