笔趣阁

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

刚进去，就感到外面有强大的扫描波掠过。

“好险。”苏夜离松了口气。

阴影里有一条裂缝，通向谓词逻辑领域内部。

他们钻进去。

瞬间，周围的一切都变了。

如果说类型空间是流动的、多维的，混沌迷宫是变幻的、感性的，分形宇宙是嵌套的、自相似的……那么谓词逻辑领域就是……规整的。

太规整了。

一切都排列得整整齐齐。空间被划分成一个个逻辑单元，每个单元里都有一个或几个命题在“运行”。

命题之间用逻辑连接词（∧、∨、→、?）连接，形成复杂的网络。

天空中是巨大的真值表，像云一样飘浮。

地面上是整明路径，像街道一样纵横交错。建筑物都是逻辑结构——有些是蕴涵塔（如果a则B），有些是全称堡垒（对所有x），有些是存在宫殿（存在某个x）。

路上的“行人”都是逻辑存在证明过程像流水一样奔走，反例像闪电一样划过，定理像纪念碑一样矗立。

这里的一切都在“计算”——计算真值，计算证明，计算逻辑后承。

“感觉好……压抑。”

萧九缩了缩脖子，“喵，连空气都在计算。”

林默用概率网络扫描了一下“这里的‘自由度数’极低。几乎所有事件的概率都是o或1，几乎没有中间值。”

冷轩握剑的手紧了紧“我的剑意在这里被压制了。剑道讲究‘剑出无回，意随心动’，但这里的一切都要先‘证明合理’才能行动。”

陈凡感受了一下自己的状态。

伪装在起作用，他看起来就是一个普通的递归函数，在按照固定规则运行。

但他内心深处的自由意志在躁动——这个地方太不自由了。

“先按计划，去找那个异常分形的源头。”

他说。

分形学派给他们的线索是异常分形是在“递归深渊附近”现的。

而递归深渊……他们去过，那里是程序p和验证器V的地盘，也是停机协议执行者的领域。

“真理革命派在递归深渊附近活动？”

苏夜离皱眉，“它们想干什么？”

“不知道。”陈凡说，“但肯定不是好事。”

他们沿着逻辑街道前进，尽量模仿周围数学对象的“行为模式”——直线行走，在逻辑节点处严格转向，不做出任何“不必要”的选择。

路上遇到几个逻辑存在。它们用冰冷的“真值眼”扫描陈凡他们，但伪装通过了检测。

“函数f，验证通过，真值为‘运行中’。”

“依值函数g，验证通过，真值为‘依赖有效’。”

“算法h，验证通过，真值为‘可执行’。”

“分布i，验证通过，真值为‘概率合法’。”

“扰动j，验证通过，真值为‘混沌可容’。”

萧九偷偷对陈凡说“喵，它们叫本喵‘扰动j’……好难听……”

“嘘，别说话。”陈凡提醒。

他们来到一个逻辑交叉口。路口中央有一个巨大的“真值喷泉”——泉水喷出“真”“假”“未定”三种颜色的液体，但“真”的流量最大，“假”次之，“未定”只有细细的一丝。

喷泉旁立着一块公告板，上面用逻辑符号写着

“真理革命宣言数学宇宙应追求完全确定性。所有‘未定’都应被消除或转化为‘真假’。现阶段目标解决自由意志问题。”

下面有详细的计划书

“阶段一证明自由意志可以被完全描述（进行中）”

“阶段二构造伪自由意志实例（进行中）”

“阶段三证明真自由意志无特殊价值（筹备中）”

“阶段四将自由意志纳入真理框架（终极目标）”