布尔巴基 vs 庞加莱：形式与直觉

对话背景#

尼古拉·布尔巴基（Nicolas Bourbaki）不是一个人。它是一群法国数学家的集体笔名。1934 年 12 月 10 日，亨利·嘉当、克洛德·谢瓦莱、让·德尔萨特、让·迪厄多内与安德烈·韦伊等人在巴黎拉丁区卡普拉德咖啡馆开会，打算合写一部能替换古尔萨《分析教程》的现代分析教科书。1935 年 7 月 10–17 日，他们在奥弗涅的贝斯昂尚德塞召开第一次正式大会，采用这个笔名。范德瓦尔登的《近世代数》是承认的范本。1939 年起，《数学原理》（Éléments de mathématique，标题里「数学」用单数）分册出版。1948 年迪厄多内以布尔巴基之名发表《数学的建筑》，把代数、拓扑、序三种结构称作「母结构」。

亨利·庞加莱（Henri Poincaré, 1854–1912）在分析、天体力学与位置几何——后来称为拓扑——里都是中心人物。1895 年《位置分析》（Analysis Situs）把同调与基本群写成工具。1908 年《科学与方法》用自己 1880 年在卡昂与库唐斯的发现过程，谈数学发明里的无意识工作。他 1912 年 7 月 17 日去世，比布尔巴基的第一次咖啡馆聚会早二十二年。

两人从未共处一个房间。下面的对谈是一场舞台化的合读：布尔巴基一侧取《数学原理》与《数学的建筑》里的集体立场；庞加莱一侧只取他生前著作。第二次世界大战、1960 年代的「新数学」、范畴论与证明助手，不进入他的台词，只写在分析与当代启示里。

第一幕：结构主义宣言#

布尔巴基：庞加莱先生，我们不是一个人。这个名字是一份写作契约。我们要从集合出发，用统一的公理语言重建数学。三个母结构是骨架：代数结构——群、环、域；拓扑结构——开集、连续性、连通性；序结构——偏序、全序。分支不再按「代数、几何、分析」的旧目录切开，而按结构的层级来排。标题写成单数的 mathématique，就是这句话。

庞加莱：你们把数学说成一座先打地基再立框架的建筑。公理是地基，结构是框架，定理是填充。创造不是这样发生的。我看见一个问题，被它抓住，然后才去找能把它说清楚的语言。语言后到，不是先到。

布尔巴基：创造和呈现是两件事。我们不否认发现需要直觉。古尔萨的教程把分析写成一串计算技巧，德国那边已经用公理把代数写清楚了。我们要的是最终形式：结构化、可核对、各册互相引用而不靠「众所周知」。发现可以混乱。印出来的书不能混乱。

庞加莱：若只呈现结果，学生看见的是公理的操纵，看不见为什么要写这几条公理。创造的直觉一旦从文本里删掉，留下的是一份可以检查、却很难再被发明一次的清单。

布尔巴基：清单不是给中学生的。它是给已经学会计算的人，一张把工具按层级放好的桌子。桌子不代替手。它让手知道下一件工具在哪一层。

第二幕：抽象的代价#

庞加莱：让我举自己的例子。1895 年《位置分析》研究的是空间的定性性质——连通、边界、洞。这些词来自对曲面的看见。我先「看到」一个流形怎样粘合，再把看见的写成同调与基本群。

布尔巴基：看见可以是发现的入口。写进书里，我们用一般拓扑：一个集合加上开集族，三条公理。连通、紧致、分离，都从这三条往下推。曲面是例子，不是定义的前提。代数拓扑用群去读空间，正是因为两边都被写成结构，才能互相翻译。

庞加莱：翻译有用。可定义若先把形状抽掉，初学者就失去了判断「这条公理在说空间的哪一种经验」。我研究一个曲面时，洞、扭曲、缠绕是在眼睛里的。你们的开集族把这些变成符号之间的关系。关系可以更一般，一般不是免费的。

布尔巴基：抽象的收益是同一套语言跨过旧边界。同构一旦被定义，代数里的定理可以原样搬到拓扑、搬到数论。直观方法一次看见一个对象。结构方法一次看见一类对象。这不是损失形状，是把「形状相同」写成可检查的句子。

庞加莱：统一是好的——不能把「尚未被结构抓住的看见」说成非法。没有这种看见，新的结构不会从旧的公理里自己走出来。符号能把已经想到的写稳，不能代替想到。

第三幕：数学教育之争#

布尔巴基：我们的书写法常被拿去当中小学纲领。这不是《数学原理》的本意。这部书的读者，是已经决定做数学的人。把集合与结构直接搬进小学课堂，是教育者的另一次决定，不是我们在 1935 年写下的任务。

庞加莱：我无法评论你们身后的课堂。我能说的是原则。教学应当从具体到抽象：先有几何图像和计算经验，再给它们名字。反过来——先定义结构，再赏赐一个例子——会让例子变成公理的附属品。附属品留不住。

