乐文小说网

手机浏览器扫描二维码访问

第36章 构造废墟的直觉禁咒（第3页）

他的每一次呼吸都在消耗布劳威尔留下的创造序列本源，眼角开始渗出构造性证明的银白色血液。

---

###【克罗内克之墓的觉醒】

就在我们即将被逻辑丧尸淹没时，废墟深处传来原始递归函数的号角声。

大地裂开一道构造主义的深渊，从地心升起的竟是克罗内克的数学墓碑，碑文闪耀着激进的宣言：

_"

上帝创造自然数，其余都是人的工作。

"

_

墓碑突然β规约为巨大的原始递归装置。

从装置核心走出的，是身披戴德金分割斗篷的霍奇女爵——她的心脏部位跳动着策梅洛编码，左眼已替换成布劳威尔的选择序列发生器。

"

快进来！

"

她的声音混杂着构造性证明的杂音，"

这座墓碑是最后的直觉主义堡垒..."

我们冲入装置的瞬间，看到内部墙壁上镌刻着所有被构造性数学承认的定理。

林递归突然安静下来，他身上的裂纹开始被原始递归函数修复。

---

###【策梅洛框架的突袭】

但安宁仅持续了七次β规约的时间。

装置外突然传来选择公理的尖啸——那些被构造主义否定的亡灵，正在策梅洛框架的支持下发动总攻。

"

他们唤醒了形式主义的守灵人！

"

霍奇女爵的机械义眼射出构造性扫描光束，"

看天上！

"

夜空中的排中律残片正在重组。

它们汇聚成巨大的《数学原理》投影，从书中伸出的罗素-怀特海之手指向我们的避难所。

更恐怖的是，这些手指的每道指纹都是不同的非构造性存在证明。

林递归突然发出超越婴儿声带的怒吼。