手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
玄灵界都知道我柔弱可怜但能打 新人驾到 我的徒弟不对劲 至尊战皇 重生在宝可梦，我的后台超硬 永恒大陆之命运 译文欣赏：博伽瓦谭 我一枪一剑杀穿大陆 摊牌了，我爹是绝顶高手！ 国运：拥有多重身份的我很合理吧 穿到八零，我自带锦鲤系统！ 哦豁！虐文炮灰不干了！ 宗门全是美强惨，小师妹是真疯批 穿成商户女摆烂，竟然还要逃难！ 在下潘凤，字无双 大明：开局气疯朱元璋，死不登基 混迹娱乐圈的日子 农夫是概念神？三叶草了解一下！ 快穿之炮灰得偿所愿 暗无
军痞农媳：山里汉子，宠炸天！
李紫荆，农女一枚，还没出嫁，就背上了克夫的骂名，没人敢娶，受尽嘲笑和欺负。一朝身死，再次睁眼，身体里是现代特种女兵的灵魂，从此，谁都别想欺负她！后，有个汉子不怕死的娶了她，还只知道宠她宠她宠她！可没人看好这门婚事，大家都说他会被她克死，却不料，他不仅没被克死，她还旺夫旺到他祖坟冒青烟。相公，渣虐完了，银子也赚够了，竟还有人纠结你怎么还没被我克死。孩子都还没有，你让我死哪去？敢情我这些年生的两个孩子不是你的？是我的，但算命的说，我命中有九子。九子？那得生到猴年马月？李...
爆宠八零：重生娇娇女
2o19云起华语文学征文大赛参赛作品胖喵儿死了，被一根鸡骨头卡死了！重生在了一个生了九个孙儿，盼孙女盼的眼睛都红了的阮家，瞬间成了阮家上下三代的团宠！胖喵儿笑眯眯，觉得这有奶奶宠，爸妈爱，哥哥护的小日子，真叫一个美滋滋哟。当然，如果没有某只躲在角落里，眼睛里放着绿光，死死盯着她的‘大灰狼’，那就更好了！某只‘大灰狼’冷笑一声上辈子没吃到，这辈子总要吃到的！胖喵儿へノ...
天命修罗
1228812288人无耻则无畏，人至贱则无敌！1228812288谁说盖世枭雄必需得霸气十足？1228812288谁说无耻贱圣踏不得七彩祥云？1228812288谁说此般少年不能争天命，演修罗，替天行道？...
开天录
生存，很容易。生活，很艰难。我族，要的不是卑下的生存，而是昂首高傲的生活。我族，誓不为奴！...
三国我在许都开酒馆
穿越三国，陈扬继承了一个在许都无人问津的小酒馆。有一个叫做老曹的顾客，经常来光顾这家酒馆。也许是陈扬经常吹嘘自己有多厉害，老曹每一次到来，都喜欢问这个问那个。天下之大，何人能称之为英雄？陈掌柜，这下邳城如何能破？刘备以仁义为剑，站在道德顶峰，该如何杀？面对这些问题，陈扬随口闲扯，却不知道，他这些话，在逐渐改变整个三国的格局...
快穿：我只想种田
一锄头挖地挖到大咸鱼干不是事儿，被咸鱼干臭晕就有点尴尬了，晕了后做梦预见凄惨未来就玄幻了，悲惨1，秦鱼郁郁寡欢。然后浑身带着咸鱼干醉人芳香的一只猫出现了。猫本殿是天神之子，为了消灭邪恶选择被封印千年万年，你就是我的有缘人！快，别废话了，跟我一起拯救三千小世界吧！说完后，它的肚子咕咕叫了。一面现实种田，一面快穿攻略各种邪恶Boss，后来她从内心闺秀喜欢种田的温柔少女进化成了表里不一笑里藏刀的温柔小姐姐。秦鱼我真的只是想种田而已。ps本文可撩妹撩男神，主暧昧，无cp，会防盗，先宣告一般，因此希望广大读者们事先有心理准备，不要强求cp或者抗议防盗，谢谢支持。...