A HUMAN HISTORY OF MATHEMATICS凿构周期律 · 数学鑿構週期律 · 數學 · 21 / 25
The Author Disappears
作者消失
作者消失
Bourbaki turned argumentative collaboration into an impersonal mathematical voice. The finished books hid their authors; the archives did not.
布尔巴基把争吵、直觉与废稿变成一个不存在的作者:匿名的是成书,不是让它成书的劳动。
布爾巴基把爭吵、直覺與廢稿變成一個不存在的作者:匿名的是成書,不是讓它成書的勞動。
In this essay篇内目录篇內目錄
1. A Mathematician Who Never Existed
At the École Normale Supérieure, a student could become an authority for an afternoon by putting on a disguise. One traditional prank involved an apparently distinguished visitor lecturing to newcomers, who had to notice when solemn mathematics became nonsense.
Around 1923, Raoul Husson played such a professor, complete with false beard and exaggerated accent. His increasingly improbable theorems culminated in one attributed to an unfamiliar name: Bourbaki. André Weil was among the students who heard him.
We know the scene principally through Weil's recollection, published decades later in his memoir, whose English edition appeared in 1992. It is a story told by a participant after almost seventy years, not a contemporary transcript. Husson later studied the human voice rather than pursuing a mathematical career.
The surname was not invented. Charles-Denis Bourbaki was a French general, born in 1816, whose career included the Crimean War, the Italian campaign, and command of the Army of the East during the Franco-Prussian War. That army eventually entered Switzerland and was disarmed in 1871, under his successor Justin Clinchant.
Thus the familiar claim that the mathematicians invented a nonexistent general conflates two figures. The general existed. The mathematician Nicolas Bourbaki did not. The real name supplied a resonance of military adventure and disaster before it acquired mathematical authority.
The name appeared in mathematical print in India in 1931. Weil, then teaching at Aligarh, had recruited the young D. D. Kosambi. Kosambi published a short paper invoking a second theorem of Bourbaki. Weil later explained the fictional attribution as a joke aimed at a difficult senior colleague; its supposed source was an obscure Russian mathematician said to have died during the revolution.
The publication is firmer evidence than all the motives assigned to the prank. Its title survives independently of the anecdote, and the scholarly account of Kosambi's writings identifies its place in this prehistory.
At that point Bourbaki was still a movable joke. A name could be borrowed, given an imaginary biography, and used to puncture someone else's authority. In 1935, a circle of young mathematicians began using it to construct an authority of their own.
2. Lunch
In Strasbourg in 1934, Henri Cartan and Weil were teaching analysis from a curriculum they found unsatisfactory. Édouard Goursat's established treatise remained a standard point of reference, but modern algebra and topology had changed the background against which analysis could be organized.
Cartan repeatedly asked Weil how he handled particular topics. Weil proposed pooling the experience of several friends teaching similar courses elsewhere. Instead of answering the same questions independently, they would write a new account together.
At noon on Monday, December 10, six of them met at the Café Capoulade on Boulevard Saint-Michel in Paris: Cartan, Claude Chevalley, Jean Delsarte, Jean Dieudonné, René de Possel, and Weil. Their working identity was a committee for a treatise on analysis.
The early plan was modest only by comparison with what followed: roughly a thousand pages, a rapidly settled programme, and work expected to proceed with extraordinary speed. Important decisions were to require agreement rather than a simple majority vote.
Further meetings followed during the first half of 1935. The membership expanded, with departures and replacements. Small working groups investigated algebra, integration, differential equations and forms, variational methods, special functions, geometry, and Fourier series. Each group deliberately included someone who was not a specialist in its subject.
That provision matters. The expert would not simply write a chapter and receive polite correction from colleagues. A nonspecialist could ask why the account was arranged that way, whether a definition was necessary, or whether an apparently standard argument had actually been explained.
The project then retreated toward its prerequisites. Analysis required an account of limits and continuity. Those required topology. Topology required a sufficiently explicit language of sets and mappings. Every proposed beginning seemed to depend on an earlier beginning.
The group did not set out to reopen every philosophical dispute over mathematical foundations. Set-theoretic methods had become routine working instruments in large parts of mathematics, even while foundational questions remained unsettled. The task was to establish usable starting points and arrange dependencies.
A textbook intended to repair a course was turning into a reconstruction of the order in which mathematics could be presented.
This is not the same as discovering the order in which mathematics had developed. The order of exposition would deliberately differ from the sequence of problems, guesses, examples, and accidents that had produced the subject.
3. A Week in Besse
The first official congress took place at Besse-en-Chandesse in the Auvergne, July 10–17, 1935. The founding circle comprised Cartan, Chevalley, Jean Coulomb, Delsarte, Dieudonné, Charles Ehresmann, de Possel, Szolem Mandelbrojt, and Weil.
Most were about thirty. Chevalley was twenty-six; Mandelbrojt, thirty-six. Cartan worked in analysis and topology and was the son of Élie Cartan. Weil pursued number theory and algebraic geometry. Coulomb brought mathematical physics and geophysics. Dieudonné would carry an exceptional share of the final writing for the next quarter-century.
Nine young people proposing to reorganize university mathematics can sound like a generational coup. Interwar France provided an unusual setting. The First World War had killed a substantial part of the generation that might have become their immediate senior teachers and colleagues. Estimates for particular École Normale cohorts vary greatly with the population counted; the demographic loss is clearer than a single universal percentage.
This absence did not create Bourbaki mechanically. It helped explain why peers could see both an opportunity and an obligation to rebuild a curriculum they considered outdated.
The organization was horizontal in an important sense: colleagues of similar age, rather than a master with a school of disciples. It had no permanent chair directing the congresses. Individual influence certainly existed, but it did not take the simple form of a founder assigning everyone a permanent intellectual territory.
During that week, the temporary committee became a continuing enterprise. The fictional author took a durable form. The members also accepted that the familiar division into separate volumes for algebra, calculus, and geometry would not support their intended arrangement.
In 1935 a note under Bourbaki's name reached the Comptes rendus through Élie Cartan. The invented mathematician was becoming a published author. The often-repeated story that Eveline de Possel supplied the first name Nicolas comes through later reminiscence and deserves a lighter evidentiary weight than the publication record.
The title Éléments de mathématique was settled in 1938. Its echo of Euclid was deliberate. So was the unusual singular mathématique: the subject was to appear as a connected whole, not merely a collection of branches.
The first booklet, published in 1939, summarized set-theoretic results without their proofs. The first two fully developed chapters of set theory arrived only in 1954. The intended logical order was already diverging from the chronology of actual publication.
Bourbaki's finished books can seem inevitable in their sequence. Their beginnings show choices, delayed commitments, changing plans, and unfinished foundations underneath the appearance of inevitability.
4. Meetings Without a Chair
The working rhythm eventually involved three congresses a year: two of about a week and a longer summer gathering. Sessions could occupy roughly seven hours a day.
A draft was read aloud line by line. Anyone could interrupt a word, demand a proof, challenge a choice of generality, or insist that an entire section be rewritten. When Armand Borel first attended in 1949, the simultaneous arguments could sound like several monologues colliding.
Participants and visitors later described the meetings with affectionate horror. Weil defended their cultivated disorder: premature assignment of territories, a presiding authority, and routine voting might produce an ordinary committee document rather than the desired work.
Disorder was therefore combined with a demanding constraint. Publication required unanimity. In practice every member could prevent a text from becoming Bourbaki's text.
The first draft often came from someone expert in the topic. Later drafts might pass to other hands. Six or more versions were not unusual. A complete revision could be rejected at the next congress; a discarded earlier approach might return.
Borel's account of the chapter on root systems captures the inflation. A draft of around seventy pages became one of about 130. Someone objected that too much effort was being spent on so small a topic. The eventual printed chapter ran to 288 pages.
Unanimity also generated large amounts of unpublished work. A member might spend months writing a draft that was condemned after a few pages had been read. Others went into the collective “refrigerator,” a storage category offering no promise of revival.
Borel recalls more than 260 pages by Weil on manifolds and Lie groups, followed by about 150 pages by Roger Godement, that did not appear in the projected form. The labour was real even where the publication count was zero.
This system could be wasteful, frustrating, and extraordinarily productive. It prevented a chapter from being simply the property of its first author. It also made completion dependent on a community's ability to turn objection into a shared alternative.
At moments when an argument produced an unexpectedly satisfactory idea, the group described a spirit as having passed through the meeting. The phrase acknowledged something their formal publications concealed: a text assembled through rules still depended on the unpredictable arrival of an idea.
Borel's participant account explicitly identifies its own subjectivity. It is evidence of working practice, not an omniscient view of every congress or member.
5. The Same Shape
Traditional divisions follow the apparent nature of their objects: numbers, figures, functions. Bourbaki increasingly organized material by recurring patterns of relations and operations.
Consider integer addition, rotations about a fixed point in a plane, and permutations of a deck of cards. These are different kinds of things. Yet each offers a composition operation, associativity, an identity, and inverses.
They are groups. A theorem proved using only the group axioms applies to each example and to other groups not yet encountered. The shared framework does not assert that every group is identical. It identifies precisely which conclusions can travel between different settings.
The permutations in Galois's work were an earlier instance. The subsequent abstraction made the common pattern itself a systematic object of study.
Bourbaki called such organizing patterns structures. Algebraic structures govern operations; order structures organize comparisons; topological structures govern notions of neighbourhood and continuity. More complicated objects combine these patterns.
The framework changed where a result belonged. Instead of being filed under numbers or shapes, it could be located according to the assumptions actually used in its proof. A fact about a vector space might apply equally to geometric arrows, polynomials, or functions because its proof depends on the same linear structure.
Two senses of “structure” must remain distinct. Bourbaki also proposed a formal general theory of structures using sets and relations. Historian Leo Corry argues that this technical apparatus played much less of a role in ordinary mathematical research than the broader structural image of mathematics.
That is a historical interpretation, not a theorem showing that nobody ever used the formal definition. Corry's study asks how the formal theory related to the group's actual mathematical practice.
The lasting influence was largely methodological and expository: attend to isomorphism, common axioms, and transferable arguments. Those habits cannot be measured solely by counting uses of a particular foundational definition.
In “The Architecture of Mathematics,” published in French in 1948 and English in 1950, Bourbaki offered a public account of this vision. Usually associated principally with Dieudonné's writing, it presented the axiomatic method as a means of exposing connections beneath apparently separate branches.
An individual drafted an essay signed by an invented individual to explain an organization of knowledge that did not depend on individual authors. The paradox is revealing rather than accidental. Bourbaki's most consequential product was not one universal technical device but a way of arranging mathematical thought.
6. Instructions for Use
The first six books formed a prescribed sequence: set theory, algebra, general topology, functions of a real variable, topological vector spaces, and integration. A result could depend on material already established in the permitted earlier portions. The main exposition largely avoided outside references.
History appeared separately, in notes placed after the mathematical development. Discovery and logical dependence were given different rooms.
The discipline had costs. A later chapter could be delayed by missing prerequisites. Meanwhile, real publication proceeded out of sequence: algebra and topology appeared while the full opening set-theory chapters still awaited completion. The fifteen-year interval after the 1939 summary exposes the practical compromises needed to maintain the imagined linear order.
Within a section, the rhythm typically ran from definition through general proposition, proof, corollary, special case, and exercise. It did not begin by reproducing the reader's probable route from problem to example to failed conjecture.
Borel called the style dogmatic in this specific sense. The books aimed to furnish a cleared foundation for research, not to reenact how research happens.
Each volume nevertheless addressed its reader through directions for use. The promised starting point was elementary in logical dependence, but the required reader already needed familiarity with mathematical reasoning and considerable powers of abstraction.
A dangerous-bend symbol, borrowed from French road signage, marked places where misunderstanding or technical difficulty threatened. This was not the absence of care. It was care for a reader navigating an extensive system of precise references rather than for a beginner seeking an inviting first encounter.
Numbered statements made the internal architecture searchable. One cited a prior theorem by its location instead of continually returning to an author's paper and date. Names and origins, where discussed, emerged in historical notes rather than directing the argument.
Pictures and motivational passages were scarce. According to Borel, an intuitive explanation could enter a draft, be challenged as imprecise, resist immediate repair, and disappear. Even Dieudonné could have a draft rejected as excessively abstract.
The finished austerity was therefore partly a filtering effect. It does not show that the writers lacked imagination or visual intuition. It shows what survived their collective standard for published exposition.
This distinction also qualifies the present series' own argument. Twentieth-century mathematics can become harder to narrate because its expository forms move definitions forward and personal histories backward. That is an interpretation of a powerful tendency, not a claim that all modern mathematics was deliberately designed to exclude people.
Bourbaki pursued one such separation with exceptional consistency. The reader encountered a clean order whose production had been anything but clean. The difficulty of the book and the activity that produced it were related, but they were not the same thing.
7. Everybody Knew Who They Were
“Secret society” is an imperfect description. The current membership list was not publicly issued, but informed mathematicians generally knew who belonged. Borel learned the local identities soon after arriving in Paris and then received an invitation to a congress.
The fictional personality was maintained playfully. When Bourbaki sought individual membership in the American Mathematical Society, the response recognized the collective and suggested institutional membership. When Ralph Boas explained the pseudonym in an encyclopedia, Bourbaki countered with the suggestion that Boas himself might be a collective invention of Mathematical Reviews.
These exchanges sustained a joke, not a successful concealment of human existence.
The more consequential anonymity concerned contributions. Which person first drafted a paragraph? Who insisted on a definition? Whose argument was rejected? Which four hundred pages never left the refrigerator? The printed books did not say.
Dieudonné makes the asymmetry particularly visible. For roughly twenty-five years, final versions, exercises, and preparation for publication fell heavily to him. Borel estimated an output surpassing that of several colleagues combined. His daily routine included piano playing followed by Bourbaki writing.
In September 1940, amid war, an issue of the internal circular La Tribu carried his ambitious plan for twenty-seven books. Much of the supposedly impersonal voice depended on his sustained labour. It was a cultivated Bourbaki voice, not simply the way he wrote under his own name.
The title page still named Nicolas Bourbaki.
A parallel institution worked differently. The Séminaire Bourbaki, established in 1948, presented recent work by other mathematicians in regular sessions. Speakers included members and outsiders, and published seminar reports bore their actual names. The same network produced anonymous collective books and individually credited expositions.
Nor was Bourbaki the only mathematical pseudonym. Blanche Descartes in Britain and, from 1952, John Rainwater in the United States also became collective names associated with real publications. Bourbaki's distinction lay in duration, mathematical strength, scale, and the authority the name acquired.
Retirement at fifty was intended to prevent founders from holding the organization forever. It did not function flawlessly from the first day. When the earliest members reached the threshold, practice remained unsettled; Weil's explicit retirement in 1956 helped establish a stable convention.
Legal continuity acquired a body in 1952, through the Association des Collaborateurs de Nicolas Bourbaki. Contracts and copyright required actual people and an accountable organization. Members lived principally on salaries from universities and research institutions; book revenue sustained collective work rather than becoming their common wage.
Drafts, counterdrafts, assignments, comments, and La Tribu survived. Jokes, poems, and nicknames coexist with technical decisions. Liliane Beaulieu used these materials to reconstruct the early meetings; digital archival projects later made substantial portions accessible.
The author disappeared from the finished exposition, not from the historical record. The surviving paper trail sets a limit to the title of this episode.
8. What Came Out at the Other End
The members did not conduct all their research in the books' manner. Borel described research and preparation of the Elements as largely distinct activities. Between formal sessions, participants exchanged concrete problems, fresh results, and speculative approaches.
Pierre Deligne recalled being introduced to algebraic geometry through a drawing of a cubic curve and a line through two points: an invitation to beautiful geometry. Such an encounter scarcely resembles opening a Bourbaki volume at its first definition.
The separation was not absolute. Cartan's papers could display a sequence of lemmas that seemed naturally to prepare an eventual theorem; Serre joked about the habits acquired through long Bourbaki service. Editorial practice could shape an individual's mathematical presentation without dictating the process of discovery.
Dieudonné supplied another comparison. Alongside his anonymous collective work, he wrote public explanations under his own name. Beginning in 1960 he developed the nine-volume Éléments d'analyse, completed in 1982. In 1987 he addressed a broader readership in Pour l'honneur de l'esprit humain, a title to which the final episode will return.
Criticism of Bourbaki took several forms. Emil Artin's 1953 review of Algebra is often reduced to its complaint about relentless abstraction. The positive continuation matters: a reader surviving the initial difficulty could gain a deeper understanding. Discomfort was not his whole verdict.
Paul Halmos objected in 1953 that Integration's emphasis on locally compact spaces did not fit the needs of probability theory. This was a substantive criticism of mathematical organization, not merely of prose. Later additions responded to that gap.
Probability, partial differential equations, logic, and combinatorics never occupied positions proportionate to their importance across contemporary research. A structural presentation was still a selection. It did not become neutral or exhaustive by suppressing individual names.
The connection with school-level “New Math” also requires restraint. Dieudonné was an outspoken advocate of structural reform, including his provocative 1959 call against Euclid as the governing model of school geometry. But national reforms had distinct institutions and histories. Bourbaki did not collectively issue a universal school curriculum, and the Elements were not written for children.
The organization itself encountered limits. The original foundations approached completion while research changed. A strict dependency order could postpone new topics indefinitely; increasing specialization made it harder for every member to master everything. Grothendieck's ambitious proposals for homological and categorical foundations were not simply absorbed, and large projects remained unresolved.
By the early 1980s the publication comprised many fascicles and thousands of pages, while the analysis initially promised had never been completed as originally envisaged.
How much should be credited to the collective? Witold Hurewicz suggested that extraordinary mathematicians would have produced extraordinary mathematics without it. Borel agreed that postwar French achievements, including those of Leray and Thom, had other sources. He also recalled Weyl withdrawing earlier criticism by 1952.
Count original theorems and Bourbaki can be overcredited. Count shared language, training, and standards of exposition and it can be undercredited.
The author's final metaphor is a machine of authorship. Individual drafts, temperaments, arguments, and intuitions entered one end. At the other emerged not an obvious compromise among nine people but a text sounding as though one author had always intended it.
That author did not exist. The labour and institutions making the illusion possible did.
An order that appears natural can be the result of revision after revision. In 1976, a proof involving roughly twelve hundred hours of computer calculation would pose a different question about the disappearance of individual oversight.
一 一位不存在的数学家
巴黎高等师范学校有一种传统:学生假扮一位外来的权威,给新生上一堂煞有介事的课,看谁先听出不对。1923年前后,一个叫拉乌尔·于松的学生贴上胡子,装成一位外国来的教授,给低年级的同学做了一场讲座。他用夸张的口音一条一条往下讲,那些定理听上去很像样,其实一条比一条荒唐,每一条都归在一位谁也没听说过的数学家名下。压轴的那一条最离谱,他管它叫布尔巴基定理。
台下坐着的那一届学生里,有一个叫安德烈·韦尔。
这件事写下来,是韦尔1992年的回忆录,离那个下午快七十年。于松后来没有做数学,他研究的是人怎样发声。可他借的那个姓氏不是编的。夏尔·德尼·布尔巴基是一位真的法国将军, 1816年生,打过克里米亚,打过意大利, 1870年对普鲁士那场战争里带东方军团,这支队伍最后在继任者克兰尚指挥下进入瑞士境内被解除武装。法国人听见这个姓,听见的是一段有戏的军旅史。
常听见的那句"他们编了一个不存在的布尔巴基将军",把两个人合成了一个。不存在的是数学家尼古拉·布尔巴基。将军存在。
这个姓再次出现在印刷品上是1931年,而且是在印度。韦尔1930年起在阿里格尔的一所大学当数学教授,第二年把一个叫科桑比的年轻人请去当讲师。那一年,阿格拉一份学报上登出科桑比的一篇文章,题目里写着布尔巴基第二定理的一个推广。布尔巴基这个姓头一回进入数学文献,就在这一篇里。韦尔后来说这主意是他出的:把一些东西归到一位鲜为人知的俄国数学家布尔巴基名下,那个人在革命里被毒死了。这个恶作剧要气的是一位自视甚高的资深同事。
到这里为止,布尔巴基还只是一个玩笑。玩笑变成作者,是1935年的事。
二 一顿午餐
1934年,斯特拉斯堡。亨利·卡尔唐和韦尔都在那里的大学教书,一个从1931年起,一个1933年到任。两个人都要给学生讲微积分和分析,用的是当时通行的古尔萨那部分析教程,两个人都不满意。
卡尔唐老来问韦尔同一类问题:这一段你怎么讲。问得多了,韦尔提了个主意:有五六个朋友分散在各地的大学里,教的是同一类课,何不凑到一起,把这本教材重写一遍。
1934年十二月十日,星期一中午,巴黎拉丁区圣米歇尔大道上一家叫卡普拉德的咖啡馆,六个人吃了第一顿正式的筹备午餐:卡尔唐,舍瓦莱,德尔萨特,迪厄多内,德波塞尔,韦尔。那家咖啡馆后来没有了。六个人给自己起的名字是分析论著委员会。
他们当时的打算,今天看近乎天真:写一本一千页上下的现代分析教材,半年左右完成, 1935年夏天以前把目录定下来。第一顿午餐上还定下一条规矩:要紧的事情不表决,要全体同意。
那半年里他们在巴黎又碰了十来次头。第二次会上决定把委员会扩到九个人,后来有人退出,有人补进来。又分出一批三人左右的小组,分头调查代数,积分,微分方程,微分形式,变分法,特殊函数,几何,傅里叶级数。分组有一条特别的规矩:每个专题小组里故意放一个不是这一行的人。
接下来发生的事,这个系列里见过好几次:为了把一件事讲清楚,先得把它底下那件讲清楚。要写分析,先得说定极限和连续依赖什么,要说定那个,先得说定拓扑和一般的集合怎么用。第十五篇的末尾说过,到1930年代,集合论那一层的技术争论已经稳住,它成了拓扑和实变函数每天在用的工具,哲学上的那一层则分了出去。这批人正是在那时候动的手。他们不打算再去打基础论的仗,他们要做的是从集合开始,把往后要用的东西按次序一件一件摆好。
一本教材的计划,就这样一路退到了地基上。
三 贝斯的一星期
1935年七月十日到十七日,奥弗涅山区的贝斯昂尚德斯,第一次正式的布尔巴基大会。
协会今天列出的创始成员是九个:卡尔唐,舍瓦莱,库隆,德尔萨特,迪厄多内,埃雷斯曼,德波塞尔,曼德尔布罗伊特,韦尔。按那年夏天算,最年轻的舍瓦莱二十六岁,最年长的曼德尔布罗伊特三十六岁,其余的都在二十九到三十一之间。卡尔唐做分析和拓扑,是大数学家埃利·卡尔唐的儿子。韦尔做数论和代数几何。库隆是做数学物理和地球物理的。迪厄多内那年二十九岁,做分析和代数,往后二十五年,这套书的终稿大半要经他的手。
九个三十上下的人要把整个学科的教材重写一遍,换一个时候会显得狂妄。1935年的法国不太一样。上一场战争把一代人打没了:高等师范学校学数学的学生,死在前线的比例,不同的算法给出四分之一到一半。这批人往上看,本该在四十几岁上给他们当老师,当权威,当审稿人的那一层,缺了一大块。他们面对的是旧教材,分散在各地的教职,和一套他们认为没跟上德国人以及现代代数,拓扑的课程。
所以布尔巴基首先不是一个学派。学派是一位大师带着学生。这是一群同龄人横着结成的组织,没有老师,也没有主席。后来那些制度,人人可以否决,五十岁退出,作者不署名,都是从这个形状里长出来的。
那一星期真正做成的有三件。临时的教材委员会变成了一个准备长期存在的集体。尼古拉·布尔巴基这个人格在这一阶段被立了起来。他们还接受了一个结论:沿用代数一册,微积分一册,几何一册的老分法,这套书写不成。
也是在1935年,埃利·卡尔唐,亨利·卡尔唐的父亲,收到一封介绍信,介绍一位叫尼古拉·布尔巴基的数学家。这位院士把稿子送进法国科学院的周报,登了出来。名字是谁起的,传得最广的版本说是德波塞尔当时的妻子埃弗利娜给这个虚构的人施洗,起名尼古拉。这个细节出自后来的口述,比姓氏那一段软。
书名要到1938年才定: 《数学原本》。原本两个字接的是第三篇里欧几里得那一部,隔着两千两百年。法文里数学那个词照例用复数,他们用了单数,意思是这门学问是一个整体。第一册1939年印出来,是集合论的结果册,只列结论,不给证明。带证明的集合论前两章,要等到1954年。
四 没有主席的会
大会一年开三次:两次各一星期,一次两星期上下。一天三场,加起来七个小时上下,常常是硬碰硬,有时候紧张。
会没有主席。一份草稿被人逐行朗读,任何人可以随时打断,质疑一个词,要求给出证明,或者主张整段重写。瑞士来的年轻数学家阿尔芒·博雷尔1949年第一次去旁听,听见的是两三股高声的独白互相穿过。迪厄多内后来说,外面来的访客走出去以后,常觉得自己刚看了一群疯子。
韦尔解释过这种乱:这是故意维持的无组织。他们相信,一旦过早分好各人的地盘,立起主持人和表决程序,出来的东西就会退化成一份普通的委员会文件。
草稿也不是专家写好别人校对。第一稿通常交给熟悉这一块的人,第二稿第三稿完全可能换人。一章改到六稿以上不算稀奇。上一次大会按意见彻底改过的稿子,这一次仍然可能被否掉,甚至决定退回更早的版本。
博雷尔记过根系那一章的经过。先是一份七十页左右的草稿。下一稿交上来一百三十页,有人说写得不错,可是布尔巴基在这么一个小题目上花的工夫太多了。最后印出来的那一章,二百八十八页。
最要紧的一条是:出版不投票。每个人实际上都有否决权,定稿要全体同意。
这条规矩造出了惊人的废稿量。有人写了几个星期甚至几个月,大会念了几页就判了死刑。另有一些不判死刑,放进他们所说的冰箱,从此不再出来。博雷尔举过一个极端的例子:韦尔写了两百六十多页关于流形和李群的方案,戈德门特接着又写了大约一百五十页,最后布尔巴基没有按那个方案出版一个字。
四百多页的劳动,没有变成任何一页印刷品。
吵到某一刻,如果争论里忽然长出一个让人满意的想法,他们内部有一句话:精神吹过来了。
五 同一个形状
贝斯那三件事里的第三件,老分法写不成,是这套书后来所有面貌的来源。
传统的分法按对象走:数是一门,形是一门,函数是一门。他们改成按形状走。
举一个最容易看见的例子。把三样东西摆在一起:整数的加法,平面上绕一个点的旋转,一副牌的洗法。三样东西的材料毫不相干,身上却有同一副骨架:任意两个可以合成一个,合成的次序怎么分组都不影响结果,有一个什么也不做的,每一个都配着一个能把它抵消掉的。凡是只用到这副骨架证出来的话,对三样东西同时成立,而且对以后遇到的任何一样有这副骨架的东西也成立。第十篇里伽罗瓦手上那一堆排列,就是这副骨架的一个早例,当时它还没有一个抽象的名字。
这样的骨架,布尔巴基叫它结构。他们挑出几种最基本的:一种管运算,一种管次序,一种管靠近和极限,内部叫它们母结构。一块内容该排在哪里,不再看它讲的是数还是形,而看它用到哪几副骨架,怎样叠起来。
这里要把两件事分开。他们在第一册里确实给结构下过一个正式的定义,用集合和关系造了一套一般的框架。数学史家科里的研究说明,那套正式的结构理论在实际研究中的作用远小于结构主义的广义眼光;这是科里对其影响的判断,不能理解成绝无例外的统计结论。真正传下去的是另一层:不按老门类,而按骨架和同构来看数学的那种眼光。卡尔唐自己后来谈这套书,谈的也是这一层。
1948年,一本讲数学思想潮流的法文文集里有一篇《数学的建筑》,署名布尔巴基,执笔的多半是迪厄多内。1950年,它的英译登在美国的一份数学月刊上。这是这个集体少有的一次对外解释自己:数学不是一堆互不相干的分支的合集,它们底下有共同的骨架,公理方法就是把骨架分出来的办法。文章里并排摆着三个来自算术和几何的例子,指出它们是同一副骨架,跟上面那三样东西是同一种做法。一个人写的东西,署的是一个不存在的人的名字,讲的是一门学问怎样不必按人和门类来分。
所以布尔巴基留下的不是一个技术装置,是一种排列方式。
六 使用说明
前六个部被排成一条严格的直线:集合论,代数,一般拓扑,实变函数,拓扑向量空间,积分。写到某处要用一个结果,只准引用同一部前面已经有的,或者这条直线上更早的那一部。正文原则上不引外面的文献。历史被赶到每一章后面的历史注记里,单独关着。
这条直线是有代价的。要用的东西必须先在前面出现,于是一部书等着另一部,一章等着另一章。排在最前面的集合论, 1939年只印出结论,带证明的前两章要等到1954年,中间隔了十五年,而这十五年里,排在它后面的代数和拓扑已经印出了好几册。
一节的节奏也固定:定义,一般的命题和定理,证明,推论和更特殊的情形,练习。顺序是从一般到特殊,不是问题,例子,猜测,试错,最后得到定理。博雷尔后来说得很准:这是一部教条式的书,它要给研究提供一块已经清理干净的地基,不重演发现的过程。
它并不是不管读者。每一卷前面有一篇《本书使用说明》。头一句说,这套书从数学的开头讲起,给出完整的证明。接着说,读者原则上不需要有什么数学知识,只需要对数学推理有一定的熟悉,和一定的抽象能力。一本书对读者提的条件,不是他学过什么,是他能不能抽象。书页边上还有一个记号,借的是法国公路上那块"危险转弯"的牌子,立在容易误解或者技术上危险的地方。后来做排版的人把这个记号传了出去,今天仍有人管它叫布尔巴基的危险转弯。
可它照顾的是另一种读者。它关心的不是让初学的人觉得亲切,是让一个常年用它的人在一座巨大的,到处互相引用的建筑里知道自己站在哪里,哪一处危险,脚下这块地是从哪一部搬过来的。
书里每一条都编了号。要用前面的结果,写的是那个编号,不是某个人某一年的论文。一般数学书里出现得最多的人名,本来在参考文献那一栏,这套书的正文里没有这一栏。翻开一章,最前面是定义,这些定义从哪里来,要读到章末的历史注记才说,十九世纪那些人的名字在那里才出现。
几何示意图极少。帮助人想象的那种启发性说明,在大会上常常活不下来:博雷尔亲眼见过,这种话进了草稿,逐行念的时候有人指出它含糊,三两句之内严格不起来,于是删掉。连迪厄多内自己写的稿子,也被集体批过一句太抽象。
所以书里那种没有直觉的样子,至少有一部分是编订过滤出来的,不是写的人本来没有直觉。
读到这里可以把一件事挑明。这个系列越往后越难读,第十四篇以后尤其明显。这不是材料变少了,二十世纪的人和纸比十九世纪多得多。是这门学问自己换了形状:定义放在最前面,来历放在最后面,例子退到练习里,人不出现。讲它的文章跟着难读,因为现代数学的一种强势陈述方式,把定义和论证前置,把人的发现过程移到了正文之外。布尔巴基这一套,是这个方向走得最彻底的一次。
七 谁都知道是谁
布尔巴基常被叫作秘密社团。这个词不太对。
不公开的是现任成员名单,不是成员身份。博雷尔1949年到巴黎,很快就知道哪些资深和年轻的数学家属于这个圈子,不久就接到了参加大会的邀请。巴黎做数学的年轻人不需要做侦探。
美国数学会收到过布尔巴基申请个人会员。回信的人知道那是一个集体,请他们改申请机构会员。另一次,博阿斯在一部百科全书里告诉读者,尼古拉·布尔巴基是一群法国年轻数学家的集体笔名,布尔巴基于是放出话来,说博阿斯多半才是《数学评论》编辑部的集体假名。
这是维持一个虚构人格的游戏,不是一次成功的隐藏。
真正被藏起来的是另一层:哪一段是谁先写的,哪一个定义是谁坚持的,谁在某次争论里输了,谁的四百页进了冰箱。这些东西书上一律不留。
迪厄多内是最清楚的例子。二十五年里,终稿,练习和送印的活大量落在他身上,博雷尔估计他的产量可能超过另外两三个人之和。他早上先弹一阵钢琴,然后给布尔巴基写几页。1940年九月,战争已经打起来,内部通讯《部落》第三号上,他列出了一个二十七个部的总计划。全套书那个统一的声音,很大一部分是他做出来的,而那不是他自己写东西时的声音,他是专门采用了一种布尔巴基的腔调。
书上没有他的名字。书上只有尼古拉·布尔巴基。
1948年起,布尔巴基讨论班开始定期举行,一年三次,每次六场,讲的是别人的新工作,讲的人有成员也有外人。讲座的稿子印出来,上面署的是讲者本人的名字。同一个集体,一边出一套没有作者的书,一边办一个人人署名的讲坛。
集体笔名也不是只有这一个。差不多同时,英国有几个人用布朗什·笛卡尔这个名字发表共同的作品, 1952年美国又出现了一个叫约翰·雷恩沃特的人,好些人长期用这个名字,后来还真发表了数学成果。布尔巴基的特别之处不在于是唯一的一个,在于四样东西叠在一起:时间特别长,人特别强,出版规模特别大,而且这个虚构的作者取得了近乎制度性的权威。
五十岁退出这条规矩,后来被说成从第一天起就铁面无私。实情松得多。原则立得早,可到1953年前后第一批人开始够到这个年龄,一度没人认真处理。1956年韦尔写信主动宣布退休,它才变成稳定的惯例。它防的也不是年纪,是创始人永久占住位置:新的数学要跟着新人进来。
1952年,这个集体有了法律身份,叫尼古拉·布尔巴基合作者协会,用来处理合同,版权和持续出版。成员靠各自的大学或者研究机构的薪水过日子,书的收入维持出版和集体本身,不是谁的工资。
档案留得很全。草稿,反草稿,会后批注,任务分配,还有大会的内部记录《部落》,里面连笑话,诗和绰号都在。后来博利厄用这批材料做成博士论文,把1934年到1935年那十次筹备会一次一次重建了出来。协会后来又把相当一批档案交给一个数学史的数字化项目整理,今天可以在网上一页一页翻。
那批纸就是作者消失这句话的限度。
八 从另一头出来的东西
成员自己做数学,不是书里那个样子。
博雷尔说得很直接:研究和写这套书,是两类几乎分开的活动。大会的间隙和正式场次之外,他们谈的全是各自正在做的具体问题和最新结果。德利涅后来回忆自己很年轻时怎样被领进代数几何:老师画了一条三次曲线,再画一条穿过其中两点的直线,说这是漂亮的几何。
也不能走到另一头去。博雷尔认为卡尔唐自己的论文常显出一种布尔巴基式的推进:引理一个接一个自然地串下去,最后大定理忽然落地。塞尔开玩笑说,这是在布尔巴基待久了练出来的。出版的体例和个人的实践不相等,也不是全不相干。
迪厄多内本人留下的对照最整齐。那套书里没有他的名字,可是向外解释布尔巴基在做什么的文章, 1970年一篇, 1982年一篇,署的是他自己的名字。1960年起他又用自己的名字写另一套多卷本,题目叫《分析原本》,一直写到1982年,九卷。写了二十五年不署名的人,后来给自己也造了一套原本。1987年,他又用自己的名字出了一本讲今天的数学的书,写给学过中学数学,还对它留着一点兴趣的人,书名叫《为了人类精神的荣誉》。
书出来以后挨的批评,分得清的有几种。1953年阿廷评《代数》那一册,留下一句被引最多的话,大意是这本书抽象,而且毫不留情地抽象。这句常被截一半。他后半句说的是,能熬过开头那阵困难的读者,换来的是更深的理解。同一年哈尔莫斯评《积分》,说他们把积分理论过度围着局部紧的空间来组织,不合概率论实际的需要。这一条后来有了后果: 《积分》添了一章。还有一种说法是它离应用太远。概率,偏微分方程,逻辑,组合这些方向在这套书里的位置,和当时实际研究里的分量对不上,这是选择,不是疏忽。
被夸得最过的一条关联是新数学。迪厄多内确实是战后结构化数学教育最激烈的公开倡导者之一, 1959年一次教育会议上那句"打倒欧几里得"就是他喊的。可从这里跳到新数学是布尔巴基发动的一场中小学运动,就不成立:各国的改革各有各的行政系统和来路,布尔巴基作为集体没有发布过中小学课程纲领,那套书也从来不是给孩子写的。博雷尔本人还特意说过,这套书的教条式陈述不是研究过程的蓝图。
五十年代以后,这个集体自己也遇上了麻烦。前六部的地基差不多铺完,数学本身却已经变了。继续守着严格的直线排序,新专题就要一直往后拖。要求每个人都关心全部内容,在越来越专门化的数学面前也维持不住。格罗滕迪克要求先建起更深的同调代数和范畴基础,交上来的草稿一大摞,没有被简单接受,这些宏大计划长期收束不了。到1980年代初,这套书已经是几十个分册,几千页,而当初想写的那个分析还没有写完。
影响到底有多大,从五十年代就有两种算法。1952年胡列维茨的意思大致是:大家看见的那些成果不必归到布尔巴基名下,这些人本来就是很强的数学家。博雷尔自己也承认,战后法国数学的巨大变化不能全算在这个集体账上,莱雷,托姆和另外几个方向各有各的来路。可他也记下另一件事:早先批评过这套书的外尔,到1952年说他把先前的话全收回。按定理的归属算,布尔巴基很容易被高估,按语言,训练和体例的标准算,又很容易被低估。博雷尔自己晚年的评语很克制,大意是:性格各异的一群数学家多年无私合作,朝着一个共同目标,这在数学史上恐怕是独一份的经历。
他们造出来的是一台机器。个人的草稿,脾气,争吵和直觉从一头进去,从另一头出来的,不是九个人折中的文本,而是一部看上去从来只有一个作者的书。这个作者不存在。可是让他看上去存在的那套制度,那些劳动和那个社交网络,比多数真作者都更容易在档案里看见。
看上去天生如此的秩序,都是一稿一稿改出来的。
1976年,一个定理的证明交了出来,里面有一千二百个小时的机器计算,没有人能用手把它核完。
数还在往下算,而什么算数学,还没有算清楚过。
一 一位不存在的數學家
巴黎高等師範學校有一種傳統:學生假扮一位外來的權威,給新生上一堂煞有介事的課,看誰先聽出不對。1923年前後,一個叫拉烏爾·於松的學生貼上鬍子,裝成一位外國來的教授,給低年級的同學做了一場講座。他用誇張的口音一條一條往下講,那些定理聽上去很像樣,其實一條比一條荒唐,每一條都歸在一位誰也沒聽說過的數學家名下。壓軸的那一條最離譜,他管它叫布爾巴基定理。
台下坐著的那一屆學生里,有一個叫安德烈·韋爾。
這件事寫下來,是韋爾1992年的回憶錄,離那個下午快七十年。於松後來沒有做數學,他研究的是人怎樣發聲。可他借的那個姓氏不是編的。夏爾·德尼·布爾巴基是一位真的法國將軍, 1816年生,打過克里米亞,打過意大利, 1870年對普魯士那場戰爭里帶東方軍團,這支隊伍最後在繼任者克蘭尚指揮下進入瑞士境內被解除武裝。法國人聽見這個姓,聽見的是一段有戲的軍旅史。
常聽見的那句"他們編了一個不存在的布爾巴基將軍",把兩個人合成了一個。不存在的是數學家尼古拉·布爾巴基。將軍存在。
這個姓再次出現在印刷品上是1931年,而且是在印度。韋爾1930年起在阿里格爾的一所大學當數學教授,第二年把一個叫科桑比的年輕人請去當講師。那一年,阿格拉一份學報上登出科桑比的一篇文章,題目裡寫著布爾巴基第二定理的一個推廣。布爾巴基這個姓頭一回進入數學文獻,就在這一篇裡。韋爾後來說這主意是他出的:把一些東西歸到一位鮮為人知的俄國數學家布爾巴基名下,那個人在革命里被毒死了。這個惡作劇要氣的是一位自視甚高的資深同事。
到這裡為止,布爾巴基還只是一個玩笑。玩笑變成作者,是1935年的事。
二 一頓午餐
1934年,斯特拉斯堡。亨利·卡爾唐和韋爾都在那裡的大學教書,一個從1931年起,一個1933年到任。兩個人都要給學生講微積分和分析,用的是當時通行的古爾薩那部分析教程,兩個人都不滿意。
卡爾唐老來問韋爾同一類問題:這一段你怎麼講。問得多了,韋爾提了個主意:有五六個朋友分散在各地的大學裡,教的是同一類課,何不湊到一起,把這本教材重寫一遍。
1934年十二月十日,星期一中午,巴黎拉丁區聖米歇爾大道上一家叫卡普拉德的咖啡館,六個人吃了第一頓正式的籌備午餐:卡爾唐,捨瓦萊,德爾薩特,迪厄多內,德波塞爾,韋爾。那家咖啡館後來沒有了。六個人給自己起的名字是分析論著委員會。
他們當時的打算,今天看近乎天真:寫一本一千頁上下的現代分析教材,半年左右完成, 1935年夏天以前把目錄定下來。第一頓午餐上還定下一條規矩:要緊的事情不表決,要全體同意。
那半年裡他們在巴黎又碰了十來次頭。第二次會上決定把委員會擴到九個人,後來有人退出,有人補進來。又分出一批三人左右的小組,分頭調查代數,積分,微分方程,微分形式,變分法,特殊函數,幾何,傅里葉級數。分組有一條特別的規矩:每個專題小組里故意放一個不是這一行的人。
接下來發生的事,這個系列裡見過好幾次:為了把一件事講清楚,先得把它底下那件講清楚。要寫分析,先得說定極限和連續依賴什麼,要說定那個,先得說定拓撲和一般的集合怎麼用。第十五篇的末尾說過,到1930年代,集合論那一層的技術爭論已經穩住,它成了拓撲和實變函數每天在用的工具,哲學上的那一層則分了出去。這批人正是在那時候動的手。他們不打算再去打基礎論的仗,他們要做的是從集合開始,把往後要用的東西按次序一件一件擺好。
一本教材的計劃,就這樣一路退到了地基上。
三 貝斯的一星期
1935年七月十日到十七日,奧弗涅山區的貝斯昂尚德斯,第一次正式的布爾巴基大會。
協會今天列出的創始成員是九個:卡爾唐,捨瓦萊,庫隆,德爾薩特,迪厄多內,埃雷斯曼,德波塞爾,曼德爾布羅伊特,韋爾。按那年夏天算,最年輕的捨瓦萊二十六歲,最年長的曼德爾布羅伊特三十六歲,其餘的都在二十九到三十一之間。卡爾唐做分析和拓撲,是大數學家埃利·卡爾唐的兒子。韋爾做數論和代數幾何。庫隆是做數學物理和地球物理的。迪厄多內那年二十九歲,做分析和代數,往後二十五年,這套書的終稿大半要經他的手。
九個三十上下的人要把整個學科的教材重寫一遍,換一個時候會顯得狂妄。1935年的法國不太一樣。上一場戰爭把一代人打沒了:高等師範學校學數學的學生,死在前線的比例,不同的算法給出四分之一到一半。這批人往上看,本該在四十幾歲上給他們當老師,當權威,當審稿人的那一層,缺了一大塊。他們面對的是舊教材,分散在各地的教職,和一套他們認為沒跟上德國人以及現代代數,拓撲的課程。
所以布爾巴基首先不是一個學派。學派是一位大師帶著學生。這是一群同齡人橫著結成的組織,沒有老師,也沒有主席。後來那些制度,人人可以否決,五十歲退出,作者不署名,都是從這個形狀里長出來的。
那一星期真正做成的有三件。臨時的教材委員會變成了一個準備長期存在的集體。尼古拉·布爾巴基這個人格在這一階段被立了起來。他們還接受了一個結論:沿用代數一冊,微積分一冊,幾何一冊的老分法,這套書寫不成。
也是在1935年,埃利·卡爾唐,亨利·卡爾唐的父親,收到一封介紹信,介紹一位叫尼古拉·布爾巴基的數學家。這位院士把稿子送進法國科學院的周報,登了出來。名字是誰起的,傳得最廣的版本說是德波塞爾當時的妻子埃弗利娜給這個虛構的人施洗,起名尼古拉。這個細節出自後來的口述,比姓氏那一段軟。
書名要到1938年才定: 《數學原本》。原本兩個字接的是第三篇裡歐幾里得那一部,隔著兩千兩百年。法文裡數學那個詞照例用複數,他們用了單數,意思是這門學問是一個整體。第一冊1939年印出來,是集合論的結果冊,只列結論,不給證明。帶證明的集合論前兩章,要等到1954年。
四 沒有主席的會
大會一年開三次:兩次各一星期,一次兩星期上下。一天三場,加起來七個小時上下,常常是硬碰硬,有時候緊張。
會沒有主席。一份草稿被人逐行朗讀,任何人可以隨時打斷,質疑一個詞,要求給出證明,或者主張整段重寫。瑞士來的年輕數學家阿爾芒·博雷爾1949年第一次去旁聽,聽見的是兩三股高聲的獨白互相穿過。迪厄多內後來說,外面來的訪客走出去以後,常覺得自己剛看了一群瘋子。
韋爾解釋過這種亂:這是故意維持的無組織。他們相信,一旦過早分好各人的地盤,立起主持人和表決程序,出來的東西就會退化成一份普通的委員會文件。
草稿也不是專家寫好別人校對。第一稿通常交給熟悉這一塊的人,第二稿第三稿完全可能換人。一章改到六稿以上不算稀奇。上一次大會按意見徹底改過的稿子,這一次仍然可能被否掉,甚至決定退回更早的版本。
博雷爾記過根系那一章的經過。先是一份七十頁左右的草稿。下一稿交上來一百三十頁,有人說寫得不錯,可是布爾巴基在這麼一個小題目上花的工夫太多了。最後印出來的那一章,二百八十八頁。
最要緊的一條是:出版不投票。每個人實際上都有否決權,定稿要全體同意。
這條規矩造出了驚人的廢稿量。有人寫了幾個星期甚至幾個月,大會念了幾頁就判了死刑。另有一些不判死刑,放進他們所說的冰箱,從此不再出來。博雷爾舉過一個極端的例子:韋爾寫了兩百六十多頁關於流形和李群的方案,戈德門特接著又寫了大約一百五十頁,最後布爾巴基沒有按那個方案出版一個字。
四百多頁的勞動,沒有變成任何一頁印刷品。
吵到某一刻,如果爭論里忽然長出一個讓人滿意的想法,他們內部有一句話:精神吹過來了。
五 同一個形狀
貝斯那三件事里的第三件,老分法寫不成,是這套書後來所有面貌的來源。
傳統的分法按對象走:數是一門,形是一門,函數是一門。他們改成按形狀走。
舉一個最容易看見的例子。把三樣東西擺在一起:整數的加法,平面上繞一個點的旋轉,一副牌的洗法。三樣東西的材料毫不相干,身上卻有同一副骨架:任意兩個可以合成一個,合成的次序怎麼分組都不影響結果,有一個什麼也不做的,每一個都配著一個能把它抵消掉的。凡是只用到這副骨架證出來的話,對三樣東西同時成立,而且對以後遇到的任何一樣有這副骨架的東西也成立。第十篇裡伽羅瓦手上那一堆排列,就是這副骨架的一個早例,當時它還沒有一個抽象的名字。
這樣的骨架,布爾巴基叫它結構。他們挑出幾種最基本的:一種管運算,一種管次序,一種管靠近和極限,內部叫它們母結構。一塊內容該排在哪裡,不再看它講的是數還是形,而看它用到哪幾副骨架,怎樣疊起來。
這裡要把兩件事分開。他們在第一冊里確實給結構下過一個正式的定義,用集合和關係造了一套一般的框架。數學史家科里的研究說明,那套正式的結構理論在實際研究中的作用遠小於結構主義的廣義眼光;這是科里對其影響的判斷,不能理解成絕無例外的統計結論。真正傳下去的是另一層:不按老門類,而按骨架和同構來看數學的那種眼光。卡爾唐自己後來談這套書,談的也是這一層。
1948年,一本講數學思想潮流的法文文集裡有一篇《數學的建築》,署名布爾巴基,執筆的多半是迪厄多內。1950年,它的英譯登在美國的一份數學月刊上。這是這個集體少有的一次對外解釋自己:數學不是一堆互不相干的分支的合集,它們底下有共同的骨架,公理方法就是把骨架分出來的辦法。文章裡並排擺著三個來自算術和幾何的例子,指出它們是同一副骨架,跟上面那三樣東西是同一種做法。一個人寫的東西,署的是一個不存在的人的名字,講的是一門學問怎樣不必按人和門類來分。
所以布爾巴基留下的不是一個技術裝置,是一種排列方式。
六 使用說明
前六個部被排成一條嚴格的直線:集合論,代數,一般拓撲,實變函數,拓撲向量空間,積分。寫到某處要用一個結果,只准引用同一部前面已經有的,或者這條直線上更早的那一部。正文原則上不引外面的文獻。歷史被趕到每一章後面的歷史注記里,單獨關著。
這條直線是有代價的。要用的東西必須先在前面出現,於是一部書等著另一部,一章等著另一章。排在最前面的集合論, 1939年只印出結論,帶證明的前兩章要等到1954年,中間隔了十五年,而這十五年裡,排在它後面的代數和拓撲已經印出了好幾冊。
一節的節奏也固定:定義,一般的命題和定理,證明,推論和更特殊的情形,練習。順序是從一般到特殊,不是問題,例子,猜測,試錯,最後得到定理。博雷爾後來說得很准:這是一部教條式的書,它要給研究提供一塊已經清理乾淨的地基,不重演發現的過程。
它並不是不管讀者。每一卷前面有一篇《本書使用說明》。頭一句說,這套書從數學的開頭講起,給出完整的證明。接著說,讀者原則上不需要有什麼數學知識,只需要對數學推理有一定的熟悉,和一定的抽象能力。一本書對讀者提的條件,不是他學過什麼,是他能不能抽象。書頁邊上還有一個記號,借的是法國公路上那塊"危險轉彎"的牌子,立在容易誤解或者技術上危險的地方。後來做排版的人把這個記號傳了出去,今天仍有人管它叫布爾巴基的危險轉彎。
可它照顧的是另一種讀者。它關心的不是讓初學的人覺得親切,是讓一個常年用它的人在一座巨大的,到處互相引用的建築里知道自己站在哪裡,哪一處危險,腳下這塊地是從哪一部搬過來的。
書裡每一條都編了號。要用前面的結果,寫的是那個編號,不是某個人某一年的論文。一般數學書裡出現得最多的人名,本來在參考文獻那一欄,這套書的正文裡沒有這一欄。翻開一章,最前面是定義,這些定義從哪裡來,要讀到章末的歷史注記才說,十九世紀那些人的名字在那裡才出現。
幾何示意圖極少。幫助人想象的那種啓發性說明,在大會上常常活不下來:博雷爾親眼見過,這種話進了草稿,逐行念的時候有人指出它含糊,三兩句之內嚴格不起來,於是刪掉。連迪厄多內自己寫的稿子,也被集體批過一句太抽象。
所以書裡那種沒有直覺的樣子,至少有一部分是編訂過濾出來的,不是寫的人本來沒有直覺。
讀到這裡可以把一件事挑明。這個系列越往後越難讀,第十四篇以後尤其明顯。這不是材料變少了,二十世紀的人和紙比十九世紀多得多。是這門學問自己換了形狀:定義放在最前面,來歷放在最後面,例子退到練習里,人不出現。講它的文章跟著難讀,因為現代數學的一種強勢陳述方式,把定義和論證前置,把人的發現過程移到了正文之外。布爾巴基這一套,是這個方向走得最徹底的一次。
七 誰都知道是誰
布爾巴基常被叫作秘密社團。這個詞不太對。
不公開的是現任成員名單,不是成員身份。博雷爾1949年到巴黎,很快就知道哪些資深和年輕的數學家屬於這個圈子,不久就接到了參加大會的邀請。巴黎做數學的年輕人不需要做偵探。
美國數學會收到過布爾巴基申請個人會員。回信的人知道那是一個集體,請他們改申請機構會員。另一次,博阿斯在一部百科全書裡告訴讀者,尼古拉·布爾巴基是一群法國年輕數學家的集體筆名,布爾巴基於是放出話來,說博阿斯多半才是《數學評論》編輯部的集體假名。
這是維持一個虛構人格的遊戲,不是一次成功的隱藏。
真正被藏起來的是另一層:哪一段是誰先寫的,哪一個定義是誰堅持的,誰在某次爭論里輸了,誰的四百頁進了冰箱。這些東西書上一律不留。
迪厄多內是最清楚的例子。二十五年裡,終稿,練習和送印的活大量落在他身上,博雷爾估計他的產量可能超過另外兩三個人之和。他早上先彈一陣鋼琴,然後給布爾巴基寫幾頁。1940年九月,戰爭已經打起來,內部通訊《部落》第三號上,他列出了一個二十七個部的總計劃。全套書那個統一的聲音,很大一部分是他做出來的,而那不是他自己寫東西時的聲音,他是專門採用了一種布爾巴基的腔調。
書上沒有他的名字。書上只有尼古拉·布爾巴基。
1948年起,布爾巴基討論班開始定期舉行,一年三次,每次六場,講的是別人的新工作,講的人有成員也有外人。講座的稿子印出來,上面署的是講者本人的名字。同一個集體,一邊出一套沒有作者的書,一邊辦一個人人署名的講壇。
集體筆名也不是只有這一個。差不多同時,英國有幾個人用布朗什·笛卡爾這個名字發表共同的作品, 1952年美國又出現了一個叫約翰·雷恩沃特的人,好些人長期用這個名字,後來還真發表了數學成果。布爾巴基的特別之處不在於是唯一的一個,在於四樣東西疊在一起:時間特別長,人特別強,出版規模特別大,而且這個虛構的作者取得了近乎制度性的權威。
五十歲退出這條規矩,後來被說成從第一天起就鐵面無私。實情松得多。原則立得早,可到1953年前後第一批人開始夠到這個年齡,一度沒人認真處理。1956年韋爾寫信主動宣佈退休,它才變成穩定的慣例。它防的也不是年紀,是創始人永久佔住位置:新的數學要跟著新人進來。
1952年,這個集體有了法律身份,叫尼古拉·布爾巴基合作者協會,用來處理合同,版權和持續出版。成員靠各自的大學或者研究機構的薪水過日子,書的收入維持出版和集體本身,不是誰的工資。
檔案留得很全。草稿,反草稿,會後批注,任務分配,還有大會的內部記錄《部落》,裡面連笑話,詩和綽號都在。後來博利厄用這批材料做成博士論文,把1934年到1935年那十次籌備會一次一次重建了出來。協會後來又把相當一批檔案交給一個數學史的數字化項目整理,今天可以在網上一頁一頁翻。
那批紙就是作者消失這句話的限度。
八 從另一頭出來的東西
成員自己做數學,不是書裡那個樣子。
博雷爾說得很直接:研究和寫這套書,是兩類幾乎分開的活動。大會的間隙和正式場次之外,他們談的全是各自正在做的具體問題和最新結果。德利涅後來回憶自己很年輕時怎樣被領進代數幾何:老師畫了一條三次曲線,再畫一條穿過其中兩點的直線,說這是漂亮的幾何。
也不能走到另一頭去。博雷爾認為卡爾唐自己的論文常顯出一種布爾巴基式的推進:引理一個接一個自然地串下去,最後大定理忽然落地。塞爾開玩笑說,這是在布爾巴基待久了練出來的。出版的體例和個人的實踐不相等,也不是全不相干。
迪厄多內本人留下的對照最整齊。那套書裡沒有他的名字,可是向外解釋布爾巴基在做什麼的文章, 1970年一篇, 1982年一篇,署的是他自己的名字。1960年起他又用自己的名字寫另一套多卷本,題目叫《分析原本》,一直寫到1982年,九卷。寫了二十五年不署名的人,後來給自己也造了一套原本。1987年,他又用自己的名字出了一本講今天的數學的書,寫給學過中學數學,還對它留著一點興趣的人,書名叫《為了人類精神的榮譽》。
書出來以後挨的批評,分得清的有幾種。1953年阿廷評《代數》那一冊,留下一句被引最多的話,大意是這本書抽象,而且毫不留情地抽象。這句常被截一半。他後半句說的是,能熬過開頭那陣困難的讀者,換來的是更深的理解。同一年哈爾莫斯評《積分》,說他們把積分理論過度圍著局部緊的空間來組織,不合概率論實際的需要。這一條後來有了後果: 《積分》添了一章。還有一種說法是它離應用太遠。概率,偏微分方程,邏輯,組合這些方向在這套書裡的位置,和當時實際研究裡的分量對不上,這是選擇,不是疏忽。
被誇得最過的一條關聯是新數學。迪厄多內確實是戰後結構化數學教育最激烈的公開倡導者之一, 1959年一次教育會議上那句"打倒歐幾里得"就是他喊的。可從這裡跳到新數學是布爾巴基發動的一場中小學運動,就不成立:各國的改革各有各的行政系統和來路,布爾巴基作為集體沒有發佈過中小學課程綱領,那套書也從來不是給孩子寫的。博雷爾本人還特意說過,這套書的教條式陳述不是研究過程的藍圖。
五十年代以後,這個集體自己也遇上了麻煩。前六部的地基差不多鋪完,數學本身卻已經變了。繼續守著嚴格的直線排序,新專題就要一直往後拖。要求每個人都關心全部內容,在越來越專門化的數學面前也維持不住。格羅滕迪克要求先建起更深的同調代數和範疇基礎,交上來的草稿一大摞,沒有被簡單接受,這些宏大計劃長期收束不了。到1980年代初,這套書已經是幾十個分冊,幾千頁,而當初想寫的那個分析還沒有寫完。
影響到底有多大,從五十年代就有兩種算法。1952年胡列維茨的意思大致是:大家看見的那些成果不必歸到布爾巴基名下,這些人本來就是很強的數學家。博雷爾自己也承認,戰後法國數學的巨大變化不能全算在這個集體賬上,萊雷,托姆和另外幾個方向各有各的來路。可他也記下另一件事:早先批評過這套書的外爾,到1952年說他把先前的話全收回。按定理的歸屬算,布爾巴基很容易被高估,按語言,訓練和體例的標準算,又很容易被低估。博雷爾自己晚年的評語很克制,大意是:性格各異的一群數學家多年無私合作,朝著一個共同目標,這在數學史上恐怕是獨一份的經歷。
他們造出來的是一台機器。個人的草稿,脾氣,爭吵和直覺從一頭進去,從另一頭出來的,不是九個人折中的文本,而是一部看上去從來只有一個作者的書。這個作者不存在。可是讓他看上去存在的那套制度,那些勞動和那個社交網絡,比多數真作者都更容易在檔案裡看見。
看上去天生如此的秩序,都是一稿一稿改出來的。
1976年,一個定理的證明交了出來,裡面有一千二百個小時的機器計算,沒有人能用手把它核完。
數還在往下算,而什麼算數學,還沒有算清楚過。
Sources and further reading史料与延伸阅读史料與延伸閱讀
Selected references for historical details and interpretive disputes. Museum records, ancient literary accounts and modern reconstructions do not carry the same kind of evidence.
以下资料对应文中的历史细节与解释分歧。馆藏记录、古代文学与现代重建,不是同一种证据。
以下資料對應文中的歷史細節與解釋分歧。館藏記錄、古代文學與現代重建,不是同一種證據。
- Borel, Twenty-Five Years with Nicolas Bourbaki博雷尔回忆布尔巴基25年博雷爾回憶布爾巴基25年
- Leo Corry on Bourbaki's structuresLeo Corry布尔巴基结构理论研究Leo Corry布爾巴基結構理論研究
- MacTutor: Bourbaki's prewar years圣安德鲁斯大学布尔巴基战前史聖安德魯斯大學布爾巴基戰前史
- MacTutor: Kosambi's mathematical publications科桑比数学著作史料科桑比數學著作史料
- Vaud archives: the Army of the East in 1871沃州档案:1871东方军团沃州檔案:1871東方軍團
- Bourbaki association布尔巴基协会布爾巴基協會