引子

一个数学系的学生在完成了一学期的抽象代数课程后，记录了一段感受。他写道：“我通过了所有考试。我知道群的定义，知道子群、正规子群、商群的定义，知道同态基本定理的陈述。我可以用它们来解决标准习题。但我总觉得这些东西没有连在一起。它们就像一堆独立的工具放在抽屉里，遇到题目时，我不知道该用哪一个。”

他的感受不是个例，而是一种普遍的状态：系统接收了知识的形式，但尚未将知识组织成一个可导航的结构。当知识以孤立结论的形式储存在系统中时，它们在调用时需要在没有统一索引的情况下逐个检视所有已存入的内容，并尝试匹配当前问题。这种调取方式的效率会随着知识量的增加而下降——因为可选项越多，选择成本越高。当系统无法在可接受的时间内完成匹配时，它可能会放弃调用，从而表现为“学了，但不会用”。

构造学论要追问的是：一个人如何在数学学习中从“接受结论”到达“拥有结构”？从“知道定义”到达“理解位置”？这个转变是由什么触发的？什么样的操作能够缩短这个过程？

一、接受与拥有的构造学论区分

在构造学论中，“接受”与“拥有”是两种不同的系统状态。

接受是系统将外部输入存储为一个孤立节点，并记录它的表述形式。

当一个学生“接受”了群的定义时，他的系统存储了以下信息：

• 群是一个集合附带一个二元运算，满足封闭性、结合律、单位元存在、逆元存在。

• 群的定义可以用一个具体例子来验证——比如整数加法群。

但他可能不知道这些条件为什么被选为定义，不知道去掉任何一个条件会改变什么结构，不知道群的结构在代数系统整体中的位置。

拥有是系统将外部输入接入到多个已有节点上，使它在系统中具有可访问的位置。

当同一个学生“拥有”了群的定义时，他的系统能够：

• 从群的任一定义条件出发，指出它如何影响群的结构（例如，结合律使运算具有可组合性，逆元使群具有对称性）。

• 从其他结构出发，找到群的位置（从集合论出发，群是一个带运算的集合；从代数结构出发，群是环和域的基础构件）。

• 在遇到新问题时，判断是否需要调用群的结构来解决问题，以及从哪个入口进入最直接。

“接受”使系统能够复述知识。“拥有”使系统能够使用知识。

二、掌握的结构：从孤立节点到接入网络

“掌握”数学知识的过程，在构造学论中对应着将孤立节点逐步接入已有网络的过程。这个过程可以分为几个阶段：

阶段一：存储形式。

一个定理被接收时，它首先作为一个独立的节点被存储。存储内容包括：定理的陈述、定理的证明、适用的条件。在这个阶段，系统能够复述定理，但在调用时需要从存储中逐一查询，效率较低。

阶段二：建立连接。

这个节点开始与系统中已有节点的接口进行匹配——它连接了哪些概念？它是基于哪些前置知识构建的？它可以被用来推导什么？连接的建立不是一次性完成的，而是随着系统对其他节点的访问，节点之间会逐步增加可通行的路径数量。每建立一条连接，定理就从孤立节点向可接入节点靠近一步。

阶段三：嵌入地形图。

当一个定理与系统中足够多的节点建立了连接时，它会形成一个接入点——其他节点可以通过这个点进入或离开该区域。如果这个连接网络足够密集，系统就能够从多个方向进入该定理的所在区域，并在进入后预测下一步的走向。这时，该定理不再是“一个被记住的结论”，而是成为了一个接入点，位于一个可访问的路径网络中，可以通过不同的入口到达。

三、通往懂得的通道

一个人如何从“接受结论”移向“拥有结构”？这个过程需要通过可操作的方式来完成——它依赖于行为，而不是等待。

通道一：重述而非复述。

复述是重复输入的形式。重述是用自己的语言重新组织输入的结构。一个学生“复述”一个定理时，他使用的是原定理的表述格式。他“重述”同一个定理时，他需要识别出哪些是核心结构、哪些是辅助条件、哪些是可以被替换的术语。重述操作本身不需要外部反馈，但它会让系统开始检查自己是否真的理解了结构的内在关系。

