这章没有结束，请点击下一页继续阅读！
“那就好办。”陈凡松了口气，“我们可以主动提供数学属性让它们编，而那些主观的、体验的部分，可以模糊处理，或者……用特殊的编码方式暗示其存在但不可完全形式化。”
萧九跳起来：“对对对！本喵的混沌感觉就属于那种‘说不清道不明但确实存在’的东西！喵！”
林默这时候插话：“程序P，验证器V，如果我们现在开始构建陈凡的哥德尔编码，你们能帮忙吗？你们最懂这个。”
两个逻辑存在又沉默了，这次沉默更久。
最后，程序P说：“可以帮忙，但有条件。”
“什么条件？”
“第一，我们需要观察编码全过程，作为研究资料。”程序P说，“第二，编码完成后，我们要一份副本，用于逻辑学研究。第三……如果哥德尔编码派真的来了，我们不能直接帮你们对抗——我们是中立的逻辑存在。”
“合理。”陈凡点头，“那你们能提供什么帮助？”
验证器V：“提供哥德尔编码的技术支持：如何将你的各种属性映射为自然数，如何构建自指结构，如何处理不可判定部分，以及……如何防止编码过程中的逻辑悖论。”
“逻辑悖论？”苏夜离警觉地问。
“任何自制系统都可能产生悖论。”程序P解释，“比如‘这句话是假的’。在哥德尔编码中，如果你编码了一个关于自身编码的陈述，而这个陈述的真假依赖于编码本身，就可能产生悖论。”
陈凡想了想：“那咱们就避免编码关于自身编码的陈述。只编码基础属性：我的修真境界、不动点特性、自由意志的决策模型、与同伴的关系……这些相对客观的东西。”
“可以。”程序P说，“那么，开始吧。首先，你需要确定‘基础公理系统’。哥德尔编码总是相对于某个形式系统的。你选择哪个系统？”
陈凡对这个问题早有思考：“用包含非标准分析的形式系统怎么样？我们刚和非标准分析派打过交道，它们的工具可能有用。”
“好选择。”验证器V说，“非标准分析扩展了实数系统，能更好地描述无穷小过程。那我们就以‘ZFC集合论+选择公理+非标准分析公理’为基础系统。现在，请开始列举你的数学属性。”
陈凡深吸一口气，开始说。
他说了自己的修真境界——从蝼蚁开始的层层突破，每个境界的数学特征：炼气期的能量积累（可建模为递增序列），筑基期的结构固化（不动点的雏形），金丹期的自循环系统，元婴期的分形结构，化神期的概念化……
程序P和验证器V把这些都转换成形式语言，然后开始编码。
虚空中浮现出无数符号和公式，它们像流水一样重组，最终变成一个个自然数。
然后是不动点特性。
这部分比较复杂，因为不动点涉及自制和迭代。
程序P特别小心，用了“递归函数”的方法来编码——先编码函数本身，再编码函数的不动点。
接着是自由意志的决策模型。
陈凡把上一章和非标准分析者一起构建的那个模型拿了出来：
无穷小时刻、选择空间、累积函数……这部分编码起来很顺畅，因为模型本身就已经是半形式化的了。
轮到与同伴的关系时，出现了一个问题。
“关系怎么编码？”林默问，“我和陈凡的‘朋友关系’，这能用数学描述吗？”
程序P：“可以编码为‘互动频率’‘信任度指标’‘合作历史’等可量化的数据。但……关系的情感质量部分，可能丢失。”
苏夜离握住陈凡的手：“那就把我们一起经历的事情编码进去。那些共同经历是客观的，但包含情感内容。”
于是他们开始回忆。
从最初的相遇，到一次次并肩作战，到在数学宇宙中的挣扎……每一段经历都被拆解成事件序列，然后编码。
但编码到一半，出问题了。
“检测到逻辑异常。”验证器V突然说，“在编码‘陈凡为救苏夜离闯入对称群’这段经历时，出现自指循环。要救苏夜离的理由，部分基于陈凡对苏夜离的情感；而这种情感，又是在共同经历中形成的。这形成了一个循环依赖。”
程序P补充：“在形式系统中，循环依赖可能导致定义不完整。我们需要打破这个循环——要么省略部分信息，要么引入新的公理。”
陈凡想了想：“不用省略。咱们用‘同时定义’的方法：把我和夜离的关系定义为一个整体，然后把这个整体编码。就像定义有序对(a,b)，不需要先定义a再定义b，可以同时定义。”
“可行。”验证器V开始调整编码策略。
但更大的问题在后面。
当编码到“陈凡的自由选择”时，真正的麻烦来了。
“自由选择的核心是‘理由不充分决定选择’