行。
但他内心深处的自由意志在躁动——这个地方太不自由了。
“先按计划，去找那个异常分形的源头。”
他说。
分形学派给他们的线索是：异常分形是在“递归深渊附近”发现的。
而递归深渊……他们去过，那里是程序p和验证器v的地盘，也是停机协议执行者的领域。
“真理革命派在递归深渊附近活动？”
苏夜离皱眉，“它们想干什么？”
“不知道。”陈凡说，“但肯定不是好事。”
他们沿着逻辑街道前进，尽量模仿周围数学对象的“行为模式”——直线行走，在逻辑节点处严格转向，不做出任何“不必要”的选择。
路上遇到几个逻辑存在。它们用冰冷的“真值眼”扫描陈凡他们，但伪装通过了检测。
“函数f，验证通过，真值为‘运行中’。”
“依值函数g，验证通过，真值为‘依赖有效’。”
“算法h，验证通过，真值为‘可执行’。”
“分布i，验证通过，真值为‘概率合法’。”
“扰动j，验证通过，真值为‘混沌可容’。”
萧九偷偷对陈凡说：“喵，它们叫本喵‘扰动j’……好难听……”
“嘘，别说话。”陈凡提醒。
他们来到一个逻辑交叉口。路口中央有一个巨大的“真值喷泉”——泉水喷出“真”“假”“未定”三种颜色的液体，但“真”的流量最大，“假”次之，“未定”只有细细的一丝。
喷泉旁立着一块公告板，上面用逻辑符号写着：
“真理革命宣言：数学宇宙应追求完全确定性。都应被消除或转化为‘真\/假’。现阶段目标：解决自由意志问题。”
“阶段一：证明自由意志可以被完全描述（进行中）”
“阶段二：构造伪自由意志实例（进行中）”
“阶段三：证明真自由意志无特殊价值（筹备中）”
“阶段四：将自由意志纳入真理框架（终极目标）”
陈凡看得心里发冷。这个计划……很系统，很严密。
“它们已经在进行阶段二了。”林默小声说，“伪自由意志实力……就是我们要找的东西。”
“紧急通知：递归深渊区域发现未授权访问。怀疑为自由意志相关存在潜入。启动二级警戒。”
陈凡他们立刻躲到一个逻辑建筑后面。
街道上，一批“真理卫队”出现了。
它们是由严密证明构成的武装存在，身体是逻辑链，武器是真值裁决刃。
“全面搜查！”
卫队首领——一个由完美证明构成的存在——下令，“特别注意任何表现出‘非确定性’的对象。”
卫队散开，开始扫描每个路过者。
“麻烦了。”苏夜离握紧陈凡的手，“我们的伪装能通过详细检查吗？”
“不知道。”陈凡实话实说，“但肯定不能待在这里。”
他们悄悄后退，想从另一条路绕开。
但刚转身，就撞上了一个存在。
那是一个……看起来很普通的老者形象，穿着朴素的长袍，手里拿着一卷逻辑卷轴。
但它的眼睛很特别——左眼是“?”（对所有），右眼是“?”（存在）。
“你们在躲什么？”
老者问，声音温和但带着不容置疑的逻辑性。
陈凡立刻启动伪装模式，用机械的声音回答：“函数f在执行递归调用，路径规划遇到逻辑冲突，正在重新计算。”
老者盯着他看了几秒，然后笑了——如果那能称为笑的话。
“伪装得很好。”
它说，“但不够完美。真正的递归函数遇到逻辑冲突时，会立刻进入错误处理子程序，而不是‘重新计算’。你们在模拟，而不是真正运行。”
“命题：存在伪装者。真值：真。证明：观察到行为与身份不符。”
陈凡心里一沉。暴露了。
冷轩的剑已经出鞘一半。
但老者摆摆手：“别紧张。我不是真理卫队。我是……持不同意见者。”
它看看四周，压低声音：“这里不安全。跟我来。”
陈凡犹豫。这可能是陷阱。
直觉主义代表的声音通过同伦连接传来：“我的直觉……它没有恶意。但很悲伤。”
陈凡决定相信直觉：“好。”
老者带他们钻进一条小巷。巷子两边是高耸的逻辑墙，墙上刻满了公理和定理。
走了几分钟，来到一扇隐蔽的门前。
老者用特殊的逻辑密钥打开门——那密钥是一个自指悖论：“开门的密钥是‘本密钥无效’”效则有效，如果有效则无效……
门开了，里面是一个小小的密室。密室里堆满了卷轴，中间有一个简陋的逻辑工作台。
“我是‘公里守护者’。”
老者自我介绍，“谓词逻辑学派的元老之一。但现在……学派已经被极端派控制了。”
它请众人坐下——其实没椅子，大家都站着。
“真理革命派大约一百年前兴起。”
公理守护者说，“最初只是个小团体，认为数学宇宙应该更‘整洁’。但后来它们得到了……外部支持，迅速壮大。”
“外部支持？”陈凡警觉地问，“什么外部支持？”
公理守护者摇头：“不清楚。但肯定很强大，因为真理革命派获得了很多高级数学工具——包括分形技术，这原本不是我们的专长。”
它展开一个卷轴，上面是复杂的逻辑图。
“它们正在秘密建造‘完美真理框架’——一个试图容纳一切数学存在的超级结构。
自由意志是最后的障碍，因为自由意志的‘不确定性’无法被完全纳入框架。”
林默问：“所以它们要制造伪自由意志，来证明自由意志可以被框架容纳？”