判断卡片：光滑化不是一个错误，它是人类知识得以积累的前提。若每一代人都必须从零把全部数学重新发生一遍，文明将寸步难行。本书不主张取消它，也不认为它可以被取消。全书的判断只落在一处极窄的地方：适合存储与传递的形态，未必适合习得；而这两个形态在历史上从未被分开处理过。
编三前四章连着四刀，读到这里的读者极可能已经形成一个印象：光滑化是一件坏事，是一次持续了两千五百年的集体失误，应当被纠正。
这个印象是错的，而且它比本书要反对的任何东西都危险。 一旦读者带着它去改课，会立刻做出三件蠢事：取消定义、取消严格性、把每一节课都上成数学史。第十九章会给出这三件事在二十世纪已经被大规模试过一次的记录，以及它的后果。
所以这道挡板要立在编三的正中间，而不是放在末尾的"当然，我们并不是说……"里。按本书自己第十五章那条判据，一句放在最后的限定，就是一块补丁。
先把光滑化承担的工作老老实实列出来。
其一，它使知识可以被完整搬运。 一个定义写在纸上，可以从教师的板书抄到学生的笔记本上，一个字不差；可以被抄写、翻译、印刷，跨越语言与文明传下去，不损失任何东西。《几何原本》能传两千三百年，靠的正是它被磨得足够光滑—— 一件带着毛刺、带着人名、带着某年某月某地某场争论的东西，是搬不动的。
其二，它使知识可以被外部核查。 第二章已经说过：一旦要求每一步都从明写的前提推出，那些"大家都觉得显然"的东西就必须被写下来。第五公设正是因为被写了下来，两千年后才有人能够去动它。没有被写出来的假设不可能被推翻。 光滑化磨掉的是来路，但它同时逼出了前提——这两件事是同一个动作的两面。
其三，也是最要紧的一条：它使后人不必重走那条路。 一个今天的中学生，用一个下午就能掌握当年花了两百年才磨出来的极限概念。这不是他比柯西聪明，是因为柯西那两百年的搏斗被压成了一句话交给了他。站在前人肩膀上，其物理形式就是站在被磨光的成品上。
把这三条合起来：如果没有光滑化，每一代人都必须从零把全部数学重新发生一遍，那么人类的数学知识将永远停留在一个人一生能够重新发现的量级上。 那个量级，大约是古希腊。
光滑化是一项伟大的效率工程。 这句话在本书里不是客套。
问题只在一处，而且这一处必须说得极精确，否则整章白写：适合存储与传递的形态，未必适合习得。
光滑成品是知识最适合被保存和搬运的样子，却是它最不适合被一个新学习者接住的样子。这两件事没有任何理由必须由同一种形态承担，而在历史上，它们从未被分开处理过——因为存储那一份先做好了，而且做得那么成功，以至于没有人再去问是否需要另做一份。
于是可以给出本书对整场争论的第二个判断（第一个在导论第三节）：发现学的失误，不在于使用了光滑化的成品（那不可避免，也是必要的），而在于误以为"存储的形态"可以直接充当"习得的形态"，把档案馆里的东西原样搬进了课堂。
这是一次格式的僭越，不是一个观念的错误。它没有人决定，它是那个成功自动带来的——第二章那条贯穿全书的判断在这里第三次出现：光滑化的每一次制度化，不是由某个人决定的，是由某个成功决定的。
由此得到一对张力，而且它是真实的、不可消解的，本书不打算调和它：文明需要把知识磨光以便传下去，教育需要把它重新磨粗以便长进来。
这一对里没有谁对谁错。磨光的一侧承担积累，磨粗的一侧承担习得；两侧都是必需的，而且两侧的要求方向相反。
发生学教学法要做的，不是取消磨光，是在该磨粗的地方把它磨粗。而"该磨粗的地方"不是任意的——第十一编第三章会给出边界：当学习者的相关底盘已经厚实、当某个显露已经作为常识地基沉稳、当情境要求快速传递而非深层重构时，直接端出光滑的成品不仅无害，而且高效。发生学不主张对每一个概念、每一节课都实施还原。
它主张的只有一条，而这一条很窄：对那些学生反复犯同一个错、学过就掉、迁移不动的概念，还原是唯一的出路——因为那些错误正是改写从未发生的信号，而改写只能靠把困境与路径还回来才赢得。
有一个反问会自然出现，而且它相当有力：既然光滑化是文明的必需，那么"接收者被写下一条关于底盘的规则"这件事，会不会也是必需的代价？
换句话说：如果为了积累，我们必须交出一批"只会用而不知来路"的人，这个交易划不划算？
本书的回答分两半，而且要说清楚。
第一半：在很多场合，这个交易是划算的，本书不反对它。 一个人一生中会用到无数他不知道来路的东西——他不需要知道电的来路才能开灯，不需要知道十进制的来路才能算账。对绝大多数已经沉为地基的东西，不知来路是正常的、健康的、必要的。 第七编第三章那个"死于成功"说的正是这件事：一条路走通了千百遍，熟到沉进身体，那是好事。
第二半，也是本书的全部争点：那条被写下的规则，管的不是某一个对象，是所有对象。 一个人可以不知道十进制的来路而毫无损失；但如果他因此写下了"数学对象一般而言没有来路"这条规则，那么他对下一个对象的接收方式就被改变了，而且是不可见地改变了。
代价不落在已经学会的那些东西上，落在还没有学的那些上。 这就是第四编要说的全部内容，也是本章这道挡板为什么只挡到这里为止的理由。
本章第二节说光滑化扛着三件真事，第三节说问题只在"存储的形态被原样当成习得的形态"。但还有一件事本章欠着：既然这道工序不能取消，那么与它相处的最不坏的方式是什么？
有一个现成的答案，而且它已经运行了几百年。
导论第五节那篇哲学史总纲对现代科学跑过一次测试，结论是：科学也没有逃出去，它照样持有免检品。 它的申报单上至少有四件：数学的可用性（为什么宇宙偏偏听得懂微分方程，天天在用而无人能证）；归纳的实践（休谟的问题从未解决，只是被实验室的日常悬置了，而这一默认写不进任何一篇论文的方法节）；仪器链的信任（每台仪器由上一代仪器校准，链条的源头是感官与约定）；以及 "可证伪性"这条标准自身不可证伪——它不是科学命题，是立法。
但它与哲学那三十次有一处决定性的不同：
它把这件事制度化了。同行评议、可重复性、公开数据——这些建制等于把"下一环的拆
迁队"提前雇进了自己家。
而且它的免检品大多摆在明处：一本教科书的第一章通常直说"本学科假定自然齐一"。
于是那句判词，本书全书采用：
科学没有逃出去，它做了另一件事——与拆迁队签了长期合同：以持续挨拆换取持续承
重。
这份合同是本书对第三节那个问题的全部回答。
不能取消光滑化，也不必取消；能做的是把它的产物摆到可以被拆的位置上，并且预先把拆它的人请进门。这不是一种妥协的姿态，它是一种可以被写进制度的具体安排——同行评议不是道德，是流程；预注册不是谦虚，是格式。
本书全部的自我安排，抄的正是这份合同的格式。 编六第三十三章那三个预注册实验、三条撤稿级条件、每一编末尾的可推翻条件、每一章那节 "一处对本书不利的读法"——这些不是本书的风格，是本书对这份合同的一次签署。
而这一条同时给出了本书对教学的最终建议的形状，编九与第三十四章会展开，这里先写下它：
一份教材、一节课、一套课程，最不坏的存在方式不是"讲得更准"，是把自己的前提摆
在明处，并把检验它的人请进来。
按本章第一节那条判据（定义在第几段），一本"把前提摆在明处"的教材长什么样是可以说清的：它在每一章的第一段告诉读者，这一章的这个东西是为解决什么而出现的；在末尾告诉读者，它在什么情况下不够用。
这两句话加起来不到一页，而绝大多数教材两句都没有。
本章第二节说光滑化的第三件功劳是"后人不必重走那条路"。这句话容易被当作一句空泛的赞美，本节把它变成一个可以算的数。
取一个具体的东西：解一元二次方程。
今天一个初中生学会求根公式，大约需要两三节课。而这条公式背后的路径有多长？
巴比伦的泥板上已有解特定二次问题的算法，用的是配方的几何形式（把一个正方形补全），距今约四千年。丢番图、婆罗摩笈多、花拉子米各自处理过它，而其中花拉子米那 本 书 把 它 分 成 六 种 情 形 分 别 讨 论 — — 因 为 他 不 接 受 负 系 数 ， 所以"x²+bx=c"与"x²=bx+c"必须当成两类问题。统一成一条公式，需要先接受负数（本书第十四章那一条），而那件事本身花了几百年。再需要接受负数开方（才有判别式小于零的情形），那又是几百年。
于是那条两三节课就能教完的公式，压着大约四千年、跨越至少四个文明、并且依赖两次本体上的让步（接受负数、接受虚数）。
这个比值是这道工序的效率的直接度量：四千年压成三节课。
本节要说的不是这个比值有多惊人，而是它说明了什么：任何要求"每一代人重新发生一遍"的主张，在这个比值面前都是不可行的。 若一个学生必须自己走通那四千年里的每一步，他这辈子学不完初中数学。
这就是这道挡板必须立在编三正中间的全部理由。
而请注意，这个算例同时给出了这道挡板的边界在哪里。那条求根公式的四千年里，有两样东西性质不同：· 技术性的曲折（六种情形的分类讨论、各种特殊算法）：不必重走，而且重走有害，
它们是被更好的表示消化掉的历史包袱。· 两次本体上的让步（接受负数、接受虚数）：这两件事，每一个学生仍然要在自己身
上发生一次。 一个不接受"比没有还少"的学生，用不了那条公式；一个不接受"负数
可以开方"的学生，遇到判别式小于零就只会写"无解"而不知道那句话的意思。
于是这道挡板的边界可以写得很准：
可以省掉的是路径的曲折，不能省掉的是路径上那几次让步。
而光滑化把两样一起磨掉了。 编六第三十章那条"困境常可原样还，路径几乎总要重铺"，说的正是这一处的操作后果：要还的不是那四千年，是那两次让步。
一条反读，针对的是本章那条张力本身。
反读是："文明需要磨光，教育需要磨粗"这一对张力，是本书自己造出来的，而且它假定教育的目的是"长进来"。
具体地说：教育的目的可以完全正当地是"让人会用"。 一个社会需要大量会算账、会看图表、会用统计工具的人，不需要每一个都在自己身上把统计学重新发生一遍。 "会用而不知来路"不是失败，是分工。 本书把它诊断为病，隐含了一个未经论证的价值前提：深层理解比熟练使用更值得。
本书接受这个指控的核心，并且认为它必须被正面回答，而不是绕开。
第一，本书确实不主张深层理解在一切场合都更值得。 编三第十八章第三节那三条判据说的正是这件事：大部分内容一份形态就够，只有少数必须两份。一个只需要会用的东西，教到会用为止是正确的，不是失败。
第二，本书的判断不是价值判断，而是一条关于后果的判断，而且它是可以被检验的。 本书不说"会用而不知来路是坏的"，本书说的是编四那件事：每一次这样的接收，都在接收者身上写下一条关于所有后续对象的规则。 若这条机制不成立，本书这个批评就落空了——这正是编六第三十三章那个实验要判的。
第三，也是本书愿意让步的一处：即使那条机制成立，"划不划算"仍然是一个价值问题，本书不裁决。 一个社会完全可以判定：为了效率，接受一部分人的改写权被关掉。本书能做的是把这笔账的另一侧摆出来——代价不落在已经学会的东西上，落在还没有学的那些上（本章第五节）——但这笔账怎么算，不是本书能决定的。
本书唯一坚持的是：这笔账目前根本没有被算过，因为账的另一侧从来没有被记录过。 编六第三十三章那张量表，最低限度的用处是让这一侧第一次有一个数字。
这道挡板立起来之后，本书的判断范围就窄下来了，而且窄得清清楚楚：· 本书不反对光滑化。· 本书不反对讲授、定义、严格性、公理化。· 本书只反对一件事：把存储的形态原样当成习得的形态，并且从未意识到自己在这样
做。
下一章要处理这两个形态什么时候可以合用一份、什么时候不能；再下一章要给出一次把它们合用到极限的历史记录，以及那次记录的后果。