English
边界理论 · 高学强
首页 / 实验

那座桥,以及三条可以失败的预测

理论在这里变得可证伪——也在这里停住

这一页就是那座桥,而这座桥还没有被走过。本站其余部分都是形式层:定义、公理、机器检验过的定理,以及对它们覆盖不到之处的明确陈述。它们没有一句在说任何真实系统。这一页是理论唯一触到世界的地方——而它触到世界的方式,是给出本来就能失败的预测。

这个区别比这里的任何单条结果都重要。一条无法被证伪的理论,不是更强的理论。把 P1–P3 写成这个样子的全部意义就在于:一个实验室可以让它们站不住。

这些预测从哪来

本纲领下游的断言是:重力下哺乳动物平衡的核心算法,就是心智边界算法的底层设施。这个断言不是在这里推导出来的。 这里真正导出的是一个控制算子:由最小作用加运动方程可得

一个 PD 调节器,其比例增益是势的曲率,其频率是边界振荡。这在结构上与成熟平衡控制器(PID,以及可变刚度的 PID)一致。正是这种一致,使下面三条预测可检验,而不只是耐人寻味。

P1 —— 判据会聚集 可证伪预测

系统一个腿式平衡控制器(仿真或实体),具有可辨识的刚度增益与一个估计器。
量工作张力 σ = (c₀/C₀)·κ²,由实测增益与实测可恢复集宽度算出。
判据σ 聚集在 1 附近,而不是散跨几个数量级。
什么能推翻它一个控制器群体,其 σ 一致地远离 1。

P2 —— 频率是定的 可证伪预测

陈述平衡环频率为 ω = √2,采样 Δt < T/4 = π√2/4。
为何可核这对应人类平衡摆动(~1–2 Hz)与控制带宽(~5–10 Hz)的 4× 倍数。
什么能推翻它实测环频率与该倍数关系不符。

P3 —— 两种扰动会耦合 可证伪预测

系统与 P1 同一控制器,但估计器与执行器可被独立扰动。
量H(状态估计的熵)与执行器刚度。
判据跨扰动二者协变为 σ ∝ H⁻²——等价地,刚度 ∝ H⁻²。
什么能推翻它实测指数与 −2 不符,或根本不耦合。
这一段不能跳过。 那个映射只在变量识别之后成立——κ 对刚度,以及它的同伴们。那个识别正是被检验的假设本身,它不是由理论导出的。 映射假设

理论提供形式。断言提供语义。判决属于在真实系统上跑的 P1–P3——不属于这一页。

状态

项状态
形式层(第一层、第二层、结构定理)机器检验
变量识别 κ ↔ 刚度被假设,未被导出
P1 · P2 · P3未跑
任何真实系统上的任何测量一个都没有

把话说准,桥断就是这样一副样子。数学本身不是问题——它已被证明。缺的,是一个真实控制器上的一个实测数字。这就是缺口全部;也正是为什么一份早期投稿被拒的理由落在桥上,而不落在证明上。

← 可观测量 下一页:机器检验结果 →