吾道长不孤提示您:看后求收藏(新机小说网www.xjhczs.com),接着再看更方便。

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

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

“卡住了,向山……”

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

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

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

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

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

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

科幻灵异推荐阅读 More+
冰封末世:打造山中末日堡垒

冰封末世:打造山中末日堡垒

文曲
极寒末世降临,极地远古病毒被释放,天空被厚重云层遮蔽,太阳再也没有出现…所有生物面临灭顶之灾。上一世陆英成立幸存者聚集地,却惨遭背叛,凄惨被杀。重生回到末世降临前三个月,陆英夺取了属于仇人的空间。没想到重生的不仅是陆英,害死自己的人也同样重生。极寒丧尸的末世,提前在山中防空洞打造温暖舒适且坚固的末日堡垒。末世降临物...
科幻 连载 8万字
故障乌托邦

故障乌托邦

狐尾的笔
改装金属义体,AI女友,脑内神经网络,赛博空间,这是一个拥有超高科技的世界,各种科技可以如同魔法般改变你的生活。 虽然过去的绝症癌症在纳米医疗机器人面前不值一提,然而新的科技水平也会衍生各种各样的新问题,新麻烦,和新的…赛博精神病。 “什么是资本主义啊?”孙杰克双手叉腰,身体后仰。
科幻 连载 141万字
混在末日,独自成仙

混在末日,独自成仙

言归正传
这是一个支离破碎的世界,人类文明在刃兽灾变后的星球上苟延残喘,地下堡垒中的文明火焰正时隐时现,太空中的人类精英酝酿着反攻刃兽的终极计划,人类的前路却有些星光黯淡…… “所以说。” 某位苦修一百二十五年结果渡劫失败一缕残魂来到这个‘古怪’世界的大乘期高手仰天长叹: “这关贫道屁事啊。” ———————— 【PS:科幻末日+修仙主角,非无脑爽文。找老书点作者名字,不一一介绍了,坑品有保证。新读者群有空
科幻 连载 280万字
我的诡物都是些没用的家伙

我的诡物都是些没用的家伙

0720事件
无处隐蔽的白色灾厄,生死混淆的弥留之魂,生存无望归家的游子...巧合之间,难以理解的粉毛检察员,带着缝隙无法随意放开的书籍。莫黎在一次次灾厄中崛起,又看到世间的新生。“乖,听黎姐的话,把药喝了。”...
科幻 连载 18万字