计划跟变化之间的差距果然太大了。

说实话，在做推演的时候乔源其实想到了一部分主业做经典分析的数学家肯定会看他不太舒服。

事实上这种情况他已经经历过了。

到现在物理学界对他依然是又...

乔源坐在全斋办公室的窗边，午后阳光斜切过半张书桌，在摊开的高中数学课本封面上投下一道锐利的光痕。他指尖无意识地叩着桌面，节奏匀称，像在心算某个尚未落笔的微分方程。课本封面印着“人教版·必修一”，纸张崭新，油墨未干，翻开来第一页便是集合的概念——用大括号罗列元素、子集与真子集的定义、空集符号?……这些字眼在他眼里浮起又沉落，如同水底倒影，清晰却毫无重量。

他没读下去。不是看不懂，而是太懂了。懂到每一个符号背后都延展出一片稠密的拓扑空间，每一条公理都能推演出至少十七种等价表述，每一处教材里标注“此处不作证明”的留白，都像一块未经打磨的钻石原石，在他脑中自动完成晶格切割与折射路径模拟。他轻轻合上书，发出一声极轻的“啪”。这声音被窗外梧桐叶的沙响吞没，却让刚端着保温杯推门进来的杨证道脚步顿了半秒。

“老孔，你来得正好。”乔源抬头，眼神清亮，“课本我看了三页，发现一个问题。”

杨证道把保温杯搁在桌角，杯底磕出清脆一响：“什么问题？”

“教材里说‘函数是描述变量之间依赖关系的数学模型’，这句话本身没错，但作为定义，它漏掉了最核心的约束：可判定性。”乔源伸手，食指在虚空中划了个圈，“一个映射要成为函数，必须存在一个有限步骤的算法，能在任意输入下，于有限时间内判定其是否属于定义域，并输出唯一对应值。否则它就只是个关系，不是函数。”

杨证道没接话，只微微颔首，镜片后目光沉静如深潭。他知道乔源不是在考他，而是在梳理某种思维底层结构——就像工程师调试电路前先校准示波器的零点。

“所以袁老让我出题，不能考察思维，不能考高阶知识，还得让高中生能解……”乔源忽然停住，手指点了点自己太阳穴，“我刚才想，如果一道题，表面看是解一元二次方程，实则检验的是对‘解的存在性’与‘解的可构造性’的直觉区分——比如给出一个含参方程x2 + ax + b = 0，但参数a、b并非实数，而是来自某个抽象代数结构；题目要求‘判断该方程是否有实数解’，可学生根本没见过那个结构，更不知道如何计算判别式……这时候，真正拉开差距的，不是计算能力，而是能否意识到：当题目问‘有没有解’时，它真正问的是‘在这个给定系统里，是否存在满足条件的元素’——而这本质上是个逻辑命题，而非代数运算。”

杨证道终于开口：“所以您打算出一道伪装成代数题的逻辑题？”

“不完全是伪装。”乔源摇摇头，从抽屉里抽出一张空白A4纸，撕下半张，笔尖悬停片刻，落下第一行字：“设S为所有满足以下条件的正整数集合：对任意n∈S，n+1也属于S；且1∈S。问：S中最小的元素是多少？”

他写完，把纸推过去。

杨证道扫了一眼，眉头微皱：“这不就是数学归纳法的起点吗？显然最小元素是1。”

乔源笑了：“你看，你立刻用了‘显然’这个词。但一个高二学生，如果刚学完集合论基础，可能连‘∈’符号都还没形成肌肉记忆。他看到这个题，第一反应会是——抄下来，算一算，试几个数：1在S里，2也在，3也在……然后他可能写‘最小元素是1’，也可能写‘没有最小元素，因为可以无限小’，甚至可能把S当成空集。”

“那答案呢？”

“没有标准答案。”乔源身体前仰，靠进椅背，“这道题真正的评分维度，是看他如何论证自己的结论。写‘显然是1’的，给1分；列出前五个元素并观察规律的，给3分；能指出‘由题设，1∈S，且若n∈S则n+1∈S，故S包含所有≥1的正整数，因此最小元为1’的，给5分；而若有人质疑‘题干未定义‘最小’概念，需先明确全序关系’，或提出‘若S在非标准模型中，可能存在无穷小元素’——哪怕结论错误，也给7分。”

杨证道沉默几秒，忽然低笑：“您这哪是出数学题，这是在筛哲学苗子。”

“数学的尽头，本就是哲学。”乔源收起纸片，夹进课本里，“袁老要的是思维火种，不是解题流水线。他怕的不是学生不会做难题，而是学生从来不想‘这道题为什么这么问’。”