Skip to content →

74 search results for "bourbaki"

Where’s Bourbaki’s tomb?

In according to Groth IV.22 we tried to solve one of the riddles contained in Roubaud’s announcement of Bourbaki’s death.

Today, we’ll try our hands on the next one: where was Bourbaki buried?

The death announcement gives this fairly opaque clue:

“The burial will take place in the cemetery for Random Functions (metro stations Markov and Gödel) on Saturday, November 23, 1968 at 3 o’clock in the afternoon.”

What happened on November 23rd 1968?

Bourbaki died on November 11th, 1968 (exactly 50 years after the end of WW1). Perhaps an allusion to the mandatory retirement age for members of Bourbaki, as suggested by the Canulars Bourbaki.

Be that as it may, I believe this date was chosen because it is conveniently close to the intended time of the burial.

But then, what’s so special about November 23rd, 1968?

Well, is there a more suitable moment to burry Bourbaki than during a Seminaire Bourbaki? And, yes, in the fall of 1968 the seminar was organised from saturday 23rd till monday 25th of november:


So, where would all of Bourbaki’s close family be at 3 o’clock on that particular saturday? Right, at l’Institut Henri Poincare.

But, it’s hard to view the IHP as a cemetery. Besides, it’s nowhere close to two metro stations as a quick look on the map shows. The closest one is the RER-station at the Luxembourg gardens, but the RER-line didn’t exist in 1968.

(True Parisians may object that the Gare du Luxembourg was at the time the terminus of the Ligne de Sceaux which has a fascinating history, but let’s try to remain on track…)

If the first clue is the Institut Henri Poincare, then if we are looking for a cemetery, we might ask:

Where’s Poincare’s tomb?

Jules Henri Poincare is burried in the family tomb at the Montparnasse cemetery

He’s not the only mathematician buried there. Évariste Galois, Jean Victor Poncelet, Joseph Liouville, Charles Hermite, and Gaston Darboux also found their last resting place in Montparnasse.

In fact, there are at least 104 mathematicians buried at Montparnasse.

This is hardly surprising as the Montparnasse cemetery is close to the IHP, the Collège de France, the Sorbonne, the “rue d’Ulm” aka the ENS, l’Observatoire and until 1976 l’École polytechnique.

Here’s a map with pointers to some of these tombs:

So, the Montparnasse cemetery appears to be a plausible place to host Bourbaki’s tomb.

But, what about the other “clues”?

“Cemetery of random functions (metro stations Markov and Gödel)”

There are several references lo logic, set theory and applied mathematics in Bourbaki’s death announcement. Why?

Roubaud (and many with him) feel that the Bourbaki enterprise failed miserably in these areas.

He writes on page 49 of his book Mathematics, a novel:

“But Bourbaki, that ‘collective mathematician”, as Raymond Queneau put it, also had a good knowledge of the current state of mathematics at the time when his Treatise was being composed; with, of course, a few “gaps”:

for example, probability, which was considered to be just an “applied” brand of measure theory”; and logic, especially logic, which was made almost a pariah because of (so it was rumored) the premature death of Herbrand, who, in the generation of founders, Normaliens to a man, had studied under Hilbert, and thus had been associated with his meteoric rise; in sum, logic had died in a climbing accident along with Herbrand.”

This might explain the cemetery of “random functions” and the metro stations named after the logicians and set theorists Kurt Gödel and A.A. Markov or the father of stochastic processes Andrey Markov.

Is there more into these references?

Probably not, but just to continue with our silly game, the two metro stations closest to the Montparnasse cemetery are Raspail and Edgar Quinet.

Now, François-Vincent Raspail was a French chemist, naturalist, physician, physiologist, attorney, and socialist politician.

More relevant to our quest is that the Centre d’analyse et de mathématique sociales (CAMS) was based at 54, boulevard Raspail. The mission statement on their website tells that this institute is clearly devoted to all applications of mathematics. That is, “Raspail” may be another pointer to applied mathematics and random functions.

As for the other metro station, Edgar Quinet was a French historian and intellectual. Is there a connection to logic or set theory? Well, sort of. The Encyclopedia Britannica has this to say about Edgar Quinet:

“His rhetorical power was altogether superior to his logical power, and the natural consequence is that his work is full of contradictions.”

I rest my case.

Leave a Comment

The empty set according to bourbaki

The footnote on page E. II.6 in Bourbaki’s 1970 edition of “Theorie des ensembles” reads




If this is completely obvious to you, stop reading now and start getting a life. For the rest of us, it took me quite some time before i was able to parse this formula, and when i finally did, it only added to my initial confusion.

Though the Bourbakis had a very preliminary version of their set-theory already out in 1939 (Fascicule des Resultats), the version as we know it now was published, chapter-wise, in the fifties: Chapters I and II in 1954, Chapter III in 1956 and finally Chapter IV in 1957.