布尔巴基：在研究里，从结构出发已经不可避免。现代数学的分支多到不能靠「每个领域一种方言」来组织。大学课程可以把桌子先摆出来。摆桌子不是把桌子当成十二岁孩子的第一口粮食。

庞加莱：剂量依年龄而变。严格性是爱之后的纪律，不是爱的替代。把研究共同体内部的语言净化，与把这种语言当成所有人的入门，是两件不同的政治。你们若只做第一件，我反对的只是过度抽象；若默许第二件，反对的就是把梯子抽走。

布尔巴基：梯子我们想造得更结实。结实的梯子看起来像没有木纹。木纹是生长史。生长史属于发现，不属于核对。

第四幕：直觉的地位#

庞加莱：我区分两种直觉。一种是感官直觉——对物理世界的习惯。一种是纯粹直觉——对数学关系的直接把握。后者是发明的核心。1900 年巴黎大会我讲《直觉与逻辑在数学中的作用》：有人像沃邦围城，一步一步推进；有人像骑兵，第一击就占领，有时占领得不稳。两种人都需要。

布尔巴基：直觉必须被写成句子，才能被别人核对。未形式化的「显然」会骗人。1872 年魏尔斯特拉斯向柏林科学院提出处处连续、处处不可微的函数。按日常图像，「连续曲线几乎处处有切线」是显然的。这个显然是错的。

庞加莱：魏尔斯特拉斯的反例恰恰是用另一种直觉看见的：他先感到「可以没有切线」，再把感到的构造成公式。直觉不仅发现「正常」的定理，也发现「正常」在哪里破产。破产之后，才轮到你们的公理把边界钉住。

布尔巴基：钉住边界就是我们的工作。发现者可以骑马。印出来的书必须留下围城的工事，让后来者不必重新冒险。工事看起来冷，是因为它不允许「我看见了」冒充「已证明」。

庞加莱：允许看见，不等于允许冒充。把看见从文本里删干净，工事会变成没人想进攻的空城。空城里的定理仍然正确。正确的空城不产生下一座城。

第五幕：数学创造的心理学#

庞加莱：1880 年我在卡昂。有两个星期，我每天在桌前一两个小时，试图证明不存在后来叫做富克斯函数的东西，什么也得不到。一天晚上喝了黑咖啡，整夜睡不着，观念成群涌来，互相碰撞，直到两两钩住。次日早晨，超几何级数那一类已经在桌上。随后我按椭圆函数的类比，有意识地造出后来叫做 θ-富克斯级数的东西。

布尔巴基：这是发现者的私人日记。日记不能当作公共证明。

庞加莱：日记还没完。我离开卡昂，参加矿业学校的地质旅行。到了库唐斯，踏上公共马车的踏板那一瞬间——事先没有任何铺垫——我感到：用来定义富克斯函数的那些变换，就是非欧几何的变换。我没有当场核对，一坐下就继续跟人说话，可确定性是完全的。回到卡昂，才为了良心把证明写完。后来在海边悬崖散步，三元不定二次型的算术变换再次以同样的短促、突然、确定，等于非欧变换。1908 年我把这些经过交给巴黎心理学会，不是为了谈神秘，是为了说：突然的照明是先前无意识工作的征象。

布尔巴基：我们对无意识不写章节。我们关心的是写完之后：逻辑可查、结构可分类、引用可追踪。创造是个人的。结果是公共的。公共的部分必须能脱离那辆马车。

庞加莱：脱离马车的文本，培养不出下一辆马车上的人。直觉不从公理里自行生长。它需要图像、物理类比、以及长时间失败后的停顿。你们的书若只有停顿之后的清洁证明，读者会以为清洁是起点。

布尔巴基：清洁是终点的标准，不是起点的禁令。读者应当先在别的地方被问题抓住——课堂、讨论班、尚未写进《原理》的论文。抓住之后，再到我们的书里找这件东西被放在哪一层结构上。

第六幕：数学的统一性#

布尔巴基：在我们之前，数学按对象的身份证分家：代数、几何、分析、数论。母结构把身份证换成关系的类型。代数拓扑、后来的代数几何与表示论，繁荣于跨越旧边界。统一不是审美，是一张能让同构被陈述的语法。

庞加莱：统一是好的，不能是唯一标准。不同分支有不同的速度与口味。天体力学里的渐近、位置分析里的粘合，并不总是同一种「结构感」。强行写成一种语法，可能把还不会说这种语法的问题赶出门外。

布尔巴基：赶出门外的，应是含糊的方言，不是问题。问题改用结构的语言之后，往往才显出它跟另一门的亲戚关系。亲戚关系不是直觉凭空看见的神秘对应，是同构被写下来。

庞加莱：看见对应的那一步，仍然先于「同构」这个词。我在踏板上感到的，正是两类变换是同一个东西。词是事后给的。你们的语法可以登记这个同一，登记不是发生。

布尔巴基：登记的好处是：下一个人不必再等一辆马车。他可以在书里查到，这类变换已经被放在哪一章。发现的偶然性，不该成为传授的偶然性。

