专著母题 · 德麦国际专著第 124 号
《可判性的到来》
两千年判不了知识是发现还是发生，缺的不是论据而是能重跑过程的装置；装置到了，这道题才第一次有被判错的资格。
一、它推翻的默认看法
默认看法有两种。一种是先在论的背景预设：对象先于知识存在，方法是中立通道，知识是逐次逼近的累积。回忆说的灵魂与理念世界早已无人穿戴，这三条骨架却仍在教育评估、科学史叙述、专利归属、人工智能目标里每天被用，多以预设而不是主张的形式存在。另一种是对悬案久拖不决的解释：以为是哲学家不够聪明，或论据不够多。本书认为两种看法都错在同一步：没有看到这道题的不可判性来自对象本身，历史只发生一次，没有第二个十七世纪的欧洲，没有清空记忆再学一遍的学生，判决所需的干预在人类知识史上没有对象可施加。
二、母题怎样立起来
起点是《美诺》悖论：探究者若知道要找什么就不必找，不知道则认不出找到没有。先在论说被知道者先于知识，造成论说某些规定在特定路径中才获得。作者先问为什么判不了，答案是三道闸。闸一是观察等价：可检查的只有产物，过程消失，多重发现、独立可重复性、技术的成功三类证据是零分辨力证据，因为可重复性稳定的恰是被定义为与路径无关的那部分。闸二是造成论自己关上的：把构成装置主张为普遍必然（康德的先验形式、皮亚杰的发生阶段），便与先在论给出相同预测，自伤。闸三是干预不可施加：借哈金与伍德沃德的干预判据，判决需要可重跑、可干预、可消融、可观测四条性质，人类知识史一条也给不出。
然后用这四条卡候选实验台：量子测量、实验演化、早期人工生命与遗传算法都被排除，基底训练四条同时满足，理由只在冷的工程事实，不在像不像人脑。接着做翻译：固定材料、装置、判准，只改变路径，所有可到达结果的集合叫可达集；先在论预言其中元素在知识相关层面等价，造成论预言存在实质不等价的元素。翻译的目的是把判不了的争论变成可以输的争论。最后用计算性与构成性路径依赖的区分，立出三条从弱到强的条款，并在首跑里亲手执行，结论只是“未能分辨”。由此母题成立：进展来自装置出现，而不是更强的论证。
三、核心构念
- 计算性路径依赖与构成性路径依赖：前者是“你还没走到”，后者是“从这条路走过去，那里没有那个东西”；全书的承重区分，也是以往案例只做到前者的原因。
- 可达集 Reach(C,A,L)：固定材料、装置、判准，改变路径所能到达的结果集合；把形而上学分歧翻成可测形式。
- 三道闸：观察等价、普遍性自伤、干预不可施加；解释为什么判不了，同时给出要判需要什么。
- 判决的四条性质：可重跑、可干预、可消融、可观测；必要条件，用来卡实验台候选。
- 三条款与量：规模消解检验（不可消解度κ）、语料可归约性（可归约份额ρ）、可达集不足（资源标定下的不可达）；对应先在论三道退守防线。
- 未能分辨：两通道结论不一致时按预注册作出的判决，是结论而不是弃权。
四、全书骨架
十编八十七章，加结语与五个附录。第一编讲悬案的形状；第二编讲三道闸；第三编按“缺哪台装置”重排二十六位哲学家，每位三节，纪律是不把任何人写成失败者；第四编立实验台；第五编做翻译；第六编给出三条款与写死的败绩条件；第七编是首跑；第八编陈列先在论的实证武器，不许把对手写弱；第九编是五记反击与本书不主张的六件事；第十编写若倒向造成论或先在论各有什么后果，并以可判性本身是历史的收束。
五、关键案例与证据
多重发现（牛顿与莱布尼茨的微积分、达尔文与华莱士、贝尔与格雷同日申请专利）用来说明零分辨力。康德的先验形式与先在论观察等价，并在二十世纪重演四次自伤。首跑用24个公开检查点（14M、31M、70M、160M四个规模，各五个种子，另四个作基线）：表征通道距离在0.35到0.45之间不向零衰减，行为通道从0.263单调降到0.116，两通道不一致，判未能分辨。首跑还暴露预注册的一项冻结条款（相邻检查点作噪声基线）跨规模不可比，作者没有改读数，而是写成第六十五章。作者的网格生成经历是起点：同一形体、同一判准，换生成次序，网格结构不同。
六、碰撞接口
- 可抽出的命题：凡一类问题的不可判性来自过程不可重跑，进展便来自可重跑装置的出现，而不是更强的论证。若两种说法在产物层上等价，则产物层证据对二者零分辨。预注册保护事后不许改判据，不保护事前把判据写错。
- 可相撞的方向：与任何“发现或发明”类争议相撞，如数学实在论、专利与归属、科学史说明模式；与研究基底训练可重复性的实证工作相撞，可撞点在κ、ρ能否独立算出。
- 站内邻书：第76号《发现与发生》（同向，同一对概念的先行论述）；第121号《发生落点》（同向）；第182号《普通人都能明白的波普尔》（同向，证伪何以不触及本案）；第171号《胡敏讲莱布尼兹：普通人都能懂》（同向，先天与路径之争）。
七、边界：什么情况下算错
作者划定：本书不证明人类知识是被造成的，只取消一条原则的先天地位；不主张基底有或没有理解、意识、智能；不主张相对主义。失败条件写死在败绩条款里，其结构性弱点是判负条件由本书写、判是否触发也是本书。实验台自己也是被造出来的，工程界造它想的是别的事。第七十八章承认接不住一记：语境内临时形成的程序，是形成还是激活，给不出可测界限。判据依赖借来的干预主义前提，若存在不可干预的因果，四条清单便不是唯一清单。