数学噩梦的幕后推手：那个让全世界学生头疼的布尔巴基，当年到底想干什么？|代数|布尔巴基|庞加莱|数学家|集合论

接上篇一群疯子，打算用25年重写数学——布尔巴基学派战前纪事

重写数学之后，他们还能重写自己吗？——布尔巴基学派战后风云录

你小时候有没有被数学折磨过？那种感觉——明明背熟了公式，换一道题又不会了；明明听懂了定理，一做题就发懵。

说起来，这种痛苦的源头，可能跟一个叫“布尔巴基”的法国数学团体脱不了干系。这个诞生于1934年的神秘组织，用几十年的时间，把数学变成了一门公理化的抽象学科，然后通过教材、教育运动，把它推向了全世界的课堂。很多学生后来被数学虐得死去活来，或多或少都跟他们有关。

但有趣的是，这群人当年凑在一起，初衷恰恰是觉得“数学教材太烂了”，想写一本好的。

布尔巴基学派核心成员

1934年冬天，巴黎拉丁区一家餐厅的地下室里，六个（核心成员后来有所扩展）不到三十岁的法国年轻人围着一张餐桌吃午饭。昂利·嘉当（Henri Cartan）抱怨微积分课本太陈旧，安德烈·韦伊（André Weil）随口说了一句，“那咱们自己写一本”。谁也没想到，这个午餐聚会后来变成了二十世纪数学史上最有影响力的团体之一——布尔巴基学派。

昂利·嘉当

近九十年过去了，这个曾经如日中天的数学神话早已褪去了光环。但它的兴衰史，却像一面镜子，照出了现代数学发展中一些耐人寻味的规律。

对于正在努力追赶世界先进水平的中国数学界来说，这面镜子或许比任何理论教材都更有价值。而对于那些被数学折磨过的普通人，这个故事也能回答一个憋了很久的问题：数学，到底是怎么变成今天这个样子的？

一、从一本教材到三十多卷的启示： 野心是怎么膨胀的？

布尔巴基的故事，本质上是一个关于野心膨胀的故事。

最初的设想其实很朴素：写一本新的分析学教科书，取代那些老掉牙的课本。按韦伊的设想，这本书要“尽可能现代化”，但篇幅控制在1000到1200页。德尔萨特（Jean Delsarte）更有干劲，希望第一卷半年后就出版。

结果呢？写了几章发现，要讲清楚分析学，集合论得先铺垫；要讲集合论，拓扑学又冒出来了；要讲拓扑，代数结构又绕不过去……每写一章，就发现前面还得再补一章。书稿像滚雪球一样越滚越大，最终变成了一部三十多卷、总页数超过六千的《数学原本》。而当初设想的“1000到1200页”，早被忘到了九霄云外。

这个过程中，他们做出了一个关键选择：把“写一本教材”升级为“重建数学大厦”。他们自比两千年前的欧几里得，希望成为二十世纪的《几何原本》作者。这个野心让他们写出了结构严谨、逻辑完美的数学经典，但也埋下了后来衰落的种子。

对中国数学界的启示，或许不在于“野心大不大”，而在于“野心用在哪里”。

布尔巴基的野心，是用公理体系把整个数学统一起来。这个目标本身没有问题，问题在于他们太沉迷于“统一”这个形式，以至于忽略了数学的多样性和具体性。俄罗斯数学家阿诺德（Vladimir Arnold）曾辛辣地讽刺：他面试一位法国数学家，对方研究线性代数，却答不出“二次型xy的符号差是几”这个具体问题。“他大概读了太多的布尔巴基，”阿诺德说，“只记得一般理论，忘了具体的东西。”

弗拉基米尔·阿诺德

这个教训提醒我们：当我们在追求理论高度的时候，千万别丢了地面感觉。数学的魅力，既在于抽象思维的深刻性，也在于解决具体问题的有效性。两者不是对立的，而是相辅相成的。一个健康的数学生态，应该既有仰望星空的纯粹数学家，也有脚踏实地的应用数学家和统计学家。把任何一个方向做到极致都不是坏事，但用一方的标准去否定另一方，就走偏了。

二、集体写作的成功与陷阱：为什么越完美越慢？

