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

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

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

“卡住了,向山……”

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

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

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

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

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

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

科幻灵异推荐阅读 More+
帝国从第四天灾开始

帝国从第四天灾开始

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

快穿之不服来战呀

轩辕钢铁
“悲天悯人救赎系统”绑定的靳青,被要求到各个世界拯救目标人物。虽然觉得自己每活一天都是在造孽,但既然找不到机会自我了断,那就顽强的活下去吧我们的目标是:凭借自己力大无穷的属性,让每个世界来找茬的人都不自在面对在各个世界都会出现的找死型人物,靳青掏出自己那1米3的狼牙棒:不服来战!!确定无CP,坚决不攻略!
科幻 连载 1029万字
混在末日,独自成仙

混在末日,独自成仙

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

九龙归一诀

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