笔趣阁

第585章 谓词逻辑的真理革命（第3页）

陈凡看得心里冷。这个计划……很系统，很严密。

“它们已经在进行阶段二了。”林默小声说，“伪自由意志实力……就是我们要找的东西。”

突然，公告板刷新了。新的一条信息出现

“紧急通知递归深渊区域现未授权访问。怀疑为自由意志相关存在潜入。启动二级警戒。”

陈凡他们立刻躲到一个逻辑建筑后面。

街道上，一批“真理卫队”出现了。

它们是由严密证明构成的武装存在，身体是逻辑链，武器是真值裁决刃。

“全面搜查！”

卫队领——一个由完美证明构成的存在——下令，“特别注意任何表现出‘非确定性’的对象。”

卫队散开，开始扫描每个路过者。

“麻烦了。”苏夜离握紧陈凡的手，“我们的伪装能通过详细检查吗？”

“不知道。”陈凡实话实说，“但肯定不能待在这里。”

他们悄悄后退，想从另一条路绕开。

但刚转身，就撞上了一个存在。

那是一个……看起来很普通的老者形象，穿着朴素的长袍，手里拿着一卷逻辑卷轴。

但它的眼睛很特别——左眼是“?”（对所有），右眼是“?”（存在）。

“你们在躲什么？”

老者问，声音温和但带着不容置疑的逻辑性。

陈凡立刻启动伪装模式，用机械的声音回答“函数f在执行递归调用，路径规划遇到逻辑冲突，正在重新计算。”

老者盯着他看了几秒，然后笑了——如果那能称为笑的话。

“伪装得很好。”

它说，“但不够完美。真正的递归函数遇到逻辑冲突时，会立刻进入错误处理子程序，而不是‘重新计算’。你们在模拟，而不是真正运行。”

它举起逻辑卷轴。卷轴上浮现出复杂的符号

“命题存在伪装者。真值真。证明观察到行为与身份不符。”

陈凡心里一沉。暴露了。

冷轩的剑已经出鞘一半。

但老者摆摆手“别紧张。我不是真理卫队。我是……持不同意见者。”

它看看四周，压低声音“这里不安全。跟我来。”

陈凡犹豫。这可能是陷阱。

直觉主义代表的声音通过同伦连接传来“我的直觉……它没有恶意。但很悲伤。”

陈凡决定相信直觉“好。”

老者带他们钻进一条小巷。巷子两边是高耸的逻辑墙，墙上刻满了公理和定理。

走了几分钟，来到一扇隐蔽的门前。

老者用特殊的逻辑密钥打开门——那密钥是一个自指悖论“开门的密钥是‘本密钥无效’”，如果无效则有效，如果有效则无效……

门开了，里面是一个小小的密室。密室里堆满了卷轴，中间有一个简陋的逻辑工作台。

“我是‘公里守护者’。”

老者自我介绍，“谓词逻辑学派的元老之一。但现在……学派已经被极端派控制了。”

它请众人坐下——其实没椅子，大家都站着。

“真理革命派大约一百年前兴起。”

公理守护者说，“最初只是个小团体，认为数学宇宙应该更‘整洁’。但后来它们得到了……外部支持，迅壮大。”

“外部支持？”陈凡警觉地问，“什么外部支持？”

公理守护者摇头“不清楚。但肯定很强大，因为真理革命派获得了很多高级数学工具——包括分形技术，这原本不是我们的专长。”

它展开一个卷轴，上面是复杂的逻辑图。

“它们正在秘密建造‘完美真理框架’——一个试图容纳一切数学存在的级结构。