布尔巴基的另一个标志性特征，是它的集体写作方式。

布尔巴基会议

每本书动笔之前，全体成员开会讨论：写什么、怎么写、材料怎么布局。任何成员都拥有一票否决权，只有全体通过才能动笔。然后，一位志愿者接下任务，写出初稿。一两年后，初稿拿到会上受审——审稿原则是“像对待你最凶恶的敌人那样”批判。初稿往往被批得体无完肤，回去重写。第二稿、第三稿、第四稿……有的章节改到第六、第七、第八稿才最终通过。

这种千锤百炼的写作方式，确实造就了质量极高的作品。《数学原本》的每一卷，几乎都成了那个领域里的经典。但代价是什么？代价是速度。等到七十年代，数学的发展速度已经远远超过了布尔巴基的写作速度，这套书的影响力开始急剧下降。

这里有一个耐人寻味的悖论：严格的集体写作保证了质量，但牺牲了速度；而数学发展不等人。当新理论层出不穷、新方向不断涌现的时候，一个学派如果过于追求完美，反而可能被时代甩在后面。

布尔巴基讨论会

这个悖论，对中国数学界同样有参考价值。

我们当前正处在一个特殊的历史节点上：论文数量在飞速增长，但真正有影响力的原创工作还不够多。这种情况下，集体攻关确实是必要的，但“怎么集体”却大有讲究。布尔巴基的经验告诉我们，集体写作可以保证下限，却不一定能提高上限。那些真正改变数学方向的原创工作，往往来自个体的灵光一现，而不是集体的反复推敲。

韦伊本人就是最好的例子。他是布尔巴基的核心成员，参与了无数次“无情批判”的会议，但那些让他成为二十世纪顶尖数学家的深刻工作——比如韦伊猜想——是在布尔巴基的集体写作之外独自完成的。这说明，集体可以“打磨”出精品，但“创造”往往需要个体的空间。

对中国数学界来说，如何在集体攻关和个体自由之间找到平衡，是一个值得深思的问题。我们既需要一些像布尔巴基那样的团队，把某个领域做深做透；也需要给那些“不走寻常路”的个体留出足够空间，让他们去尝试那些可能失败、但一旦成功就改变游戏规则的方向。

三、当数学变成了意识形态 ：新数学运动的灾难

布尔巴基最引人深思的地方，或许不在于它写了多少书，而在于它把一种数学观变成了一种意识形态。

他们信奉结构主义——数学研究的是三种基本结构：代数结构、拓扑结构和序结构。所有数学分支，都可以归结为这三种结构的组合与变形。这个想法本身没有错，但问题在于，他们试图用这一种观点来统治整个数学。

结果是什么？结果是那些“不太结构”的方向——比如应用数学、概率统计、计算数学——在布尔巴基的体系里几乎没有位置。

更有讽刺意味的是，布尔巴基最年长创始人芒德布罗伊（Szolem Mandelbrojt）的侄子芒德布罗（Benoit B. Mandelbrot），后来成了反对布尔巴基的急先锋。他逃到美国，开创了布尔巴基大概不太欣赏的分形几何学——一个从具体问题中生长出来、而不是从公理体系中推演出来的数学分支。

贝努瓦· B. 芒德布罗

这种意识形态化的后果，在七十年代的新数学运动中暴露无遗。

那场运动的核心理念，是把布尔巴基的结构主义和集合论请进中小学课堂，打倒欧几里得，废除传统几何。结果呢？旅美数学家小平邦彦（Kodaira Kunihiko）在《惰者集》里回忆，自己的女儿学了三年“新数学”，连简单的分数计算都搞不清楚。数学不是从“集合论”开始的，而是从数数、测量、画图这些具体活动开始的。把抽象结构放在具体例子前面，无异于让孩子还没学会走路，就去练马拉松。

这个教训对中国数学界尤其重要。

我们当前正处在一个“数学热”的时代——从基础教育到高等教育，数学被赋予了前所未有的重视。但重视不等于尊重。如果我们只把数学看作一套抽象的逻辑体系，而忽略了它从具体问题中生长出来的生命力，那我们培养出来的，可能是一批只会背定理、却不会解决实际问题的做题家。

