吾道长不孤提示您:看后求收藏(天书网www.tsms517.com),接着再看更方便。

向山盯着裸露的机械,观察他的运转。

“叮”的一声。尤基有些不可思议。

“卡住了,向山……”

“很好。”向山点了点头:“世界没有消失,机器没有消失——这是个好现象,孩子。这说明,我是真的,你也是真的。我们并非位于一个模拟器内。”

“记好这个。这个叫做‘图灵停机’,是斩破幻觉的剑。”

图灵停机问题,就是判断任意一个程序是否能在有限的时间之内结束运行的问题。该问题等价于如下的判定问题:是否存在一个程序P,对于任意输入的程序w,能够判断w会在有限时间内结束或者死循环。

这个问题可以简单的表述成“一个图灵机是否可以简单的判定另一个图灵机应该停机”。

而阿兰·图灵在计算机诞生之前,就给出了他的判断。

图灵停机问题逻辑上是无法解决的。

科幻灵异推荐阅读 More+
美漫:开局指导蝙蝠侠

美漫:开局指导蝙蝠侠

遇牧烧绳
一朝穿越,席勒成了蝙蝠侠的老师,哥谭大学心理学教授。刚来第一天,布鲁斯·韦恩就进了心理诊室。席勒只得打开美漫聊天系统,发了第一条帖子:蝙蝠侠问我人生的意义,该怎么回答?在线等挺急的。灭霸:建议直接打死。X教授:别听楼上的,我借你读心术一用……席勒·安戴尔·罗德里格斯,世界级犯罪心理学大师,哥谭大学最知名的心理学教授,他的学生既有超级英雄,也有超级罪犯,但他却不属于其中任何一个,蝙蝠侠喜欢称他为“教
科幻 连载 1275万字
全球崩坏

全球崩坏

间歇性诈尸
“曾经我被遗弃在起点孤儿院门口,后来孤儿院破产了” “曾经我上过一个幼儿园,后来这家幼儿园倒闭了” “这二十年,我经历过火车脱轨,二十八辆汽车连环追尾,天然气泄露,瓦斯气爆炸……但我还活着” “生活竭尽所能的想要消灭我,但我仍然顽强的活了下来” “不过我万万没想到,生活竟然又搞出这种事情——” 【欢迎来到全球进化游戏,本游戏由地球发起,玩家为全人类】 ------------- 某位NPC掉落了一
科幻 连载 234万字
我以神明为食

我以神明为食

相思洗红豆
三十年前, 流星坠,神墟现! 有神明从中走出,以人类为食。 从那一天起,人类开始成为神明的食物, 除了我! 因为我以神明为食。
科幻 连载 535万字
帝国从第四天灾开始

帝国从第四天灾开始

镜大人
接管一艘《家园》的母舰,然后穿越到《星球大战》世界?唐骁:“这个世界好危险啊,妈妈我要回家。”等一下,母舰数据库里面居然有《太阳帝国的原罪》、《光晕》、《EVE》、《星际争霸》、《群星》??而且冷冻舱里面居然还沉睡着吉姆-雷诺、士官长、阿塔尼斯大主教?唐骁:“哼!他们都将拜倒在我的脚下!!”第四天灾……啊不,第四帝国万岁!
科幻 连载 647万字
九龙归一诀

九龙归一诀

魔风烈
获混沌宝物,修九龙归一。斩日月星河,诛万古妖魔。陆沉一出风云动,诸天万界鬼神惊。醉卧鸾凤美人笑,三千大道渡众生。
科幻 连载 977万字
招黑体质开局修行在废土

招黑体质开局修行在废土

陈风笑
穿越到废土,惯例是孤儿,该怎么办? 首先要活下去,可是想做到这一点并不容易。 饱暖之后就该思……咳咳,就该考虑怎么变强了,这更不容易。 等曲涧磊开始逐渐变强,他意外地发现,这个废土……不是他想像的废土!
科幻 连载 750万字