【怎么会这样？】

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

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

【不准用这种眼神看我】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

【为什么啊？】

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

【凭什么啊！】

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

【呜呜呜(T▽T)】

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

【会怎么样？】

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