吾道长不孤提示您:看后求收藏(千千小说www.qbtxts.net),接着再看更方便。

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

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

“卡住了,向山……”

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

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

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

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

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

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

科幻灵异推荐阅读 More+
撩倒五个兽夫后,恶毒雌性死遁了

撩倒五个兽夫后,恶毒雌性死遁了

桔子飞飞
死于尸群后,温纾穿进兽世文,成了兽城流落在外的恶毒真千金。作为女主的对照组,原主不仅是个脏兮兮的万人嫌,还到处强抢雄性,以折磨兽人为乐。一睁眼天崩开局,原主欺辱蛇兽,霸王硬上弓不成被毒死;对可怜的雪鸮非打即骂,在部落名声恶臭。温纾两眼一黑,为了扭转命运,决定治好被原主祸害的兽人,远离主角团苟到结局。然而,面对强大的...
科幻 连载 4万字
清明上河图史记

清明上河图史记

竹晴园
北宋年间,画家张择端心怀对汴梁城繁华盛景的热爱,耗时许久精心绘制出了。这幅画卷徐徐展开,便是汴河两岸热闹非凡的生活百态呈现,街头巷尾人来人往,商铺林立,船夫们在河上忙碌,尽显大宋的昌盛与烟火气。起初,它被呈进宫里,成为宋徽宗的珍藏,备受赞赏。可好景不长,金兵南下,北宋灭亡,皇宫大乱,就此流入民间,开始了它波折的“史...
科幻 连载 4万字