手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
群友全穿越！就我在地球 我的员工全是言情女主 花魁夫郎[女尊] 1635改变世界 [综漫] 白濑捅刀失败以后 [少年漫同人] 和新一同居之后 夏夜撕咬 穿进炮灰文，太上皇竟能读我心！ 如果男主太晚才出现 [综英美] 维持人设好难 萝莉：变成吸血姬后被魔女捡到了 对照组贴脸开大[快穿] 丘比特今夜失明 我是九世单传的天才幸运糖宝 [足球同人] 带刀侍卫 无纠+番外 君为依[重生] [综漫] 除了荒神，所有人都重生了 啊，张嘴！天道又追着福宝喂饭了 玄灵界都知道我柔弱可怜但能打
至尊强婿周天目录
十年前，他被迫逃出豪门世家，从此颠沛流离，惶惶如蝼蚁，人尽可欺。直到那一天，他拨通了那个熟悉又陌生的号码。你若执我之手，我必许你万丈荣光...
穿越之思源
穿越到另一个世界，开始另一段人生，终究是，柴米油盐酱醋茶。主角万事如意，因为作者不愿看见生活中那些艰难困苦，遇到不合逻辑违反常理的事情，希望大家一笑置之。...
重生之我有三倍返现系统
浑浑噩噩的25年被一场车祸结束，返现系统给予余情再次重生的机会。再次回到2019年，彼时大二的余情，靠着系统给的1000块起始资金不断努力花钱！在花钱的路上让父母过上好生活，带领朋友享受买买买的快乐！重活一世，时间匆匆。此时拥有几个亿的余情发现KPL有俱乐部转让席位！当然是买下来！不知道你们认不认识易瞳？天下...
圣墟最新章节列表
在破败中崛起，在寂灭中复苏。 沧海成尘，雷电枯竭，那一缕幽雾又一次临近大地，世间的枷锁被打开了，一个全新的世界就此揭开神秘的一角...
昏主
苏侠一个被称作策略游戏之神的宅男，因救人而被撞死在马路边。被异界女神盖亚所选中，重生成为边陲小领地的新晋领主亚瑟，开启了抵制教会，反击魔王的作死生涯。当新生的亚瑟对战龙之少女阿托，谁才是曙光大陆的真正王者。当圆桌骑士对战教廷十二位圣骑士，谁守护的才是信仰。我叫苏侠，一个普通的宅男，没有特殊技能和金手指，只会耍些小聪明，但我是女神选出来的救世主。我们的口号是魔王不死，作死不止教会不亡，死不投降我要成为王者，即使很多人叫我昏主。其实我并不昏庸，只是太超前了。...
1号娇妻，不好追！
一纸协议，她嫁给傻子弟弟，却和哥哥纠缠不清。一条绯闻，她成了婚内出轨的坏女人，被推向风口浪尖。面对舆论和家法，他淡定地拥她入怀，处罚我爱的女人，你们还不够资格。话落，随手甩出的红本本震惊了所有人！他是权势滔天的帝国总裁，禁欲凉薄，不近女色，却独独对她迷了情，上了瘾，从此筹谋算计，不折手段的把她留在身边，宠妻上天！...