手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
本月排行榜
本周收藏榜
- 射雕淫雄传夜渐沉沦
- 谨言来自远方
- 无限穿越之后宫翠微居
- 豪乳老师刘艳tttjjj_200
- 偷香高手（夫人们的香裙）（精校加料版）六如和尚
- 高武：开局觉醒武神系统一夜暴富啊啊啊
- 刘诗诗王泽杰笔趣阁全集阅读王泽杰
- 仙子破道曲漆黑烈焰使
- 夫妻交换日记好色君子
- 清冷端庄的人妻美母和高傲圣洁的仙子师尊成眼里只有肉棒的淫乱痴女悠米
- 龙族堕落调教sxsy.org
- 凌霄仙母录这波·是啥
- 女神攻略调教手册明日落花
- 少年王王巍抚琴的人
- 四合院之闫家老大星际旅客
- 用洗脑APP将高冷校花一步步调教OVO
- 冷艳高贵的冰山美母，居然要参加淫乱家长会小鹿斑比
- 性感的美艳妈妈柏毅
- 我的妈妈林梦jiuduan19910305
- 用粗硕马屌把黑丝巨乳的魅魔妈妈肏成我胯下性奴（去黑修改版）橘子爱吃橙子
- 我和我的大奶子妈妈乱伦交配的淫荡日常YUZU
- 影视剧Ｈ改编——《小欢喜》jukeschinese
- 神女逍遥录Kom-凡
- 极品家丁之远方来客slow00
- 美艳少妇叶凡
最新更新
- 属于我的常识世界江残
- 摇滚女友无渊
- 20岁，是高中生砕
- 种魔得仙高慕遥
- 噬神塔残阳纪
- 伟大的妻子dirrock
- 我截教首徒，靠师弟师妹无敌凝可儿
- Honey疯狂幻想的H世界宫秋凛
- 徐俊逸丁瑶龙凤造化决简单的鱼
- 快穿：主角身边被剧情杀的炮灰柔只
- 明“日”方舟佚名
- 小骗子(校园h)忘不了
- 绝色村香陈平安柳如烟小说逃荒的猪
- 催眠美母怀孕吞精精液进化丝袜足佚名
- 游戏王之隷属佚名
- 性奴校花余温yuhong0206 续写：axjlsf
- 欲望中堕落的校花wxwhjdn
- 暗世界·校园篇y8229477
- 刚下山，就被五位师姐宠上天面瘫的苏小离
- 狂烈by白尘笔趣阁无弹窗白尘
- 陈平安柳如烟逃荒的猪
- 李哲的摄影情事流沙包
- 清冷少妇武者惨遭凌辱后恶堕佚名
- 假戏真做佚名
- 渣男宇哥的寻爱之旅沉迷的日常
新书入库
- 嫁姐by鸣銮笔趣阁无弹窗鸣銮
- 沙盒游戏by鸣銮笔趣阁无弹窗鸣銮
- 校服绅士by曲小蛐笔趣阁无弹窗曲小蛐
- 晨昏不寐by潮封笔趣阁无弹窗潮封
- 什锦糖by鸣銮笔趣阁无弹窗鸣銮
- 扶桑by鸣銮笔趣阁无弹窗鸣銮
- 善鸢鹿鸣by蜗牛笔趣阁无弹窗蜗牛
- 徐俊逸丁瑶绝色天医简单的鱼
- 开局签到武圣巅峰，我镇压天下不关橙猫猫得事哦
- 谍战风云：从被女特务捡回家开始骑猪闯世间
- 陈平安柳如烟逃荒的猪
- 为虎作伥by潮封笔趣阁无弹窗潮封
- 明汐梁见铖笔趣阁无弹窗随侯珠
- 徐俊逸丁瑶龙凤造化决简单的鱼
- 陈平安杨玉娇绝世小神医逃荒的猪