布尔巴基的教训告诉我们：数学不能变成一种脱离现实的意识形态。它可以是抽象的，但不能是空洞的；可以是理论的，但不能是封闭的。一个好的数学教育，应该让学生既看到数学的结构美，也看到数学的应用美。两者缺一不可。

四、回到起点：数学到底是什么？

2012年，八十岁的皮埃尔·卡蒂埃在一篇论文中写下了贯穿他整个学术生涯的问题：“什么保证数学在说真话？它如何说真话？”

皮埃尔·卡蒂埃

这个问题，他追问了一辈子。作为布尔巴基最资深的成员之一，二十出头就被昂利·嘉当邀请加入，三十岁不到就参与《数学原本》写作，后来还当过秘书，校对过五千到一万页书稿。但他始终跟其他成员保持着微妙的距离——倒不是意见不合，而是他的好奇心太宽了。他研究代数几何，也研究数学物理；写严格的论文，也开认识论的讨论班；既推崇布尔巴基的结构主义，又对庞加莱“数学是现实反映”的哲学怀有敬意。

他回忆过跟韦伊学到的重要一课：“安德烈·韦伊教会我，要把过去的数学家当作同时代人来学习。”

这话不是套话。他在讨论班里带着学生读庞加莱、读外尔，读那些被现代数学包装得面目全非的原始文本。在他看来，数学史不是博物馆，而是一间活的工作坊——那些古老的问题，换一个角度，可能就是当下最前沿的突破口。韦伊本人就是如此：写《数论》时翻烂了费马的笔记，研究代数几何时反复琢磨阿贝尔和黎曼的原始论文。他不是把前人当历史人物瞻仰，而是当可以对话的同行来争论。

卡蒂埃后来谈到自己的数学方法：“我天生好奇，什么都吸引我。因为在非常不同的方向上积累了一些手艺，研究一个问题时，脑子里总能冒出好几种技术。”

这段话里藏着一种跟结构主义不太一样的数学观。结构主义强调统一，把一切纳入同一个公理框架；但卡蒂埃说的是“不同方向的手艺”，在多种技术之间来回穿梭。他感兴趣的不是数学的统一性，而是数学跟物理、跟历史、跟哲学之间的边界地带。

他举过一个例子。1958年写博士论文时，他解决了韦伊在阿贝尔簇理论中提出的一个问题。灵感来自哪里？“我知道迪厄多内在形式群上做的工作，也一直惦记着韦伊提的问题。我对自己说：‘这俩是连在一起的。’”这个直觉，不是在公理体系里推出来的，而是在两种不同的数学传统之间突然看到了一条隐秘的通道。

这种跨领域直觉，恰恰是布尔巴基集体写作方式不太能培养的。集体写作打磨的是精确性、逻辑的严密性、定义的普适性。但灵光一闪的时刻——那种“这俩是连在一起的”瞬间——往往发生在一个人独处的时候，发生在两个看似不相关的领域之间突然架起桥的时候。这或许就是布尔巴基悖论的核心：它用集体写作培养了一代功底扎实的数学家，但那些真正改变数学方向的突破——韦伊猜想、格罗腾迪克的概形理论——恰恰来自成员在集体写作之外的个人时刻。

卡蒂埃晚年对“有限”这个概念做过一次哲学式的拆解，把它分成两种：一种是“真正有限”——比如你可以在纸上写出来的数字；另一种是“集合论意义上的有限”——不存在与自己真子集一一对应的集合。这个追问指向了布尔巴基结构主义的一个盲点：当公理体系说某个东西“存在”时，它只保证逻辑上的无矛盾性，却不保证这东西“可以构造出来”。对纯数学家来说这也许不重要，但对关心“数学怎么跟世界对话”的人来说，这很重要。

他之所以会问这个问题，跟他一直以来的“跨界”兴趣有关。他是布尔巴基成员里少有的对数学物理始终热情不减的人。但在团体内部，这个方向一度不受待见——不是看不起物理，而是戈德芒和格罗腾迪克这些人对军事用途有强烈反感，数学物理在他们眼里总跟“军事应用”脱不了干系。这种道德立场，客观上让他们错过了数学物理在二十世纪后半叶的蓬勃发展。

回到那个问题：数学到底是什么？