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

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

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

“卡住了,向山……”

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

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

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

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

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

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

科幻灵异推荐阅读 More+
我以神明为食

我以神明为食

相思洗红豆
三十年前, 流星坠,神墟现! 有神明从中走出,以人类为食。 从那一天起,人类开始成为神明的食物, 除了我! 因为我以神明为食。
科幻 连载 537万字
暗黑野蛮人降临美漫

暗黑野蛮人降临美漫

阡南望
这个世界需要英雄! 于是野蛮人带着卡奈魔盒和哈洛加斯圣山从暗黑破坏神来到了漫威宇宙! 左手布尔凯索的勇士之血,右手布尔凯索的庄严之誓,腰间别着无尽的药水,我想不到怎么输! 守护世界是至尊法师的职责?开玩笑,你这也叫法师? 我看你倒是很有野蛮人的天赋,要不来试试这把武器? 成为野蛮人一点都不困难,只要你能通过奈非天密境的试炼,取得先祖的认可。
科幻 连载 826万字