手机浏览器扫描二维码访问
第五百九十章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
我的员工全是言情女主 [综英美] 维持人设好难 君为依[重生] 群友全穿越！就我在地球 [足球同人] 带刀侍卫 无纠+番外 萝莉：变成吸血姬后被魔女捡到了 [少年漫同人] 和新一同居之后 对照组贴脸开大[快穿] 玄灵界都知道我柔弱可怜但能打 1635改变世界 啊，张嘴！天道又追着福宝喂饭了 夏夜撕咬 丘比特今夜失明 穿进炮灰文，太上皇竟能读我心！ 花魁夫郎[女尊] [综漫] 除了荒神，所有人都重生了 我是九世单传的天才幸运糖宝 如果男主太晚才出现 [综漫] 白濑捅刀失败以后
妻乐无穷，总裁霸婚不离
妻乐无穷，总裁霸婚不离由作者素色雨创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供妻乐无穷，总裁霸婚不离全文无弹窗的纯文字在线阅读。...
嫡女毒谋
嫡女毒谋由作者弱水西西创作全本作品该小说情节跌宕起伏扣人心弦是一本难得的情节与文笔俱佳的好书919言情小说免费提供嫡女毒谋全文无弹窗的纯文字在线阅读。...
掌玺皇妃
林妙语妹妹要害我，后母要害我，世人都厌弃我脸上的胎记，唯有双目失明的靖王爱我宠我。林妙语靖王，你不嫌弃臣妾长的丑吗？靖王不嫌弃，因为我瞎呀！林妙语你的眼睛治好了，为何还要装瞎？靖王这样我就能把你一直留在我身边了。爆笑穿越宠文，火前收藏，多投推荐票！...
重生女尊世界之全能医药师
现代悲剧女带着随身空间，重生到女尊世界成为全能医药师，坐享富贵名利与美男的故事。...
小李飞刀之明月天涯
一个名字，便是一个传奇。一柄飞刀，便是一个传说。他，是小李探花。这，是一个关于他的故事。...
放牧美利坚
回到家里蓄养奶山羊的落魄大学生无意中得到了一串手链，从此他拥有了一个神奇的私人空间，这里头有两口泉，一口叫生命之泉，任何动物喝了之后不仅包治百病，而且能够成长的更好，一口叫魔法之泉，任何动物喝了之后都会在某方面得到极大的提升，比如奶山羊的奶质量更好，而且产量更大，比如牛的肉质更加鲜美，营养更加出众。于是他去地广人稀的美利坚买了块地，开始了自己畜牧大王的生涯，没有多么崇高伟大的理想，他只想舒心惬意的过自己的日子，悠闲自在，无忧无虑。...