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

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

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

“卡住了,向山……”

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

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

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

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

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

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

科幻灵异推荐阅读 More+
那年花开1981

那年花开1981

风随流云
这是一个考上大学就鱼跃龙门的时代,这是一个处处风口飞上天的时代,这也是一个还有纯洁不渝真挚感情的时代; 只不过李野刚刚来到这个时代,却被劝放弃高考进厂打螺丝; “反正你也考不上,就死了这条心吧!” “我堂堂二本冲刺型选手会考不上?那岂不是辜负了那么多年体育老师的教导?”
科幻 连载 396万字
赛博英雄传

赛博英雄传

吾道长不孤
什么是武? 武功无关琴棋书画,无关宝物秘籍,也没那么多天下第一。武功是技术,一种让弱者窥得机会向强者挥刀的技术。 什么是侠? 侠义不是风花雪月,不是传统文化,没什么温良恭俭可言。侠义是暴力,是被逼上梁山者为暴君打造的刺刀。 曹沫盟柯,返鲁侵地。专诸进炙,定吴篡位。彰弟哭市,报主涂厕。刎颈申冤,操袖行事。暴秦夺魄,懦夫增气。 这是一个武侠的故事。 30年代,几个志同道合的年轻人走到一起,为了改变世界
科幻 连载 325万字