Hilbert – neverendingbooks

“Pythagorean Crimes” by Tefcros Michaelides is a murder mystery set at the beginning of the 20th century. It starts with Hilbert’s address at the 1900 ICM in Paris (in which he gives his list of problems, such as the 2nd, his program for a finitistic proof of the consistency of the axioms of arithmetic) and ends in the early 1930ties (perhaps you can by now already guess which theorem will play a crucial role in the plot?).

It depicts beautifully daily (or better, nightly) life in mathematical and artistic circles, especially in Paris between 1900 and 1906.

Bricard, Caratheodory, Dedekind, Dehn, De la Vallee-Poussin, Frege, Godel, Hadamard, Hamel, Hatzidakis, Hermite, Hilbert, Klein, Lindemann, Minkowski, Peano, Poincare, Reynaud, Russell and Whitehead all make a brief appearance, as do Appollinaire, Casagemas, Cezanne, Degas, Derain, Max Jacob, Jacobides, Lumiere, Matisse, Melies, Pallares, Picasso, Renoir, Salmon, Toulouse-Lautrec, Utrillo, Zola.

Both lists contain names I had never heard of. But the biggest surprise, to me, was to discover the name of Maurice Princet, “le mathématicien du cubisme”.

Princet (1875-1973) was a mathematician who frequented the group around Pablo Picasso at the Bateau-Lavoir in Montmartre (at least until 1907 when his wife left him for the painter Derain).

Princet introduced the group to the works of Poincare and the concept of the 4-th dimension. He gave Picasso the book “Traité élémentaire de géométrie à quatre dimensions” by Jouffret, describing hyper-cubes and other polyhedra in 4 dimensions and ways to project them dowm to the 2 dimensions of the canvas.

This book appears to have been influential in the genesis of Picasso’s Les Demoiselles d’Avignon (the painting also appears, in an unfinished state, in “Pythagorean Crimes”).

Some other painters tried to capture movement with projections from the 4-th dimension. A nice example is Nude descending a staircase by Marcel Duchamp (mostly known for his urinoir…).

Maurice Princet loved to get the artists interested in the new views on space. Duchamp told Pierre Cabanne, “We weren’t mathematicians at all, but we really did believe in Princet”.

I don’t know whether Duchamp liked Princet’s own attempts at painting. Here’s a cubistic work by Maurice Princet himself.

Comments closed

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.

Comments closed

Tag: Hilbert

the mathematician of cubism

The empty set according to bourbaki