尼古拉·布尔巴基
一群法国青年用假名字开的玩笑，最终改写了全人类的数学语言。本文讲布尔巴基学派全史：为何诞生、靠什么运转九十年、如何巅峰、为何衰落，以及留给机器学习从业者的隐形遗产。
断层：玩笑为何可能
这场玩笑要从一片废墟讲起。1934 年的法国数学：庞加莱 1912 年离世，一战又把整整一代巴黎高师（ENS）青年送进战壕，传承物理性断裂；幸存者困在古典复分析，对哥廷根的抽象代数、拓扑与公理化浪潮（数学基础三大学派 记录的正是其哲学面）视而不见。课堂还在用直观有余、严格不足的古尔萨《分析教程》。韦伊与昂利·嘉当同在斯特拉斯堡教微积分，天天吐槽教材——重写现代分析教材的念头就长在这份抱怨里。
密谋：从咖啡馆到集体笔名
抱怨在 1934 年 12 月 10 日变成行动：拉丁区一家咖啡馆的地下室，韦伊、嘉当、德尔萨特、德·波塞尔、迪厄多内、谢瓦莱六位高师校友首次碰头，目标小得可怜——统一微积分考试大纲，写一本严谨教材。署名时没人愿意在封面堆一串人名，便想起高师的整蛊传统：1923 年学长拉乌尔·于森戴假胡子、操怪腔调给新生开假讲座，压轴抛出虚构的「布尔巴基定理」，名字借自普法战争的布尔巴基将军。这个自带伪学者气质的荒诞名字就此成为集体笔名：尼古拉·布尔巴基（Nicolas Bourbaki），「尼古拉」取自希腊古典人名。
1935 年 7 月，九名数学家在贝塞昂尚德斯召开首次大会，学派正式成立。野心却在讨论中失控：写分析须先讲拓扑，讲拓扑须先讲代数与集合论——干脆重构全部基础纯粹数学，定名《数学原本》（Éléments de mathématique）。书名用单数 mathématique：数学只有一门。
制度：一个玩笑如何活了九十年
玩笑没有三五年散伙，靠的不是才华而是制度。贝塞大会定下的规则至今仍在运转：
- 50 岁强制退休：年满 50 必须退出，新人持续补位；
- 每年三次封闭大会：集中一至两周朗读、辩论书稿；
- 全员批判、一致定稿：一人起草，全员逐字挑错，任何人不满即推翻重写，一卷平均改写五六轮；
- 绝对匿名：对外只存在「布尔巴基」一人。
创始五人分工明确：韦伊是精神领袖（代数数论），嘉当奠基多复变与同调代数，迪厄多内是笔杆子，谢瓦莱主攻李群，德尔萨特管协调。人设也经营得逼真：1886 年生、师从庞加莱与希尔伯特、隐居法国南部，伪造洗礼证明与族谱，登报「女儿婚礼」。美国期刊以「作者不存在」拒稿便去信抗议；博厄斯撰文揭穿笔名，收到的回信反讽「BOAS 才像一群编辑的缩写」；连美国数学会都以其「非自然人」拒收会员申请——四十年代，欧美学界当真相信这位隐居大师存在。
纲领：三大母结构与全球通用的符号
这套制度生产的是一份纲领：结构主义。数学不再按研究对象（算术、几何、分析）划分，而由三类母结构叠加组合而成：
| 母结构 | 公理化内容 | 典型对象 |
|---|---|---|
| 代数结构 | 合成律与可逆性 | 群、环、域、模 |
| 序结构 | 偏序与大小关系 | 偏序集、格 |
| 拓扑结构 | 邻域、收敛、连续 | 拓扑空间 |
伽罗瓦与群论的诞生 里为解五次方程而生的群，在此升格为一切结构的原型；《数学原本》从 康托尔与集合论 出发，自底层公理逐层向上搭建。战后 1945–1970 年是黄金年代：艾伦伯格（范畴论先驱）、博雷尔、施瓦茨、塞尔、格罗滕迪克相继接力。
最日常的遗产是符号——《数学原本》普及的记号至今是数学与机器学习论文的默认书写：空集 ∅、blackboard bold 数集 ℕ ℤ ℚ ℝ ℂ、injective / surjective / bijective，以及滤子（filter）、层（sheaf）等标准术语。你每天写下的 就是布尔巴基的笔迹；深度学习里的 流形 概念，底座正是它标准化的拓扑语言。
裂痕：黄金年代为何终结
衰落的原因一开始就写在设计里。全书无图、无例题、无历史，只留纯粹演绎——麦克莱恩调侃其代数从空集讲到实数，全程没举过一个数字例子；应用数学、概率论、数理逻辑、计算机数学一概被拒之门外。讽刺的是，机器学习恰恰建立在被它排斥的 概率论公理化 之上。外围，「新数学运动」让小学生直接学集合公理，黑锅全扣在布尔巴基头上；内部，年轻一代要求纳入范畴论而老一辈拒绝，格罗滕迪克愤而出走、独闯代数几何；编撰速度又追不上数学的膨胀。七十年代后计算机与离散数学崛起，纯抽象范式失去垄断。
遗产：制度仍在，语言永存
布尔巴基死了吗？没有。学派至今每年开会修订《数学原本》，退休铁律与一致定稿制度原样保留，只是不再隐藏成员身份。两层真相：尼古拉·布尔巴基是彻头彻尾的虚构人物，布尔巴基学派则是延续九十余年的真实团体。回到主线——半开玩笑的行为艺术为何能改写全人类的数学语言？因为它从不只靠玩笑：断层的法国数学需要新语言，匿名、换血、全员批判的制度让这场重构持续了半个世纪。个人会老去，学派会边缘化，但 ∅ 与 已成为数学的空气。想把结构主义变成自己整理知识的工具，见 数学梳理-布尔巴基。