手机浏览器扫描二维码访问
第六百七十七章 停机问题逻辑学（第1页）
图灵一开始假设，有可能制造出一台图灵机，它可以计算出一个程序在给定某种输入后是否会停止或永远运行。然后他证明，这台机器会导致一个矛盾，所以不可能存在。
图灵提到的这个想法，后来被称为停机问题。今天的软件开发人员将其称为无限循环，这是他们在编写循环或递归函数时遇到的一个问题。
戴维斯在想什么是可以计算的，只要把不可以计算的全部排除，剩下的就是全部可以计算的了。
停机问题就是判断任意一个程序是否能在有限的时间之内结束运行的问题。
该问题等价于如下的判定问题：是否存在一个程序P，对于任意输入的程序w，能够判断w会在有限时间内结束或者死循环。
最后戴维斯说：“存在一种图灵机，其停机问题是递归无解的。”
停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。所以这是一个不可解的问题。
停机问题本质是一高阶逻辑的不自恰性和不完备性。类似的命题有理发师悖论、全能悖论等。
喜欢数学心请大家收藏：（）数学心
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
[综漫] 除了荒神，所有人都重生了 君为依[重生] 1635改变世界 如果男主太晚才出现 [足球同人] 带刀侍卫 我的员工全是言情女主 丘比特今夜失明 穿进炮灰文，太上皇竟能读我心！ 无纠+番外 花魁夫郎[女尊] 群友全穿越！就我在地球 我是九世单传的天才幸运糖宝 啊，张嘴！天道又追着福宝喂饭了 [少年漫同人] 和新一同居之后 萝莉：变成吸血姬后被魔女捡到了 [综漫] 白濑捅刀失败以后 玄灵界都知道我柔弱可怜但能打 夏夜撕咬 [综英美] 维持人设好难 对照组贴脸开大[快穿]
从野怪开始进化升级
量子转移网游九重天域第一重天域震撼开启，上线一天便迅速火爆全球。陆晨意外失去人物角色，开始从一级豺狼人进化升级？击杀更多物种，获得新天赋！获得天赋碎片，提升天赋等级！前缀品质提升，普通的，强壮的，特别强壮的基础属性一路狂飙！玩家A那野怪的前缀有两百多米那么长？！玩家B那野怪灭了我们八家公会！简直不是人？...
这一定不是我写的文（修真）
文艺版（内有崩坏，慎入）文案一个萧索的身影站在落雪山崖上，墨发青衣美人如玉，宛如一幅上好的水墨画。当你活在一个虚拟的世界里，你会如何？当你活在一个你认为是你创造的虚拟的世界里，你会如何？庄周与蝶，究竟是蝶梦庄周，还是庄周梦蝶？林晨初不清楚，成为自己小说里的人物之后他决定不论自己生活的世纪是虚幻还是真实，都要好好活下去，即使自己是一个终将与主角虐心同归与尽的反派。好吧，现在还是考虑一下究竟是把这篇复仇修真文演成种马文好呢？还是演成种田文好呢？要不演成和一般穿越女一样把古代搅的乱七八糟报复社会文吧？林晨初回头，在冰镜里看到一张无法形容的美脸蛋哈喇子流了一地ˉ﹃ˉ要不然就这么。后场（林晨初你妹的！不是说给我一个虐身虐心的酷毙了帅呆了的深沉形象么？那后三段崩坏的内心世界还有一...
遗憾弥补系统
你有没有为天龙八部中萧峰的死而感到遗憾。你有没有为海贼王中艾斯的死而感到无奈。你有没有为仙剑奇侠传中林月如赵灵儿的死痛苦过！你有没有为历史上岳飞因秦桧的诬陷而死感觉到愤怒。这一切的遗憾无奈愤怒当你拥有遗憾弥补系统之后都能改变，能够让你进入一个平行世界，去改变小说人物动漫人物游戏人物历史人物的宿命，并且在每一个平行世界习得的技能也可以带到下一个平行世界和现实世界，让宿主的遗憾减至最小。因意外获得遗憾弥补系统的凌尘，也将开始一段没有遗憾的人生（已有完本作品上古圣猿在西游无限动漫作弊器，书荒可看，天堂人品保证，绝不太监！）...
全才高手
从神秘部队‘037’退伍的王牌士兵唐朔，阴差阳错之下成为了绝色女明星的保镖。自此，各种‘麻烦’络绎不绝且看他如何从一个小保镖一步步打造出属于自己的豪门。...
祷师
两岁时，他被人遗弃在儿童福利院门口，瘦得像根豆芽菜，穿着褴褛的病号服，衣服上印着...
最强老公：独宠软萌小甜妻
他是杀伐决断的商界帝王，她是娇俏可人的软萌学生。一场错误相亲，他和她成为了户口本最亲密的人。从此，他将她捧在手心，疼宠入骨。说好的疼爱呢！她揉着酸...