手机浏览器扫描二维码访问
第六百七十七章 停机问题（逻辑学）（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：()数学心
命换欲
命换欲情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的都市言情小说，命换欲-减不下去的才是真肥-小说旗免费提供命换欲最新清爽干净的文字章节在线阅读和TXT下载。...
谋士骗术
故事情节，有真有假，拾遗作故事。笑看古人的智慧，体会人性如何变化。以古鉴今，知白守黑。人性设计做局，符合正常人逻辑思维。设局欺骗与破局，谋士双方以计策对决，策略互碰撞，看谁技高一筹。冷兵器较量，看谁的战阵，战法更厉害。以真实古人智慧改编而成。......
闪婚男神通灵妻
《闪婚男神通灵妻》闪婚男神通灵妻小说全文番外_华仪芯许宏昊闪婚男神通灵妻, 《闪婚男神通灵妻》作者：枫飘雪文案他、身份神秘势力遍布世界各地横跨黑白两道，喜怒无常手段狠辣，却被娇小的她直接壁咚霸道宣布：“你、归我了！”桀骜不驯的他竟温柔浅笑，如三月春风应下一声：“好。”世人敬仰的她，却不想转世的自己竟然成了一个小可怜。...
腹黑嚣张小神女
腹黑嚣张小神女情节跌宕起伏、扣人心弦，是一本情节与文笔俱佳的其他类型小说，腹黑嚣张小神女-喵里喵气的大脸猫-小说旗免费提供腹黑嚣张小神女最新清爽干净的文字章节在线阅读和TXT下载。...
长安朝云
长安朝云作者：水合简介：“哑巴王”李怡，想要的一直都是皇位。纵横捭阖如弈局的长安，任何人都可以是他的弃子，唯独女刺客晁灵云例外。沉默之下，千万句情话酝酿出的醇酒，他只斟酌出一杯：“灵云，这片山河，你可愿与我共枕？”标签：大唐，权谋，扮猪吃虎，腹黑，王爷第一卷第001章春宴邂逅太和六年春，曲江波光粼粼，岸上柳色如烟，软媚的春风吹艳了长安的紫...
烟雨楼
『传统玄幻』『非后宫』世间有一楼，名为烟雨楼，烟雨楼主李庆之，有着绝代天骄之称，黑夜之中执掌生死，然而，世人所不知的是，烟雨楼背后还有一人，方才是烟雨楼真正的创始人，以纨绔子弟的身份为掩饰，拨弄风云，算计天下！......