这一页就是那座桥,而这座桥还没有被走过。本站其余部分都是形式层:定义、公理、机器检验过的定理,以及对它们覆盖不到之处的明确陈述。它们没有一句在说任何真实系统。这一页是理论唯一触到世界的地方——而它触到世界的方式,是给出本来就能失败的预测。
这个区别比这里的任何单条结果都重要。一条无法被证伪的理论,不是更强的理论。把 P1–P3 写成这个样子的全部意义就在于:一个实验室可以让它们站不住。
本纲领下游的断言是:重力下哺乳动物平衡的核心算法,就是心智边界算法的底层设施。这个断言不是在这里推导出来的。 这里真正导出的是一个控制算子:由最小作用加运动方程可得
一个 PD 调节器,其比例增益是势的曲率,其频率是边界振荡。这在结构上与成熟平衡控制器(PID,以及可变刚度的 PID)一致。正是这种一致,使下面三条预测可检验,而不只是耐人寻味。
| 系统 | 一个腿式平衡控制器(仿真或实体),具有可辨识的刚度增益与一个估计器。 |
|---|---|
| 量 | 工作张力 σ = (c₀/C₀)·κ²,由实测增益与实测可恢复集宽度算出。 |
| 判据 | σ 聚集在 1 附近,而不是散跨几个数量级。 |
| 什么能推翻它 | 一个控制器群体,其 σ 一致地远离 1。 |
| 陈述 | 平衡环频率为 ω = √2,采样 Δt < T/4 = π√2/4。 |
|---|---|
| 为何可核 | 这对应人类平衡摆动(~1–2 Hz)与控制带宽(~5–10 Hz)的 4× 倍数。 |
| 什么能推翻它 | 实测环频率与该倍数关系不符。 |
| 系统 | 与 P1 同一控制器,但估计器与执行器可被独立扰动。 |
|---|---|
| 量 | H(状态估计的熵)与执行器刚度。 |
| 判据 | 跨扰动二者协变为 σ ∝ H⁻²——等价地,刚度 ∝ H⁻²。 |
| 什么能推翻它 | 实测指数与 −2 不符,或根本不耦合。 |
| 项 | 状态 |
|---|---|
| 形式层(第一层、第二层、结构定理) | 机器检验 |
| 变量识别 κ ↔ 刚度 | 被假设,未被导出 |
| P1 · P2 · P3 | 未跑 |
| 任何真实系统上的任何测量 | 一个都没有 |
把话说准,桥断就是这样一副样子。数学本身不是问题——它已被证明。缺的,是一个真实控制器上的一个实测数字。这就是缺口全部;也正是为什么一份早期投稿被拒的理由落在桥上,而不落在证明上。