In the first chapter they develop their version of logic, using ‘assemblages’ (assemblies) which are words of signs and letters, the signs being $\tau, \square, \vee, \neg, =, \in$ and $\supset$.

Of these, we have the familiar signs $\vee$ (or), $\neg$ (not), $=$ (equal to) and $\in$ (element of) and, three more exotic ones: $\tau$ (their symbol for the Hilbert operator $\varepsilon$), $\square$ a sort of wildcard variable bound by an occurrence of $\tau$ (the ‘links’ in the above scan) and $\supset$ for an ordered couple.

The connectives are written in front of the symbols they connect rather than between them, avoiding brackets, so far example $(x \in y) \vee (x=x)$ becomes $\vee \epsilon x y = x x$.

If $R$ is some assembly and $x$ a letter occurring in $R$, then the intende meaning of the *Hilbert-operator* $\tau_x(R)$ is ‘some $x$ for which $R$ is true if such a thing exists’. $\tau_x(R)$ is again an assembly constructed in three steps: (a) form the assembly $\tau R$, (b) link the starting $\tau$ to all occurrences of $x$ in $R$ and (c) replace those occurrences of $x$ by an occurrence of $\square$.

For MathJax reasons we will not try to draw links but rather give a linked $\tau$ and $\square$ the same subscript. So, for example, the claimed assembly for $\emptyset$ above reads

$\tau_y \neg \neg \neg \in \tau_x \neg \neg \in \square_x \square_y \square_y$

If $A$ and $B$ are assemblies and $x$ a letter occurring in $B$ then we denote by $(A | x)B$ the assembly obtained by replacing each occurrence of $x$ in $B$ by the assembly $A$. The upshot of this is that we can now write quantifiers as assemblies:

$(\exists x) R$ is the assembly $(\tau_x(R) | x)R$ and as $(\forall x) R$ is $\neg (\exists x) \neg R$ it becomes $\neg (\tau_x(\neg R) | x) \neg R$

Okay, let’s try to convert Bourbaki’s definition of the emptyset $\emptyset$ as ‘something that contains no element’, or formally $\tau_y((\forall x)(x \notin y))$, into an assembly.

– by definition of $\forall$ it becomes $\tau_y(\neg (\exists x)(\neg (x \notin y)))$
– write $\neg ( x \notin y)$ as the assembly $R= \neg \neg \in x \square_y$
– then by definition of $\exists$ we have to assemble $\tau_y \neg (\tau_x(R) | x) R$
– by construction $\tau_x(R) = \tau_x \neg \neg \in \square_x \square_y$
– using the description of $(A|x)B$ we finally indeed obtain $\tau_y \neg \neg \neg \in \tau_x \neg \neg \in \square_x \square_y \square_y$

But, can someone please explain what’s wrong with $\tau_y \neg \in \tau_x \in \square_x \square_y \square_y$ which is the assembly corresponding to $\tau_y(\neg (\exists x) (x \in y))$ which could equally well have been taken as defining the empty set and has a shorter assembly (length 8 and 3 links, compared to the one given of length 12 with 3 links).

Hair-splitting as this is, it will have dramatic implications when we will try to assemble Bourbaki’s definition of “1” another time.

Leave a Comment

From the Noether boys to Bourbaki

Next year I’ll be teaching a master course on the “History of Mathematics” for the first time, so I’m brainstorming a bit on how to approach such a course and I would really appreciate your input.

Rather than giving a chronological historic account of some period, I’d like this course to be practice oriented and focus on questions such as

  • what are relevant questions for historians of mathematics to ask?
  • how do they go about answering these questions?
  • having answers, how do they communicate their finds to the general public?

To make this as concrete as possible I think it is best to concentrate on a specific period which is interesting both from a mathematical as well as an historic perspective. Such as the 1930’s with the decline of the Noether boys (pictures below) and the emergence of the Bourbaki group, illustrating the shift in mathematical influence from Germany to France.

(btw. the picture above is taken from a talk by Peter Roquette on Emmy Noether, available here)

There is plenty of excellent material available online, for students to explore in search for answers to their pet project-questions :

There’s a wealth of riddles left to solve about this period, ranging from the genuine over the anecdotic to the speculative. For example

  • Many of the first generation Bourbakis spend some time studying in Germany in the late 20ties early 30ties. To what extend did these experiences influence the creation and working of the Bourbaki group?
  • Now really, did Witt discover the Leech lattice or not?
  • What if fascism would not have broken up the Noether group, would this have led to a proof of the Riemann hypothesis by the Noether-Bourbakis (Witt, Teichmuller, Chevalley, Weil) in the early 40ties?

I hope students will come up with other interesting questions, do some excellent detective work and report on their results (for example in a blogpost or a YouTube clip).

Leave a Comment

Can't find what you're looking for? Try refining your search: