引子

一所大学的数学系里，一位博士生在论文答辩的开场白中说了一句话：“我的研究不是从答案开始的。我是从一个我无法忽略的困惑开始的。”

他的导师坐在前排，微微点头。答辩委员会的几位教授对视了一眼。一个困惑，而不是一个问题。困惑与问题之间的区别在于，问题已经有了可识别的边界，已经知道用什么框架去接近它，只是还不知道具体的解是什么。而困惑还没有确定的边界，不知道用什么框架，也不确定自己是否已经具备了阅读它的条件。

数学家韦尔曾经说：“我们不是解决问题，我们是发现解决某个问题需要的框架。”这句话翻转了常规的认知顺序，把一个常见的顺序——先有标准框架，再按步骤接近目标——颠倒了过来。一个好的问题，通常是先被识别为“有问题但还不知道该怎么框定”，然后在尝试框定它的过程中产生一种新的表述，这种表述本身就已经接近了解的一半。

构造学论要追问的是：一个研究过程，如何从困惑出发，经过提问、证明、验证，解释，最终到达可被吸收的知识？这几个环节在构造学论上是如何衔接的？为什么有些困惑能够转化为可运行的构造，而另一些困惑始终停留在困惑本身？

一、提出问题是第一次构造

“提出问题”在构造学论中被定义为将一个未识别的困惑转化为一个可被系统识别的边界标记。

一个困惑在被表述为一个问题之前，它在系统中的存在状态是系统识别到一个信号，但这个信号无法被任何已有分类所覆盖。它既不是已知问题的未解状态，也不是已知答案的违反状态——它是一种“这里有不一致，但我不确定不一致的边界在哪里”的感知。

将一个困惑转化为一个问题，需要完成三个操作。

操作一：命名。 为困惑提供一个临时名称。这个名称不需要精确，不需要被验证，它只需要一个可被引用的占位符。“这个方向似乎有某种规律”是一个困惑；“这种规律是否与某类已知现象有关”是一个问题。命名的操作，就是把“似乎”替换为“是否”，把“某种”替换为指向一个已知对象的名称。命名之后，困惑从“不可言说”进入了“可以被追踪”的状态。

操作二：定界。 划定问题的边界。不是划定“问题是什么”，而是划定“问题不是什么”。一个研究者在阅读文献时逐步确认哪些方向已经被之前的探索覆盖、哪些方向已经被标记为不可行。通过排除这些已占据的位置，他逐步缩小自己可能探索的区域。定界是反向的标记——它不是标记要进入哪里，而是标记不必再进入哪里。

操作三：接入。 将问题与系统已有的工具集建立连接。一个好的问题不仅仅是被清晰地表述，还需要有一个可接入的位置。如果一个问题与系统已有的工具没有接口，它就处于悬置状态——它存在，但系统无法对其执行任何操作。创建接口的过程，本身就是一个构造行为。

二、解决证明是路径的铺设

“解决证明”在构造学论中被定义为在问题的边界与终态之间，铺设一条可被系统追踪的路径。

证明不是“达到终点”——证明是“使从起点到终点的路径可被追踪”。一个好的证明，不仅让同行相信结论成立，还让同行能够沿着同一条路径重新走一遍，并理解为什么这条路径通向终点而非其他地方。

路径铺设需要满足三个条件。

条件一：每一步都可被验证。 路径上的每一个节点，都必须在系统内部有对应的可验证条件。如果一个中间步骤依赖于一个未经检验的假设，那么整条路径在该点处失去了可追踪性。系统可以在假设处暂停，也可以回到该点进行补证——但暂停和补证的成本会叠加到路径的总成本中。证明是一种持续的决策过程，每一步都需要在选择后接受系统的验证，然后在验证通过后才能继续推进。

条件二：路径长度在系统的可接受范围内。 一个证明如果太长，即使每一步都是正确的，系统也可能无法完成追踪。不是因为它不接受证明的结果——是因为它无法在不丢失上下文的情况下走完整个证明。路径长度本身是一种约束条件，它决定了哪些证明可以被有效吸收，哪些证明因为长度超出了系统的处理能力而被搁置。

