你看向它时，会看到自己在看它，然后看到自己在看自己在看它……无限循环。
它是“自指监察者”，专门检测自指悖论和不可判定性。
编码者开口，声音像是数字合成的：“检测到未授权的哥德尔编码活动。编码对象：陈凡。编码者：未知逻辑存在。编码完整性：不足60%。判定：非法编码。”
本小章还未完，请点击下一页继续阅读后面精彩内容！
陈凡立刻说：“我们是主动编码，为了证明自己的数学可描述性。编码不完整是因为有些属性无法形式化，这不妨碍合法性。”
自指监察者转动着它的自指旋涡：“无法形式化？还是……不愿形式化？在数学宇宙，可描述性是合法性的唯一标准。若某属性无法形式化，则它要么不存在，要么是‘数学噪声’应被滤除。”
“情感、主观体验、自由意志的感受质——这些不是噪声。”苏夜离站出来，“它们是存在的，只是不能用纯符号完全捕捉。”
“存在但不可描述，等同于不存在。”
编码者冰冷地说，“数学是描述的科学。不能被描述的，在数学上无意义。”
陈凡感到一阵寒意。
这些家伙比几何学代表更极端——几何学至少承认感官体验的存在（虽然认为那是低级的），但哥德尔编码派直接否认不可描述的事物的意义。
“但我有哥德尔数G(Fan)。”陈凡展示那个巨大的数字，“这证明我至少有60%是可描述的。在数学中，部分描述也是描述。比如无理数，我们不能用有限小数完全描述，但可以用无穷级数描述。”
自指监察者：“无理数的无穷级数是完整的算法描述。你的编码有‘缺口’，那些缺口是真正的未知，不是无限逼近的已知。”
“因为我是开放系统。”陈凡说，“我的未来选择还没发生，当然无法完整描述。但这不意味着我不存在，只意味着我‘正在生成’。”
编码者书页翻动：“‘正在生成’需要过程描述。你的生成过程是可描述的吗？”
陈凡想起非标准分析的模型：“可以用无穷小决策模型描述——在每个无穷小时刻，从选择空间中选一个元素。这个过程可以形式化。”
“但选择的具体机制呢？”自指监察者追问，“为什么在t?时刻选x?而不是y?？这个具体机制可描述吗？”
陈凡沉默了。这正是自由意志的核心——具体选择机制无法完全解释。
“看，缺口就在这里。”编码者的声音几乎带着得意，“你的编码中，选择函数f被声明为‘存在但不可构造’。这在数学上没问题，但在合法性审查中，这意味着你的核心部分……是黑箱。”
“黑箱不意味着不存在。”冷轩突然开口，“我的剑道中也有黑箱——那些无法言传只能意会的‘剑意’。但你不能说我的剑不存在。”
“剑意可以通过你的剑招间接验证。”
自指监察者说，“但自由意志的‘选择机制’，如何间接验证？只能听你自述。而自述……可能是假的。”
这话说得所有人都一愣。
自述可能是假的？什么意思？
编码者解释：“在哥德尔编码框架下，一个系统的自述可能与其实际属性不一致。就像哥德尔语句‘本语句在系统S中不可证’——它陈述的是关于自身的事实，但这个事实在S内部无法被证明。你的‘我有自由意志’陈述，可能也是这种自指陈述，无法被外部验证。”
陈凡明白了它们的逻辑：因为它们无法从外部验证自由意志的存在，所以要么自由意志不存在，要么它是无法验证的幻象。而无法验证的幻象……在严格的数学宇宙中，应该被剔除。
“所以你们要做什么？”林默警惕地问。
“进行‘完全编码尝试’。”编码者说，“我们将用更强大的编码工具，尝试捕捉你的全部属性——包括那些你认为不可形式化的部分。如果捕捉成功，证明那些部分实际上是可形式化的；如果捕捉失败……说明那些部分是真正的‘数学虚无’，应该从你身上剥离。”
“剥离？！”苏夜离惊呼。
“对。”自指监察者说，“就像从程序中删除无法执行的代码。我们会删除你身上所有无法形式化的属性，只保留可数学描述的部分。那样，你就成为一个干净、合法、完全可描述的数学对象了。”
陈凡感到毛骨悚然。这比对称化、细分更可怕——直接删除“不可描述”的部分！
那些部分可能是情感、主观体验、自由意志的感受质……删除之后，他还是他吗？
“我拒绝。”陈凡说。
“拒绝无效。”编码者开始翻动书页，“编码是强制性的。数学宇宙需要纯净性。”
虚空中伸出无数条“编码触手”——每条触手都由流动的哥德尔数构成，它们伸向陈凡，要把他完全包裹、分析、编码。