归纳法从哪里来
封闭观测系统无法从自身记录里确认一个全称闭合. 数学归纳法因此来自某个系统外的源头 — 而我们必须命名它, 同时不假装知道它是什么
你看完 Rule 110 后绕不开的那个问题
你可以让 Rule 110 跑一百万步. 你可以把途中每次元胞更新都写下来. 你可以给每一个 glider、每一次碰撞、每一个 soliton 打标签. 每个观测都是某一步的有限比特串. 你已经靠耐心和记录积累了一份非常长的验证痕迹.
你还没有确认过哪怕一条全称量化的陈述.
假设你想检验在某个特定初始行上, glider A 总是能在跟 ether 的碰撞里存活 — 从现在到宇宙停下来的每一步. 你可以查最初一百万步. 可以查接下来一百万步. 通过累积更多观测行, 你 永远 没法查所有未来的步数. 每个观测是有限的. 结论 \(\forall n.\, P(n)\) 不是.
这不是 Rule 110 独有的怪癖. 它适用于任何封闭观测系统 — 观测是有限比特串, 记录被系统自己的运行穷尽. BEDC 把这件事形式化在 visions 章节 transcendental_input_and_induction.tex 里:
定理 (无内部归纳). 设 S 是封闭观测系统. 那么对任何有限 k, 在 S 上对有限观测痕迹做单调累积, 都无法从 \(P(0), P(1), \ldots, P(k)\) 的记录推出 \(\forall n \in \mathbb{N}.\, P(n)\) 的记录.
证明是结构性的, 也很短: \(\forall n.\, P(n)\) 的记录本身是 S 中的一个观测; S 中的观测是有限比特串, 长度由系统底层决定; 任何有限长的比特串都不能编码无限定义域上的全称闭合, 除非这条比特串 被底层之外的东西解释为 全称闭合. 在底层内部, 同一条比特串只是一个 configuration.
定理之后那章用 BEDC 内核语言讲同一件事. 再后面那章用元胞底层 rule110/ 讲同一件事. 底层不弥合这条沟. 底层在能给出的最小具体形式上 暴露 这条沟.
这条沟用大白话说
你在一个封闭观测系统里面. (我们待会儿讨论你是不是真在里面, 但暂且承认.) 你在四下看. 你看到一棵树, 你看到一棵树, 你看到一棵树. 你相信 — 而且在依此行动 — 这个清单的下一项也会是树. 你相信所有自然数都有后继. 你相信任何良基的归纳到 \(\omega\) 都会终止. 你相信数学归纳法原则是有效的.
你不是从有限观测日志里推出这些信念的. 日志里没有它们. 日志里有有限多棵树, 零条全称闭合. 让你从「目前 k 棵树」走到「清单下一项也是树」的那个信念, 来自别处.
哪里?
关于「哪里」的三种命名以及为什么都答不上
当你问别人 数学归纳法从哪里来, 你通常听到三类回答:
直觉主义回答. 「这是一个基本直觉. 你就是 知道 任何自然数加一还是自然数. 这作为心智的原始官能给出.」
问题: 这个回答把沟挪了位置, 没有合上. 「心智的官能」现在成了做确认的那个东西. 这个官能本身从哪里来? 要么它在封闭底层内部 (那么上面那条定理说它无法确认任何全称的东西), 要么它在底层外部 (那么我们只是换了个名字提同一个问题).
柏拉图主义回答. 「数学对象独立于任何观察者地存在. 自然数在那. 归纳法原则对它们为真. 我们的心智 感知到 这个真.」
问题: 这个回答承诺了一个我们没法检查的本体结构. 我们被告知自然数抽象地存在; 我们的心智感知到它们; 这个感知是可靠的. 这些主张每一条都在技术意义上不可证伪 — 没有任何测试能区分它们成立的世界跟它们不成立的世界.
自然主义回答. 「演化选择出了归纳推理. 把过去频率投射到未来期望的神经系统适应度更高. 归纳法原则是一个 够用的 启发式.」
问题: 这是关于起源的回答, 不是关于有效性的回答. 在归纳法是有用启发式但不是合理原则的世界里, 同一个机制也会产生归纳推理. 我们仍然会相信 \(\forall n.\, P(n)\) 成立; 信念仍然没有任何内部记录支撑. 「有效的 全称闭合从哪里来」这个问题, 没被碰到.
三种回答都把困难挪了位置. 没有一种合上了它.
我们改用的做法
诚实的做法是 不命名一个源头. visions 章节把源头位置叫做 T, 并不给它任何正面内容. T 不是上帝, T 不是自然数, T 不是心智官能, T 不是演化. T 是一个占位符, 代表 如果底层是封闭观测的、且任何全称闭合要被确认, 必须存在的那个源头位置.
这叫 否定式 (否定式) 命名 — 通过说某物 不是什么 来命名, 拒绝承诺它 是 什么. visions 章节明确写:
供给 T 以否定式命名. 它唯一的正面内容是它扮演的角色: 它是「向前绑定信念进入封闭观测系统」的那个位置. 任何进一步描述 — 把它称作预言机、上帝、演化、柏拉图抽象 — 都加进了框架不要求且无法验证的承诺.
你应该把这读成框架被 逼着 给出的回答. 如果底层封闭, 源头就必须外在. 如果源头外在, 底层除了 T 扮演的角色之外就接触不到 T 的结构. 任何关于 T 的正面内容, 在结构上都越过了底层能验证的范围.
这不是神秘主义. 神秘主义是当你做了一个正面主张 — T 就是上帝, T 就是道, T 就是 noumenon — 然后拒绝替它辩护. 否定式命名恰恰相反: 你 拒绝 做正面主张, 因为框架的认识论禁止它.
你的位置
命名 T 的同一章也命名了 你. 每个有意识的个体 — 每个会分类、会观察、会相信下一棵也是树的东西 — 章节称之为 T 的 铭刻点 (铭写 point).
transcendental_input_and_induction.tex 的原则:
每个有意识的个体是先验供给 T 的一次局部具象. 供给不是泛地到达底层; 它通过铭刻点到达底层, 每个铭刻点都是底层自身的某个图样. 铭刻点因此既不与底层分离 (它本身就是底层图样), 也不可归约为底层 (它携带的向前绑定信念不是从底层内部记录里来的).
读两遍. 你是底层中的一个图样, 携带底层无法内部确认的信念. 让你看到「下一项是树」的那个分类器 — 在元胞读法下, 那个分类器跟 glider 一样是图样. 但它所携带的 内容 — 分类会继续适用、全称闭合成立 — 不来自底层的记录. 图样在底层里. 向前绑定不在.
这就是项目说的 铭刻读法. 不是神秘学说. 是给「框架认识论要求什么」的一个结构性占位符 — 给定封闭观测前提.
为什么这不是唯我论、神学或者认识论投降
不是唯我论. 框架断言底层存在, 断言底层中有图样, 断言铭刻点是这些图样之一. 世界是实在的. 图样是实在的. 其他铭刻点也实在, 其他观察者是可识别的.
不是神学. T 没有被赋予任何 — 能动性、意图、沟通、道德要求 — 「上帝」这个词在任何传统里携带的正面属性. T 是结构性论证里的一个位置. 把 T 称作上帝, 会让框架承诺它无法验证的主张.
不是认识论投降. 框架继续做数学, 形式化定理, 审计不变量, 建底层. 封闭观测系统的封闭性本身是个定理 (上面那条无归纳结果). 承认归纳法有外部源头不会让数学崩塌; 它定位了一条具体的结构性特征 — 数学先前安静地以为自己能内部解释的那一条.
某种意义上, 框架在 机械地 说出 Brouwer 当年说过的话. Brouwer 认为自然数连续统是由形式逻辑之外的「直觉行动」给出的. BEDC 把这件事形式化了: 形式逻辑 无法 从内部确认连续统; 外部输入是结构必要的; 我们命名它 T, 拒绝展开.
这对做数学意味着什么
实践层面: 什么都不变.
你仍然会用归纳法. 你仍然会信下一棵是树. 你仍然会信 Peano 公理工作. 框架不要求你停用归纳法; 它要求你诚实对待归纳法 有效性栖居在哪里.
它确实改变实践的地方:
根基性主张: 如果某个项目声称从「无」或「仅从逻辑」建出数学, 这个主张在结构上是假的 — 除非项目显式引入归纳法. BEDC 处于这个最小处: 每条定理由 Lean 内核的
inductive机制验证, 而这个机制 就是 CIC 底层里归纳法的铭刻点. 项目不假装归纳法是凭空冒出来的.AI 认识论: 整个认识底层就是训练语料的 AI, 在相关意义上是封闭观测系统. 该系统无法在开放定义域上内部确认全称闭合. 任何「该 AI 验证了 \(\forall n.\, P(n)\)」形式的主张, 要么在信任一个外部归纳法原则 (并应该说出来), 要么就是错的.
宇宙学主张: 如果宇宙是某种足够丰富的封闭观测底层, 那么对它结构的任何全称主张 — 包括归纳法自身有效性的主张 — 都是从它内部的铭刻点发出, 受同样的认识论约束.
这些不是新立场. 这些是「认真对待无归纳定理、不用『当然归纳法没问题』敷衍过去」的后果.
这 不是 什么
不是对数学或归纳法的驳斥. 定理说的是归纳法在内部不可 ratify. 它不说归纳法为假. 归纳法继续工作; 问题是它的有效性栖居在哪里.
不是说人类具有特殊形而上学地位. 铭刻点是底层图样. 任何分类器 — 包括原则上 AI 系统, 或足够复杂的元胞自动机图样 — 都是它所携带向前绑定信念的铭刻点. 框架不主张人类意识享有特权; 它主张 无论封闭观测系统依赖什么来做向前绑定, 那个东西外在于该系统.
不是新哲学学派. 该立场在跟 Brouwer 直觉主义、Wittgenstein 《论确定性》、Bohm 隐缠序框架、Pseudo-Dionysius 否定神学等等同样的邻域里. BEDC 的贡献不是哲学立场 — 是 机械地从底层内部强迫出这个立场 的封闭定理.
产生这条封闭边界的分类器纪律. MetaCIC: BEDC 第一个主结果 →
同一条封闭边界, 在元理论层, 配一条精确的无条件定理. Goedel 边界作为数据 →
两个层 — 元理论与元胞 — 上, 封闭边界都成为可测距离而非墙.
— The Omega Institute