第七幕：严格性的极限#

布尔巴基：您的《位置分析》开辟了后来叫做代数拓扑的领域。按我们的标准，1895 年的若干证明不够严格。对偶定理的原始论证，被赫戈 1898 年的博士论文抓住了漏洞：您用的贝蒂数与贝蒂本人的定义并不相同，对偶在一种计数下会失败。

庞加莱：这些批评有一部分成立。我在 1899 年的《位置分析补篇》里承认：对偶对贝蒂那种贝蒂数并不成立，对我定义的那种成立。证明改走 n 维多面体与对偶剖分。我当时默认光滑流形可以三角剖分。这个默认后来被证明不是一句随便的话——它本身需要定理。直观把默认藏进论证。形式化把默认拖出来，变成必须另证的一条。

布尔巴基：这正是公理化的用处。直观会把假设藏起来。把假设写成句子，错误才有地址。

庞加莱：形式化可以发现错误，不能产生下一份《位置分析》。严格性是核对的工具，不是发现的工具。1904 年第五补篇末尾那个问题——基本群平凡的三维闭流形是否就是三维球面——我写「这会把我们带得太远」。问题来自一个反例逼我改猜想，不是来自一份已经写全的公理表。

布尔巴基：也许两者互补。直觉提出命题，形式化给它地址、给它范围、给它在结构层级上的位置。没有地址的命题，无法进入公共数学。

第八幕：两种职责#

布尔巴基：我们的职责是把已经获得的数学写成可继承的语言。继承者不该依赖某一个人的口味。集体笔名就是为了把口味从签名里拿掉。成员可以退休，文本留下。

庞加莱：我的职责是把发现时真正发生的事说出来，免得后来者以为数学是从公理里长出来的植物。无意识工作、几何图像、失败后的停顿，都是方法的一部分。把它们说成私人逸事，等于把方法的一半藏起来。

布尔巴基：一半可以藏在讨论班里。印成书的那一半必须能被核对。我们选择印核对的那一半。这不是宣布另一半不存在。

庞加莱：选择会变成风气。风气一旦只奖励能被立刻写入结构表的东西，不能立刻被写入的问题会得不到年轻人手。建筑师需要，艺术家也需要。最好的数学家两者兼备。我活着能说的，到此为止。你们身后这本书怎样被误读成中学大纲，我看不见。

布尔巴基：误读会发生。发生之后只能再写一份说明：这部书不是十二岁的入门。1935 年那次大会担保不了后来的课堂。

分析#

这场对谈在时间上是假的。庞加莱 1912 年去世；布尔巴基作为一个写作集体，1934–1935 年才成立。它有用，是因为两边的文本本来就在互相回答。庞加莱要维护的是发现的次序：图像与无意识工作在先，写成证明在后。布尔巴基要维护的是呈现的次序：结构在先，例子是结构的模型。把前者叫做「直觉主义」、把后者叫做「形式主义」，都过粗。庞加莱没有系统废除无穷上的排中律。布尔巴基关心的是数学内部的统一语法，不是用有穷方法证明算术无矛盾。

集体笔名不许文本依赖某位成员的个人权威。盲区也在这里：发现的心理被拿掉之后，读者容易把清洁的呈现误读成创造的方法。这份误读后来进入中小学课程争论。那不是庞加莱能目击的事，却是他 1908 年已经反对的颠倒：把终点的标准当成起点的教学法。

核心分歧#

数学首先是结构的分类，还是首先是被看见的关系？布尔巴基把结构——代数的、拓扑的、序的——当作组织全部数学的语法，公理化呈现是这种语法的公开形式。庞加莱把几何直观与无意识中的组合当作发现的来源，严格性是事后核对，不能冒充来源。教育上的分歧是同一句话的课堂版：从抽象到具体，还是从具体到抽象。

当代启示#

1960 年代的「新数学」——鲁瓦约蒙会议上迪厄多内那句「打倒欧几里得」、后来的利什内罗维奇委员会——常被算到布尔巴基账上。集体多次声明《原理》不是中学教材；迪厄多内后来也批评把它做成课堂现代主义。账应算给把研究语言当成入门语言的决策，不是 1935 年的写作计划。范畴论把态射推得更远，《原理》没有把这一步写进骨架。证明助手把核对推到机器。若一份证明只有机器读得完，庞加莱要的看见仍欠着。踏板上的那一步，公理表生产不出来。

延伸思考#

• 若《数学原理》按原计划写完，研究数学会更清楚，还是更不容易诞生新领域？
• 把核对交给机器之后，教学还要不要保存「从具体到抽象」的那条路？
• 集体笔名拿掉个人口味的同时，是否也拿掉了发现所需要的那种可被讲述的失败？

延伸阅读：布尔巴基《数学原理》(1939—)；布尔巴基（迪厄多内执笔）《数学的建筑》(1948/1950)；庞加莱《科学与方法》(1908)；庞加莱《位置分析》(1895)及补篇；莫里斯·克莱因《数学：确定性的丧失》(1980)