第十编 后果与更长的观察
前四章写的是一侧。这一章写另一侧,篇幅不比那一侧少——这是第五十九章第二条防作弊纪律在本编的形态:不利读数与有利读数同等篇幅。
一本书若把自己希望的那一侧写四章、把不希望的那一侧写半页,那么它前四章的可信度也要打折。
条款一判负的条件写在第五十四章第五节:不可消解度的置信上界不显著区别于噪声基线;具体形态是消去对称性之后的路径散度随规模衰减到噪声水平。
若如此,本书承认:
其一,在以固定材料为输入的知识形成中,路径不进入结果的规定。 这是第五十八章第一条写死的让步,一字不改。
其二,表征收敛假说在其强形式上成立。 即第六十八章第三节那个取胜条件被满足:对齐度的极限是完全对齐,而不是某个正的不一致水平。
其三,机器学习中所观察到的一切路径依赖都是计算性的——它是求解器的性质,而不是结果的性质。按第五十二章的定义,这意味着全部差异都属于”你还没走到”,没有一样属于”那里没有那个东西”。
三条承认里,第三条最重。它不只是本书输掉一场,它还要求本书把第五十二章那整根承重柱的实际适用范围缩到零:区分仍然成立,但世界上只有一边有实例。
这一节是本章的要点,而且它必须被写得像样,不能写成一次礼节性的让步。
若条款一判负,被建立起来的东西是这样的:
知识具有一种可被工程验证的稳健性——不同的路径、不同的共同体、不同的历史,只要材料与判准相同,终将到达同一处。
这是自启蒙以来科学的自我形象。它一直是一个哲学主张,靠论证、靠直觉、靠”科学毕竟有效”这样的间接理由支撑。
若条款一判负,它将第一次拥有一个在可控系统中的实验支持。
这件事的分量要说清楚。两千年来,先在论从未被实验支持过——它被大量的成功实践间接支持,但那些支持全部有第二编所说的那个毛病:产物层观察等价,成功的实践与两种解释都相容。一次在可重跑、可缩放、可干预的系统上得到的正面读数,是另一回事。它把一个默认立场变成了一个被验证的立场。
而一个被验证的默认立场,比一个未被验证的默认立场强得多——它此后可以被引用、可以被外推、可以在别的领域被当作先例。
因此这句话要原样写下来:
若读数如此,本书乐于交出这个结果,因为那时被建立的东西比本书想建立的更重要。
这不是风度。它是一个判断:一个被工程验证过的”知识稳健性”,其价值高于本书证明路径进入规定所能带来的价值。
在上面的承认之后,本书只坚持一件事:
这个承认必须来自不可消解度的置信区间,而不是来自趋势图上的一条向下的线。
理由是第六十九章整章的内容:一个衰减到零的量与一个衰减到正常数的量,在中间规模上几乎无法分辨;区分它们需要的是足够的跨度、冻结的拟合族、区间、以及事先声明的外推范围。
而第六十九章第三节已经写过,这条要求对本书自己同样有效,并且本书已经为它付过代价——首跑的行为通道单调下降,正是”看起来在收敛”的典型形状,而本书没有因此判自己输,也没有因此判自己赢。
同一条纪律,两侧适用。 本书不会因为一条向下的线就交出这一侧的承认,正如本书没有因为一条持平的线就宣布那一侧的胜利。
条款一判负是最重的一条。还有两条较轻的,一并写完。
若条款一通过而条款二判负——剩余差异可由语料统计量解释,或对齐后的连通率随规模趋于一——本书按第五十八章第二条让步:把核心命题降级为”路径影响到达解集中的哪一个成员,但不影响解集本身”。
并且承认:这个降级后的主张对本案不构成判决。 它与先在论完全相容,甚至是先在论的标准图景之一。本书不得把它包装成”部分胜利”。
这一条要补一句,因为它与第七十六章直接相关:条款二判负,意味着第七十六章那四个地址里,第一个或第四个被证实了——那个先在的集合确实可以被写出来,而且写出来的描述覆盖了实际到达的结果。本书在那一章说”向它要一个地址”,若地址真的被给出,本书就该认账。
若条款一、二通过而条款三判负——有人在替代路径族上以十倍预算做出了那个性质——本书保留”路径进入规定”,放弃”存在只有某条路径才到得了的结果”这一更强形式。这一条是三条里唯一只损失一部分的。
本书若在判据上输掉,交出的不只是一个结论。还有一批东西不随结论一起倒,它们值得单独清点,因为这是本书在那一侧唯一还能留下的东西。
其一,比值与噪声基线这条纪律。 第八十章第二节那句话——任何不给出噪声基线的路径依赖读数都不构成证据——对两侧同等有效。而按同一章第六节,今天这条纪律在两侧都没有被普遍执行:造成论那一侧的多种子材料多数没有归一化,先在论那一侧的对齐度读数同样很少报告”同一路径内的正常波动有多大”。若本书倒下,这条纪律仍应当立着。
其二,双通道不得合成。 第五十五章第四条。它的价值与判决方向无关:两个读数口给出相反方向时,合成会把最有信息量的那件事抹平。这一条在首跑里是三步防护中唯一真正起了作用的一步。
其三,“未能分辨”作为一个合法结论。 第六十四章。一套只有”通过”和”判负”两个取值的判据,等于强迫每次实验给出方向,而实验并不总有方向。这一条同样与判决方向无关。
其四,那份被自己证伪的冻结项。 第六十五章记录的是一次制度失效——预注册保护的是”事后不许改判据”,它不保护”事前把判据写错”。这件事的价值不在本案,在任何做预注册的地方。
四样里没有一样是”造成论的方法”。它们是测量路径效应所需要的方法,而无论最终判决落在哪一侧,那个测量都要被做一次。
因此这一节的结论是:若条款一判负,本书的主张倒下,而本书的工序留下。这不是自我安慰——第五十八章第一条的让步一字不减,核心命题该放弃就放弃。它只是把两件可分的东西分开:主张可以错,工序可以对。
一个具体的问题,值得单独答一句。
第三编用二十六章把两千年的谱系按”缺哪台装置”重排。这个重排的组织原则,是假定那台装置真的能判。若条款一判负,那个组织原则还成立吗?
成立,而且成立得更好。
第三编做的事情不是”证明他们都缺装置所以都没判出来”,而是”指出每个人的主张在装置到手之后会变成什么可测命题”。这件工作与判决方向无关:一个被翻译成可测命题的主张,无论最后被判成立还是判不成立,翻译本身都是有效的。
事实上,若条款一判负,第三编的价值会更显眼——它会成为一份记录:这些人各自主张的东西,在第一次被真的测过之后,结果是这样。 一份从未被兑现的翻译,与一份被兑现并判负的翻译,后者更有分量。
这一节的一般形式是:把命题翻成可测形式,其价值不取决于测出来是哪一边。 这句话本该是显然的,但在实践中常被忘记——人们倾向于认为为某个立场做的准备工作,会随那个立场一起失效。第五编与第六编同理。
这一节是本书不愿意写、但按纪律必须写的。
有人可能会以为,首跑的表征通道不向零衰减,多少对这一侧不利。不是这样。
理由一:首跑的结论是”未能分辨”,而未能分辨对两侧同等无效。第六十四章论证过它是一个结论,但那个结论的内容是”本跑判不出来”,不是”本跑略微倾向于某一侧”。
理由二:首跑的行为通道单调下降,方向正是这一侧。它没有满足判负条件的后半条(在最大规模上仍是基线的两倍以上),但它走在那个方向上。
理由三,最重要的一条:按第八十章第五、六节,首跑的三步防护只兑现了一步——基线是代理且跨规模不可比,探针全部自造且结论对配比高度敏感;更狠的是,两通道的不一致目前无法与”两把尺子量了不同的东西”区分开。这些缺陷削弱的是本书这一侧的读数,不是对手那一侧的。
三条加起来:首跑之后,先在论的处境如果有变化,是变好而不是变坏。 这句话写在这里,因为一本在自己有读数之后仍然如实报告对手处境的书,它的其余部分才值得读。
写完两侧,一个自然的问题是:那么本书自己押哪一边?
本书的正面主张在第八十一章附二写着,一字未改:存在构成性路径依赖。这是本书的主张,不是本书的预测。
两者的区别是:主张是要被检验的东西,预测是对检验结果的猜测。本书提出主张,并交出检验它的判据与败绩条件;本书不对检验结果下注,理由在第八十一章第五条——一本因为喜欢某个结论而去论证它的书,它的判据不可信。
而本编两侧各写一遍,正是把这件事做实:若本书只在乎赢,这一章不会存在。
下一章处理一条比判决本身更一般的观察。