条件三：路径上的关键节点可被独立提取。 一个好的证明，其价值不仅在于到达终点，还在于它沿途留下的标记——某些关键步骤可以被提取出来，应用到其他问题上。证明的“可复用性”取决于路径上是否存在可独立运行的子结构。如果一条路径是一个不可拆分的序列，当路径长度超出系统能力时，它就会失去接入机会；如果路径由多个可独立验证的子结构串联而成，系统可以分阶段接入它，而不会因路径长度而完全丢失对它的追踪。

三、验证并解释是节点的接入

验证与解释在构造学论中是两个操作，但它们共享同一个结构，将证明所铺设的路径，接入到系统的已有网络中，使路径的位置和连接关系变得可被读取。

验证检查的是路径上的每一步是否符合系统内部的可验证条件。它的输出是“是”或“否”——路径是否有效。验证操作在证明完成后执行，也可以在证明过程中分段执行。在形式化系统中，验证的边界是明确的——每一步都有一组可检查的规则。在非形式化系统中，验证的边界由领域内共享的判断标准来划定。

解释处理的是另一个问题。比如这条路径在系统的地形图中处于什么位置？它连接了哪些已有的节点？它改变了哪些路径的可达性？它的加入是否使得某些原本需要绕行的节点之间出现了更短的连接？解释的输出不是“是”或“否”——而是一张位置图。

验证回答“它对吗”，解释回答“它在哪里，它改变了什么”。

一个好的解释，能够使其他系统不需要完整重走整条路径就能判断路径的位置。它降低了路径的接入门槛，并提高了路径在系统中的接入可能性。

四、选择性吸收是系统的自我更新

“选择性吸收”在构造学论中指系统在验证和解释之后，决定将路径的哪些部分纳入自身的结构，从而改变系统未来的运行方式。

吸收不是“接受所有正确的结果”——吸收是决定哪些路径值得保留、哪些路径的哪个部分应该被接入系统、哪些部分可以作为路径的附属标记而被存档。

选择性吸收遵循三个判断依据：

依据一：路径的可复用性。 如果一条路径中包含可独立运行的子结构，这些子结构可以被提取出来，作为独立的工具或方法被存储。在后续处理相关问题时，系统可以调用这些已存储的结构，而不需要重复构建相同的路径。可复用性越高的路径，被接入的概率越大。

依据二：路径的连接增益。 如果一条路径的加入使得系统中原本不相连的多个区域变得可通行，那么它在构造学上具有较高的连接增益。连接增益的大小，决定了系统吸收该路径的优先级。

依据三：路径的修正能力。 如果一条路径指向了系统中已有的一个不稳定节点，并且在到达后对该节点之前的定位提供了修正，那么系统会优先接入这类路径，因为它改变了系统已有的运行基础。修正类路径的吸收成本通常较高——因为系统需要同步更新依赖该节点的其他路径——但它的长期增益通常高于常规路径。

五、构造学论的立场：研究是对这四个操作的持续编排

前面提到的四个环节——提出问题、解决证明、验证解释、选择性吸收——不是一个线性的序列，而是一个可重入的循环。

系统可以在验证过程中发现原来的问题被错误框定，于是回到第一步重新提出问题。它可以在解释路径时发现路径中的一个中间节点其实可以独立运行，于是在吸收时提取它作为一个新的工具。它可以在吸收之后发现系统的地形图已经改变，原来被关闭的某个问题变得可接入，于是再次启动提问操作。

因此，研究活动不是“从问题到答案”的单向推进，而是这四个操作在系统内部的持续循环。

结语：从困惑到可运行的节点

那位博士生答辩的开场白——“我的研究不是从答案开始的”——在全场的沉默中显得并不突兀。他的导师后来在私下说了一句：“他能区分困惑和问题，这本身就是一种已经被验证的判断。”

困惑转化为问题，问题通过证明获得了路径，路径通过验证被确认有效，通过解释被定位在地形图中，通过选择性吸收被纳入系统——这四个操作完成之后，原来的困惑已经不再是一个困惑。它已经变成了系统中一个可接入的节点。

新的困惑会继续产生。系统已经准备好如何接收它们了。

支持单位：