第585章 谓词逻辑的真理革命 (1/14)

类型空间里，气氛有点凝重。

陈凡他们围坐成一圈，中间漂浮着曼德博祭司给的那个分形画面——那个伪自由意志的扭曲漏斗模型。

“分形伪装需要准备时间。”

路径构造者说，“大概要三个时辰。这三个时辰里，你们可以再了解下谓词逻辑学派的情况。”

模糊数学代表飘过来，身体像一团会呼吸的迷雾：“谓词逻辑……它们的世界观很简单：一切都可以被命题描述，每个命题都有真值——真、假，或者在某些情况下‘未定’。”

建构主义代表那由构造步骤组成的身体咔哒咔哒响：“它们的核心工具是‘量词’：‘对所有x’（?x）和‘存在x’（?x）。任何陈述都可以用这些工具分析。比如‘所有天鹅都是白的’就是?x(天鹅(x)→白色(x))。”

直觉主义代表流动着，声音像是从水底传来：“但问题在于，它们中的极端派认为，数学宇宙应该只有‘真’和‘假’，没有‘未定’。自由意志的存在导致了很多‘未定’命题，这让它们很不舒服。”

陈凡皱眉：“所以它们要消除自由意志，让一切都变得确定？”

“不是消除。”

路径构造者纠正，“按分形学派的情报，它们是想‘改造’——用分形技术创造伪自由意志，证明自由意志可以被完全描述和控制，从而剥夺它的特殊性。”

林默挠头：“这逻辑有点绕啊……”

苏夜离倒是听懂了：“就是说，它们想证明：‘你看，自由意志没什么了不起的，我们都能造出来。所以真正的自由意志也不应该有特权，应该接受真理框架的约束’？”

“对。”四个学派代表同时点头。

冷轩擦拭剑锋的手停了停：“虚伪。”

萧九趴在陈凡腿上：“喵～本喵觉得，能造出来的肯定不是真自由意志！就像能造出会喵喵叫的玩具，但那不是真猫！”

陈凡摸摸她的头：“你说得对。但问题是怎么证明‘真’和‘伪’的区别。在谓词逻辑的世界里，这可能就是个需要证明的命题。”

三个时辰很快过去。

分形伪装准备好了。

曼德博祭司亲自操作。

它那曼德博集合构成的身体分出几缕光丝，缠绕住陈凡他们每个人。