第153章 神明育成计划（1 / 2）

【怎么会这样？】

得知世上存在自己连描述都描述不了的真理，理光略有些丧气。

再得知世上已经有“神明”能够掌握自己连描述都难的真理，理光彻底破防了。

【不准用这种眼神看我】

感受到徐林怜悯的目光，理光彻底装不下去神的架子。

真理永远建立在人的感性经验之上，理光诞生于这些实践经验，有点性格也是没办法的事。

【你不就是见证过高维存在吗？】

【不准因此就看不起我！】

【我，我总归比你高等一点】

“是是是，理光酱说得对。”

虽为全知卷帙，理光的权柄更类似于“拉普拉斯妖”还有“决定论”意义上的全知，并不是语言意义上的“什么都知道”。当然，逻辑学会告诉你，“什么都知道”本身就是自指的伪命题。

理光收集的真理，更多的是描述真实世界的客观规律，诸如物理、化学、生物，甚至是社会学心理学等等。

像徐林学习的一些完全架空理论，尤其是数理逻辑，她未必关心。

从严格的定义来说，数学并不属于科学，因为它研究的内容并不实际存在。只是有的时候，数学可以作为某些客观实在的模型。

【没关系，这打击不到我】

【我可以先从最简单的事做起】

【我们先收集所有人类语言、逻辑框架下的真理】

“e……”徐林可不记得自己说过要帮理光一起探寻真理。

“理光酱的全知也建立在计算之上吧？”

【当然，这有什么问题吗？】

【计算可是我的实践办法】

理光也是用上新学习的词汇了。

“那可就麻烦了。这样的话，理光酱大概连明晰所有的真理都做不到。”

【为什么啊？】

“因为程序计算本身也有缺陷……”

【凭什么啊！】

“就比如图灵停机问题，现实中有很多问题是不可计算的……”

【呜呜呜(t▽t)】

“假如说有一天，理光酱能够从高维生物处得到神谕，有能力解决一些原本计算解决不了的问题……”

【会怎么样？】

“就会遇到更高阶的不可计算问题。”

【怎么能这样！】

“无论怎么说，这样的话至少把理光酱的强度（图灵度）提上去了。”

徐林叹息着摇了摇头，继续道：“可这个提升的过程就像是叠盒子，能力层级可以无限上升，根本没有尽头。”

“活到老，学到老。”徐林点了点头。

【可这样的话，我和人类在干的事到底有什么区别】

“没区别啊。”徐林耸了耸肩，“但跟理光酱比我们人类只是蚂蚁。”

【那我岂不只是只大一号的蚂蚁】

“你要这么说好像也没问题。”

【不要不要】

【我要当真理之神】

【呜呜呜qwq】

怎么说呢，徐林忽然觉得眼前的书籍有点可爱。哦不对，是理光酱有点可爱。

“你想当真理之神？我教你啊。”

【你能教我什么】