通道二：切换表述。

一个数学结论可以用不同的语言来描述——集合论语言、范畴论语言、代数语言。当一个人能够用多种语言描述同一个结论，并且能够在不同语言之间进行翻译时，他对这个结论的理解已经从“一个结论”扩展为“一个可被多种框架读取的节点”。切换表述的操作使系统能够从不同方向接近同一个位置，并逐渐形成一个入口和出口分布清晰的接入点，而不仅仅是一个存储位置。

通道三：填充被省略的步骤。

数学文本中通常包含被省略的步骤——作者认为“显然”或“标准”的推理。当一个人能够识别出这些省略的位置，并能够用自己已有的知识将其补全时，他实际上是在重建该结论的构造路径。填充步骤的操作不是一个验证过程，而是一个构造过程——它使系统从“接受”转向“拥有”，因为它不再仅仅是被动接收一个已经构造完毕的结构，而是需要主动恢复其中被跳过的连接。

通道四：找到它在系统中的位置。

一个数学结论在系统中有两个位置：它在推导链中的位置（从哪些前置知识推导出来），以及它在应用中的位置（可以被用来推导什么）。当一个人能够同时指出这两个位置时，他就已经将这个结论接入了他自己的知识网络中。寻找位置的操作，将孤立的知识点纳入整体结构中，并赋予它功能——知道它由什么构成，也知道它能构成什么。

四、突破的触发：当接入密度达到临界值

突破的发生，通常不是由一个单一的新输入触发的，而是由系统中接入密度的积累达到临界值触发的。

当一个人持续将一个领域的结论接入自己的知识网络时，节点之间的连接会逐步增多，路径密度会随之上升。当密度达到某个临界点后，系统开始出现一种状态：从一个节点出发，可以到达的区域范围会突然扩大。原本需要多次绕行才能连接的节点，在新增一个接入点后变得可以直接连接。

这种状态被称为“突破”——它不是一个全新的结论从外部被接收的时刻，而是已有结论之间产生新连接的时刻。产生新连接的来源可能是识别出了两个领域的某种对应关系，也可能是将某个已理解的结构模式应用到新的输入上，或者将来自不同子模块的已有信息组合成一条原本不可达的推导路径。

五、构造学论的立场：懂得不是被给予的，是被构造的

“懂得”不是一种可以从外部接收的状态。一个人不会因为听了一次讲解就“懂得”了某个数学结论。他只能接收到结论的表述形式——它的定义、它的证明、它的例子。这些是外部输入，可以被存储。

而“懂得”需要系统完成一项内部操作：将接收到的输入接入到已有网络中，并验证接入后网络的结构是否仍然保持完整。如果它被存储在一个位置而没有接入接口，那么它在需要调用时可能无法被有效访问；只有当它被接入到多个已有路径中，使系统能够从不同方向定位它时，它才能成为一个可以随时调用和扩展的结构单元。

“懂得”不是被给予的，而是被构造出来的。一个人必须自己完成接入操作——外部系统可以提供输入，但无法代替他将输入接入到他的知识网络中的位置。

结语：从记住到抵达

那位抽象代数课的学生在学期结束后，做了一件事，他把整本书的定理按照“哪个定理用在哪个后续章节中”重新排列了一遍。他说：“排列完之后，我才知道哪些定理是支撑结构的，哪些是装饰性的。”

他知道定义，但直到那个排列之后，他才开始理解这些定义在系统中的位置和功能。他还没有完全“懂得”整本教材，但他已经开始构建通往那个状态的结构了——不是通过更深入地研究某个定理，而是通过重新建立节点之间的连接，使它们从孤立的结论逐渐变成一个可以导航的网络。

他后来对一位同学说了一段话：“我以前以为‘懂得’就是能够复述。现在我觉得，‘懂得’应该是能够在一个定理的结构中自由穿行，知道从哪里进入会更快到达目的地，也知道哪个方向是通向别的入口而不是终点。”

支持单位：