这章没有结束，请点击下一页继续阅读！
太规整了。
一切都排列得整整齐齐。空间被划分成一个个逻辑单元，每个单元里都有一个或几个命题在“运行”。
命题之间用逻辑连接词（∧、∨、→、?）连接，形成复杂的网络。
天空中是巨大的真值表，像云一样飘浮。
地面上是整明路径，像街道一样纵横交错。建筑物都是逻辑结构——有些是蕴涵塔（如果A则B），有些是全称堡垒（对所有x），有些是存在宫殿（存在某个x）。
路上的“行人”都是逻辑存在：证明过程像流水一样奔走，反例像闪电一样划过，定理像纪念碑一样矗立。
这里的一切都在“计算”——计算真值，计算证明，计算逻辑后承。
“感觉好……压抑。”
萧九缩了缩脖子，“喵，连空气都在计算。”
林默用概率网络扫描了一下：“这里的‘自由度数’极低。几乎所有事件的概率都是0或1，几乎没有中间值。”
冷轩握剑的手紧了紧：“我的剑意在这里被压制了。剑道讲究‘剑出无回，意随心动’，但这里的一切都要先‘证明合理’才能行动。”
陈凡感受了一下自己的状态。
伪装在起作用，他看起来就是一个普通的递归函数，在按照固定规则运行。
但他内心深处的自由意志在躁动——这个地方太不自由了。
“先按计划，去找那个异常分形的源头。”
他说。
分形学派给他们的线索是：异常分形是在“递归深渊附近”发现的。
而递归深渊……他们去过，那里是程序P和验证器V的地盘，也是停机协议执行者的领域。
“真理革命派在递归深渊附近活动？”
苏夜离皱眉，“它们想干什么？”
“不知道。”陈凡说，“但肯定不是好事。”
他们沿着逻辑街道前进，尽量模仿周围数学对象的“行为模式”——直线行走，在逻辑节点处严格转向，不做出任何“不必要”的选择。
路上遇到几个逻辑存在。它们用冰冷的“真值眼”扫描陈凡他们，但伪装通过了检测。
“函数f，验证通过，真值为‘运行中’。”
“依值函数g，验证通过，真值为‘依赖有效’。”
“算法h，验证通过，真值为‘可执行’。”
“分布i，验证通过，真值为‘概率合法’。”
“扰动j，验证通过，真值为‘混沌可容’。”
萧九偷偷对陈凡说：“喵，它们叫本喵‘扰动j’……好难听……”
“嘘，别说话。”陈凡提醒。
他们来到一个逻辑交叉口。路口中央有一个巨大的“真值喷泉”——泉水喷出“真”“假”“未定”三种颜色的液体，但“真”的流量最大，“假”次之，“未定”只有细细的一丝。
喷泉旁立着一块公告板，上面用逻辑符号写着：
“真理革命宣言：数学宇宙应追求完全确定性。所有‘未定’都应被消除或转化为‘真/假’。现阶段目标：解决自由意志问题。”
下面有详细的计划书：
“阶段一：证明自由意志可以被完全描述（进行中）”
“阶段二：构造伪自由意志实例（进行中）”
“阶段三：证明真自由意志无特殊价值（筹备中）”
“阶段四：将自由意志纳入真理框架（终极目标）”
陈凡看得心里发冷。这个计划……很系统，很严密。
“它们已经在进行阶段二了。”林默小声说，“伪自由意志实力……就是我们要找的东西。”
突然，公告板刷新了。新的一条信息出现：
“紧急通知：递归深渊区域发现未授权访问。怀疑为自由意志相关存在潜入。启动二级警戒。”
陈凡他们立刻躲到一个逻辑建筑后面。
街道上，一批“真理卫队”出现了。
它们是由严密证明构成的武装存在，身体是逻辑链，武器是真值裁决刃。
“全面搜查！”
卫队首领——一个由完美证明构成的存在——下令，“特别注意任何表现出‘非确定性’的对象。”
卫队散开，开始扫描每个路过者。
“麻烦了。”苏夜离握紧陈凡的手，“我们的伪装能通过详细检查吗？”
“不知道。”陈凡实话实说，“但肯定不能待在这里。”
他们悄悄后退，想从另一条路绕开。
但刚转身，就撞上了一个存在。
那是一个……看起来很普通的老者形象，穿着朴素的长袍，手里拿着一卷逻辑卷轴。