手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。
然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。
今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
本月排行榜
本周收藏榜
最新更新
- 晋末长剑孤独麦客
- 请叫我推土机牧歌
- 猫猫在无限流签到吃瓜小柠檬茶
- 死神诀青山煮水
- 我的透视超给力番茄炖肉
- 童话：小红帽的狼导师泡沫理想
- 再見?她路人君
- 替身？滚远点失败的人生
- 虎贲郎中更
- 超凡都市（2035）之绿帽武神npwarship
- 新官路商途更俗
- 没钱赛什么车？无限循环
- 巅峰青云路登封造极
- 人在2024，系统1979？会说话的笔筒
- 重生1960：从深山打猎开始逆袭！六月的狼
- 混沌疯魔问源四十九
- 九龙巨屌诀李小鱼
- 年代重生：从拒绝倒插门开始腊肉角豆煲仔饭
- 爸爸我爱你会游泳的猫
- 难驯橘子味的泡面
- 在仙侠世界开妓院电灯泡
- 开局举报系统，我超脱了朱旁逸
- 一切从停职开始道云
- 白骨无极很火
- 疯魔意听风不悔
新书入库
- 登堂入室绿帽侠
- 极品家丁改编版为你哀愁
- 雪怡的故事大大大雕
- 夜昙昼颜sandian
- 缚美系统沙漏的爱
- 醉欲仙林小刀
- 体育部的巨乳女教练月赏眉骚上
- 债务偿还系统起落
- 穿越成魔法少女，但浑身都是弱点黑曜石
- 我的冷艳忍者女仆怎么因为一次意外而认我的好友为主了花环SF-01
- 那些年，我们共同凌辱过的校园女神三天
- 武侠大唐编一挽寒霜妩媚生
- 九龙巨屌诀李小鱼
- 在仙侠世界开妓院电灯泡
- 嚣张的婊子女武神被自己看不起大鸡巴舰长操翻撅烂屁股，全都被调教成百依百顺舔着屁眼的宣誓肉便器了！爱税
