Professional Documents
Culture Documents
the Development of
Modern Mathematics
Hilbert, Göttingen and
the Development of
Modern Mathematics
By
Joan Roselló
Hilbert, Göttingen and the Development of Modern Mathematics
By Joan Roselló
All rights for this book reserved. No part of this book may be reproduced,
stored in a retrieval system, or transmitted, in any form or by any means,
electronic, mechanical, photocopying, recording or otherwise, without
the prior permission of the copyright owner.
Introduction ................................................................................................. 1
Chapter Seven............................................................................................ 71
The Foundations of Geometry
Chapter Nine.............................................................................................. 87
Hilbert and American Postulational Analysis
Epilogue................................................................................................... 233
From Göttingen to Princeton and Paris
Hilbert, Göttingen and the Development of Modern Mathematics vii
Fig. 1-1 Pregel river with the castle of Konigsberg in the background.
By UnknownAdam Kraft, Rudolf Naujok: Ostpreußen. Ein Bildwerk mit
220 Fotos. Würzburg 2002, ISBN 3-88189-444-6, Abb. 7, Public Domain,
https://commons.wikimedia.org/w/index.php?curid=49851038.
Fig. 6-1 The University of Göttingen at the beginning of the 20th century.
By Vereinigung Göttinger Papierhändler, GöttingenImageZeno.org, ID
number 20000606855, Public Domain,
https://commons.wikimedia.org/w/index.php?curid=64897305.
Fig. 22-2 Courant, Landau and Weyl converse in Göttingen, ca. 1930.
By Unknown. AIP Emilio Segrè Visual Archives, Nina Courant Collection.
xii List of Illustrations
Fig. 22-3 Emmy Noether’s letter of dismissal, copy for the Rektorat.
Niedersächsische Staats- und Universitätsbibliothek Göttingen.
http://kulturerbe.niedersachsen.de/viewer/objekt/isil_DE-
7_gua_rek_3206_b_nr37/1/LOG_0000/.
It is obviously not the case that Hilbert was not able “to create new
concepts and generate new types of thought structures.” For example,
Hilbert spaces, a key concept of modern functional analysis, and Hilbert
class fields, a fundamental notion in algebraic number theory, are a clear
demonstration of Hilbert’s talent regarding the introduction of key
concepts in modern mathematics. It is also not the case that Hilbert was
not able to demonstrate major new theorems of modern mathematics. For
example, Hilbert’s Nullstellensatz (Hilbert’s zero theorem), Hilbert’s finite
basis theorem and Hilbert-Waring theorem are first order contributions to
modern mathematics.
However, as noted by Blumenthal, it was probably Hilbert’s
“penetrating insight” “for sensing deeper connections and the underlying
1
Hilbert 1965, vol. 3, 429.
2 Introduction
Paris in 1900. In his lecture at the Sorbonne, Hilbert did not only present a
simple list of important mathematical problems of his time, since the
problems often pointed to theories that would provide light on these
problems and to new problems that would arise from these theories.
Indeed, some of the problems were not problems, but rather research
programs. An example of this, but not the only one, would be the sixth
problem in the list, which demanded an axiomatization of physics. In
addition, the problems were grouped into four separate groups according
to their topics, which showed their interconnection. In this sense, the
success of the list of problems presented by Hilbert was not only that it
was a list of well-chosen problems, but basically because it offered a
coherent view of how different branches of mathematics would progress in
the future and for the role deserved to rigor and axiomatization in the
solution and the formulation of various problems.
However, as we said before, the importance of the figure of Hilbert lies
not exclusively in his mathematical talent, but also in his determining role
in the gestation and consolidation of the Georg-August University of
Göttingen as the most important mathematical research centre of the
world. In this, as we will explain later, Hilbert was not alone, but he had
the invaluable collaboration of the great Felix Klein, whose idea was from
the beginning to turn Göttingen into a centre of mathematical excellence.
And with this purpose in mind, he took all necessary steps to get Hilbert to
occupy the chair of mathematics at that university in 1895.
Actually, the life and academic career of Hilbert can be divided into
two clearly differentiated phases: the period of Königsberg, which
embraces from the moment of its birth to its consecration as one of the
most brilliant mathematicians in Germany, and the Göttingen period,
which goes from his arrival at this university until his death in the middle
of the Second World War. Hilbert taught at the University of Königsberg
from 1886 until 1895, the year in which he obtained a chair of
mathematics at the University of Göttingen, an institution to which he
continued to be bound to the rest of his life. During his stay at these
universities, Hilbert taught numerous courses in algebra, number theory,
geometry, analysis, logic, foundations of mathematics, physics, etc., with
the resolution, as Constance Reid has pointed out in his magnificent book
Hilbert, “to educate himself as well as his students through his choice of
subjects and to not repeat lectures, as many docents did.”2
With the arrival of Hilbert, the University of Göttingen gradually
became the paradigm of modern universities, the place where students and
researchers of mathematics and related sciences, particularly physics, from
2
Reid 1970, 28.
4 Introduction
3
Ibid., 205. The great set-theorist Abraham Fraenkel gives a slightly different
version of the story. According to Fraenkel, Bernhard Rust, the Nazi Reich
Minister for Science, Education, and Popular Culture, asked Hilbert: “Is it really
true, Mr. Professor, that your institute suffered so much from the departure of the
Jews and their friends?” to which Hilbert replied, in his characteristic East Prussian
dialect: “Suffered? No, it hasn’t suffered, Mr. Minister. It simply doesn’t exist
anymore!” (Fraenkel 2016, 135).
4
Weyl 1944, 617.
Hilbert, Göttingen and the Development of Modern Mathematics 5
are perhaps too specific and there are some overlaps,5 the truth is that the
previous periodization of Hilbert’s work gives a fairly accurate general
idea of the whole of his work and can serve as a guide the reader not to
lose himself in the somewhat sinuous vital and intellectual itinerary that
we will cover in this work.
The great mathematical conquests achieved by Hilbert are undoubtedly
a product of his formidable mathematical talent, but surely this talent
would not have been developed with the force it did if Hilbert had not
worked much of his academic life in Göttingen. Hilbert was one of the
architects of the great mathematical tradition of Göttingen and of its
leading position in mathematical research during the first three decades of
the twentieth century, but one must not forget the leadership and
achievements of other mathematicians such as Felix Klein, Hermann Weyl
or Richard Courant in this direction. In this sense, the exhibition of
Hilbert’s contributions to modern mathematics will always be based on the
vital, geographical and historical context in which they originated and this
will almost always suppose a reference to the intense intellectual and
academic life of Göttingen. An exposition of this kind must necessarily
follow a chronological approach, so throughout the book, the precise
exposition of the mathematical concepts and problems addressed by
Hilbert is combined with the description of the life of the author and his
historical context.
5
Also, as noted by D. W. Lewis, “there were exceptions to the list above. For
example, in 1909 Hilbert successfully solved Waring’s problem, a problem
outstanding since 1770 about expressing a natural number as a sum of n-th powers
[…] Also in 1899 Hilbert managed to resuscitate Dirichlet’s Principle concerning
the solution of boundary value problems, this being totally unrelated to the main
research work he was pursuing at this period” (Lewis 1994, 44).
CHAPTER ONE
1
See Reid (1970, 8).
8 Chapter One
Fig. 1-1 Pregel river with the castle of Konigsberg in the background
Weber was a first-class mathematician who, at the time Hilbert met him
for the first time, had just finished, with Richard Dedekind, one of the
most important articles in the history of mathematics entitled “Theorie der
algebraischen Funktionen einer Verfinderlichen” (“The theory of algebraic
functions of one variable”), which was published in 1882 in the prestigious
magazine Crelle’s Journal. Hilbert attended several courses given by
Weber dealing with the theory of numbers and the theory of elliptic
functions, as well as a seminar directed by him dealing with the theory of
invariants. As we will explain later, the theory of algebraic invariants and
the algebraic theory of numbers were the first fields to which Hilbert
devoted his efforts and managed to make himself a name in the
mathematical community.
10 Chapter One
2
Hilbert 1965, vol. 3, 392.
3
Ibid., 390.
Hilbert’s Early Career 11
did not succeed. After the summer Hilbert went to Leipzig, where he was
warmly welcomed by Felix Klein), who led a group of young researchers.
Hilbert stayed the winter semester of 1885/86 working with Klein, who
advised him to visit Paris to get in touch with French mathematicians in
order to extend his mathematical horizons.
Hilbert finally went to Paris with another mathematician from Klein’s
group in Leipzig, Eduard Study (1862-1930), and there he met Henri
Poincaré (1854-1912), Émile Picard (1856-1941), Paul Appell (1855-
1930) and Charles Hermite (1822-1901). But linguistic and other kind of
problems (the relations between France and Germany were not going
through their best moment) did not allow him to take full advantage of his
stay in Paris nor to establish a more fluid contact with Poincaré, who was
maybe the most important mathematician of the moment (having
succeeded Klein in this honour). Indeed, it was Hermite who, despite his
advanced age (64), was more vividly interested in the two young visitors
and explained to them his reciprocal theorem for binary invariants,
encouraging them to extend it to ternary forms. He also told them about
his correspondence with James Joseph Sylvester (1814-1897), who was
trying to give a new proof of Gordan’s theorem, the most important
theorem of invariant theory at the moment.
Despite the difficulties of communication, Klein insisted that Hilbert
take advantage of his stay and to make as many contacts as possible with
French mathematicians. But Hilbert’s priority at that time was to finish his
Habilitationschrift (habilitation thesis), which would enable him to
become a Privatdozent in the university. So, he returned to Königsberg
and presented in the summer of 1886 his Habilitationschrift, entitled Über
invariante Eigenschaften specieller binärer Formen, insbesondere der
Kugelfunctionen (About invariant properties of special binary forms, in
particular the spherical functions). Hilbert worked as a Privatdozent, a
kind of associated professor with no fixed salary and who was paid
depending on the number of students he had, at Königsberg University
from 1886 to 1892.
The following summer Minkowski moved to Bonn where he also
began to work as Privatdozent, so Hilbert was left with only the
intellectual stimulus of his friend and previous professor Hurwitz. Hilbert
himself would remember some years later the almost daily walks with
Hurwitz, from 1886 to 1892, in which they discussed any subject of the
mathematics at their time under the leadership of Hurwitz. Indeed, during
the nine years that he stayed at Königsberg University, Hilbert taught
courses on almost all the areas of higher mathematics of his time: theory
Hilbert’s Early Career 13
CHAPTER TWO
1
J. J. Gray explains that “Königsberg attracted very few students in the late 1880s
and 1890s, and Hilbert, who certainly became a very good lecturer, often had an
audience of only 2 or 3” (Gray 2000, 22).
2
Hilbert to Klein, 21 March 1888, in Frei (1985, 39).
16 Chapter Two
invariants but also about the meaning of the word “to exist” in
mathematics and Kronecker’s objections to the use of irrational numbers
by Weierstrass. On his return trip to Königsberg, Hilbert still continued to
think about Gordan’s problem.
In the summer Hilbert went to Rauschen (nowadays Swedlogorsk), a
seaside resort city on the Baltic sea, where he had spent the summer with
his family ever since he was a child. There, on September 8, he sent a note
entitled “Zur Theorie der algebraischen Gebilde” (“On the theory of
algebraic figures”) to the journal Göttingen Nachrichten. In this note he
solved the problem of proving the finiteness of the invariant systems in a
trivial and complete way from a more abstract and less computational
perspective. This proof would be refined and extended in several
directions in a couple more notes sent to Göttingen Nachrichten the
following year. All these results were summarized in the article “Zur
Theorie der algebraischen Formen” (“On the theory of algebraic forms”),
published in the prestigious journal Mathematische Annalen in 1890. In
1892 Hilbert generalized his proof to any n-ary forms in an article entitled
“Über die vollen Invariantensysteme” (“On complete systems of
invariants”), published the following year in Mathematische Annalen. The
main results of the Annalen papers of 1890 and 1893 were presented some
years later in the introductory course Theorie der algebraischen
Invarianten (“Theory of algebraic invariants”), given by Hilbert in the
summer semester of 1897 in the University of Göttingen.
The theory of algebraic invariants was one of the most active research
fields in the second half of the 19th century and, as we know, the field to
which Hilbert dedicated his doctoral thesis and much of his efforts from
1885 to 1893. We could say, in a very summarized way, that the
fundamental objectives of classical invariant theory were: first, the
determination of the invariants of the forms (homogeneous polynomials)
of any degree and with any number of variables, and second, the proof that
there is a finite basis for all invariants of a given forms system (that is, that
there is a finite set of independent invariants which generates all the
invariants of the system).
The origins of invariant theory can be found in the study of
transformation of homogeneous polynomials by linear substitutions of the
variables in the work of Joseph Louis Lagrange (1736-1813) Mécanique
Analytique (1788). Some years later Carl Friedrich Gauss (1736-1813), in
his Disquisitiones Arithmeticae (1801), established a new discipline, the
theory of forms (binary and ternary), where he studied transformations,
similarities, classifications and compositions of forms. In particular, in his
study of binary quadratic forms, Gauss defined an equivalence relation
The Theory of Algebraic Invariants 17
between them and showed that the discriminant is an invariant under such
relation. Although invariant theory was already hinted at in Gauss’s
seminal work, the creation and development of this theory is mainly due to
the so-called British school, particularly George Boole (1815-1864),
Arthur Cayley (1821-1895) and James Joseph Sylvester.
Forty years after the publication of Gauss’s work, Boole wrote two
papers: “Exposition of a general theory of linear transformations” (Parts I,
II), which are usually regarded as the beginning of Invariant Theory.
However, as remarked by P. R. Wolfson, Boole’s principal aim in these
papers “had been, first, to determine when two pairs of forms are
equivalent, and second, if they are indeed equivalent, to determine those
substitutions which take the first pair to the second.”3 The first who clearly
stated the main objective of study of Invariant Theory was Arthur Cayley.
This was, according to him, “to find all the derivatives of any number of
functions, which have the property of preserving their form unaltered after
any linear transformations of the variables.”4 So Cayley put in the
forefront of the study of linear transformations the problem of finding all
invariants of any number of forms, thereby initiating the principal line of
research of classical invariant theory.
In the decades of the 1840s and 1850s the English school of invariant
theory, mainly led by Cayley and Sylvester, developed important tools still
in use today to determine the invariants of a given system of binary forms,
such as the Cayley ȳ-operator. In the meanwhile, Siegfried Aronhold
(1819-1884) in Germany introduced a more flexible notation and a
symbolic method that made it easier to calculate invariants and operate at a
more abstract level. The notation and method were adopted by Alfred
Clebsch and Paul Gordan, who worked extensively in the topic.
One of the most important successes of the German school–and indeed
of the theory of invariants in the late nineteenth century–was obtained by
Gordan, who had published a proof of a finiteness theorem for binary
forms in 1868. In particular, Gordan proved that given any system of
binary forms of arbitrary degree, the set of simultaneous invariants of the
system (possibly an infinite set) is finitely generated, i.e., there is a finite
subset of invariants ܫଵ ǡ ܫଶ ǡ ǥ ǡ ܫ of the invariant set such that each element
of this set is a polynomial in ܫଵ ǡ ܫଶ ǡ ǥ ǡ ܫ . As a result of this proof, which
was obtained by cumbersome calculations and using the symbolic method,
Gordan was crowned “King of Invariants.”
3
Wolfson 2008, 45.
4
Cayley 1846, 104.
18 Chapter Two
cont. p. 19
The Theory of Algebraic Invariants 19
cont. p. 20
20 Chapter Two
Although the validity of Gordan’s result had already been proved for
particular cases of higher-degree forms, nobody had been able to
generalize Gordan’s result beyond binary forms. Twenty years after the
publication of Gordan’s proof the problem was still open and had become
the fundamental problem of the theory of invariants. Hilbert had discussed
this problem with Hermite and Study in Paris and surely also with Klein
and the circle of young mathematicians around him during his visit to
Leipzig.
Hilbert had been introduced to Gordan by Felix Klein and spent a week
with him in Leipzig in the spring of 1888. In the following years, he wrote
a series of articles which gave invariant theory a more abstract orientation.
The Theory of Algebraic Invariants 21
More specifically, in 1890 Hilbert introduced the idea of what would later
be called a Noetherian polynomial algebra to prove Gordan’s theorem
again and in 1893 he used the same idea to generalize Gordan’s theorem to
݊-ary forms, that is, to prove the finitude of any system of invariants of
forms of any degree.
Hilbert proved that there must be a finite basis by induction over the
degree (number of variables) of the forms considered. The problem of
Hilbert’s proof was that the argument used to demonstrate the existence of
a finite basis was not constructive; it was rather an indirect proof (through
reduction ad absurdum). That is to say, Hilbert did not give an effective
procedure to calculate, for each system of forms of degree ݊, the number
of the invariants of the basis, but showed that the negation of the statement
asserting the existence of a basis for any system of forms and for all ݊
leads to a contradiction. This led Gordan, after having seen Hilbert’s
proof, to affirm that “this is not mathematics, it is theology.” Later,
Gordan modified his opinion, but Hilbert’s proof would open another front
of controversy, this time with Leopold Kronecker, about what it means “to
exist” in mathematics.
In the article of 1893, read on his behalf at the International
Mathematical Congress held in Chicago that year, Hilbert also reflected on
the state of development of the theory of invariants and his contributions
to it. According to him, in the development of mathematical theories one
can distinguish three stages, which he characterizes as the naïve, formal
and critic stages. In the case of the theory of invariants, Hilbert saw the
work of Cayley and Sylvester as exponents of the naive stage, the work of
Clebsch and Gordan as representative of the formal stage and, finally, his
own contributions as the only exponent of the critical stage.5 In fact, in the
last lines of the above-mentioned article, Hilbert expressed his conviction
that “he had achieved the most important general objectives of a theory of
functional fields of invariants.”6 More or less at the same time, Hilbert told
Minkowski that “with the Annalen article I definitively leave the field of
invariants and I now turn to the theory of numbers.”7
The well-known algebraist and historian of mathematics, Bartel
Leendert van der Waerden (1903-1996), wrote in a review of Hilbert’s
contributions to algebra that, although the articles of 1888 and 1893
constituted the conclusion of Hilbert’s research on the theory of invariants,
5
We shall see later that Hilbert sees the axiomatic analysis of geometry and of any
other branch of mathematics as the representative of the last stage of the
development of the theory, that is, the critical stage.
6
Hilbert 1965, vol. 2, 344.
7
Ibid., vol. 3, 395.
22 Chapter Two
8
Ibid., vol. 2, 401.
9
Ibid.
The Theory of Algebraic Invariants 23
24 Chapter Two
10
Weyl 1939, vii.
The Theory of Algebraic Invariants 25
Fig. 2-1 The founders of the DMV in Bremen in 1890
CHAPTER THREE
28 Chapter Three
The Königsberg Lectures on Geometry 29
2
Analytic geometric emerged in the 17th century thanks to the contributions of
René Descartes (1596-1650) and Pierre de Fermat (1601-1655). Throughout 18th
century, the success of analytical geometry and differential geometry–which
combined Cartesian geometry with differential and integral calculus–had pushed
classical Euclidean methods to an aside.
3
Poncelet 1864, 319.
4
Two figures are correlatives if one is obtained from the other by modifying
through a “progressive and continuous movement” the relative position of its
component elements.
30 Chapter Three
The Königsberg Lectures on Geometry 31
Projective geometry
32 Chapter Three
From these axioms the “duals” of P1, P3 and P4, which are obtained
from the above statements by interchanging the words “point” and
“line”, can be demonstrated. Now, from P1, P2, P3 and their dual
statements the following can be proved:
The Königsberg Lectures on Geometry 33
lines and incidence, and which has been proven from the
axioms. Then the dual statement, obtained when interchanging
the words “point” and “line,” is a theorem as well.
34 Chapter Three
6
Pasch 1882, 98; emphasis in original.
The Königsberg Lectures on Geometry 35
7
Hilbert 2004, 22.
36 Chapter Three
8
Cited from Toepell (2000, 214).
9
Hilbert 2004, 22.
The Königsberg Lectures on Geometry 37
1882 on this subject, but also worried about investigating these axioms to
a certain extent. He analysed, for example, different points of view of the
theory of parallelism and the independence of the Parallels Axiom,
exhibiting a spherical model for hyperbolic geometry in which the other
axioms are fulfilled, but in which “through a point there is an infinite
number of straight lines parallel to a given straight line.”10
The lectures of 1894 opened again with the characterization of
geometry as a natural science, but with a notable difference with respect to
the lectures of 1891. Geometry is no longer defined now as “the theory of
the properties of space,” otherwise the physical properties of space would
be part of geometry, but rather as the science that deals with the “facts that
determine the external form of things”, which he calls “geometric facts.”
The task of geometry is then, like any other natural science, to arrange and
describe the facts belonging to its field of study “by means of certain
concepts, which are linked to each other by the laws of logic.”11 However,
Hilbert considered that there was a significant difference between the
degree of development of geometry and other natural sciences. In
geometry, unlike other natural sciences, such as optics, the theory of
electricity or mechanics, all (geometric) facts can be derived from the
axioms, while in the rest of natural sciences they are still discovering new
facts. In this sense, Hilbert says, geometry is the “most perfect, most
complete” of natural sciences.
Up to this point Hilbert remained at the same level as his colleague
Pasch, who had also claimed that his axioms were derived from
experience. But Hilbert will go further than Pasch and will now ask if the
axioms are independent and complete:
The problem of our colleague [Pasch] is this: what are the necessary and
sufficient conditions, independent of each other, that one must put to a
system of things, so that each property of these things corresponds to a
geometric fact and vice versa, so that by means of this system of things a
complete description and arrangement of all the geometrical facts is
possible?12
38 Chapter Three
CHAPTER FOUR
The same year, 1892, in which Hilbert had been named Extraordinarius
professor at Königsberg, Lindemann received an offer from Munich. This
meant that the position that he had occupied at Konigsberg for ten years
remained vacant and opened the possibility for Hilbert to become his
successor. The Faculty of Philosophy, to which the mathematics
professors were ascribed, selected Hilbert and three other mathematicians
as official candidates for the position and sent the list to Berlin. The
following year, at the age of thirty-one, Hilbert became Ordinarius
(ordentlicher) professor at Königsberg University.
Friedrich Althoff, who had been the representative for the University
of the Royal Prussian Ministry of Ecclesiastical, Educational and Medical
Affairs since 1882 and would become, in 1897, the ministerial director of
Universities and Higher Education, not only appointed Hilbert as
Ordinarius under very favourable conditions, but also asked for advice
about who could become his successor as Extraordinarius professor. After
some complicated personal arrangements, Hilbert succeed in bringing his
friend Minkowski, who was then a Privatdozent in Bonn, to Königsberg
for Easter 1894. In this way, the two friends could work together again and
resume their daily walks for one year, since at Easter 1895 Hilbert moved
to Göttingen.
During his years as an Extraordinarius and Ordinarius professor in
Königsberg and his first years in Göttingen, Hilbert chiefly devoted his
work to number theory. The first important result in this direction was the
unification and simplification of the proofs by Hermite and Lindemann of
the transcendence of ʌ and e respectively. This was during the winter of
1892 to 1893; after this Hilbert devoted all his efforts to the theory of
number fields. The first contribution in this direction was the conference
“Zwei neue Beweise für die Zerlegbarkeit der Zahlen eines Körpers in
Primideale” (“Two new proofs of the divisibility of numbers of a field in a
prime ideal”) held in September 1893 in the Congress of the DMV at
Munich.
40 Chapter Four
1
Gray 2000, 38.
2
Klein 1926, 26.
The Algebraic Theory of Numbers 41
3
Hecke 1923, 59.
4
Cited from Knoebel et alia (2007, 233). Translated into the language of
congruences, later introduced by Gauss, Fermat assertions become (for a prime
and integers ݔǡ )ݕ:
ൌ ݔଶ ݕଶ if and only if ͳ ؠ ሺͶሻ (ʹ ് ሻ,
ൌ ݔଶ ͵ ݕଶ if and only if ͳ ؠ ሺ͵ሻ (ʹ ് ǡ͵ǡ
ൌ ݔଶ ʹ ݕଶ if and only if ͳ ؠ ǡ ͵ሺͺሻ (ʹ ് ሻ.
42 Chapter Four
It turns out that the nontrivial prime divisors p of numbers of the form
ݔଶ ܽ ݕଶ are precisely the odd primes p for which െܽ is a nonzero
quadratic residue.5 Therefore, to solve the above problem Euler needed to
find some procedure which allowed finding these prime numbers. Since
for any odd prime there are ሺ െ ͳሻΤʹ quadratic residues and ሺ െ ͳሻΤʹ
quadratic non-residues, and the quadratic residues are congruent modulo
to the integers ͳଶ ,ʹଶ ǡ ͵ଶ ǡ ǥ ǡ ሺሺ െ ͳሻΤʹሻଶ , Euler suggested in 1748 the
following criterion (in modern notation):6
Let ܽ be any integer and an odd prime not dividing ܽ. Then ܽ is a
quadratic residue of if, and only if, ܽሺିଵሻΤଶ ͳ ؠሺሻ and is a
quadratic non-residue of if, and only if, ܽሺିଵሻΤଶ ؠെͳሺሻ.
This criterion is known today as Euler’s criterion and was Euler’s first
important result for determining the quadratic residues of a prime . Even
though Euler’s criterion is very useful to determine whether a given
integer is a quadratic residue or not, it is not so helpful when we wish to
determine all the quadratic residues of a given prime. It was not until
5
This is so because (using the congruence notation introduced later by Gauss) if
ݔଶ ܽ ݕଶ ൌ ݉, since ݕis relatively prime to , we can find an integer ݖsuch that
ͳ ؠ ݖݕሺሻ. Hence, multiplying ݔଶ ܽ ݕଶ by ݖଶ , we obtain െܽ ؠ
ሺݖݔሻଶ ሺሻ. Conversely, if െܽ ݊ ؠଶ ሺሻ with ݊ non-divisible by , then
െܽ ൌ ݊ଶ ݉ for some integer ݉, and so ሺെ݉ሻ ൌ ݊ଶ ܽ ͳଶ .
6
Lemmermeyer (2000, 4) cites two papers, E134 and E262 in the Euler Archive.
The Algebraic Theory of Numbers 43
Since the analogous quantities ܰ ሺିଵሻΤଶ will occur often in our researches,
ே
we shall employ the abbreviation ቀ ቁ for expressing the residue that
ܰ ሺିଵሻΤଶ gives upon division by ܿ, and which, according to what we just
have seen, only assumes the values ͳ or െͳ.8
This symbol enabled him to state the law of quadratic reciprocity in terms
completely analogous to those in which it is stated today:
7
In modern notation, Euler’s theorem says that:
1. If ͳ ؠ ሺͶሻ is prime and ݔ ؠ ଶ ሺݏሻ for some prime s, then
േ ݕ ؠ ݏଶ ሺሻ.
2. If ͵ ؠ ሺͶሻ is prime and െ ݔ ؠ ଶ ሺݏሻ for some prime s, then
ݕ ؠ ݏଶ ሺሻ and െ ݕ ء ݏଶ ሺሻ.
3. If ͵ ؠ ሺͶሻ is prime and െ ݔ ء ଶ ሺݏሻ for some prime s, then
െ ݕ ؠ ݏଶ ሺሻ and ݕ ء ݏଶ ሺሻ.
4. If ͳ ؠ ሺͶሻ is prime and ݔ ء ଶ ሺݏሻ for some prime s, then
േ ݕ ؠ ݏଶ ሺሻ.
In fact, his theorem “is equivalent to the version of the quadratic reciprocity law
that is best known today and that was formulated by Legendre and Gauss.”
(Lemmermeyer 2000, 5).
8
Lemmermeyer 2000, 6.
44 Chapter Four
Whatever the prime numbers ݉ and ݊ are, if they are not both of the form
Ͷ ݔെ ͳ, one always has ቀቁ ൌ ቀ ቁ ; and if both are of the form Ͷ ݔെ ͳ,
one has ቀ ቁ ൌ െ ቀ ቁ. These two general cases are contained in the
షభ షభ
formula ቀ ቁ ൌ ሺെͳሻ మ
Ǥ
మ ቀ ቁ.9
After 1824, Gauss also investigated cubic, biquadratic (quartic) and octic
reciprocity and formulated statements for cubic and biquadratic
reciprocity. He noticed that the statement of cubic and biquadratic laws
requires the fields of cube or fourth roots of unity. For biquadratic
reciprocity Gauss considered the ring Ժሾ݅ሿ ൌ ሼܽ ܾ݅ǣ ܽǡ ܾ אԺሽ, which is
now known as the Gaussian Integers and is regarded by many historians
as the first appearance of algebraic numbers.
Gauss provided a proof for cubic reciprocity and he also announced a
proof of the biquadratic reciprocity law, but he never published them. This
stimulated the work on reciprocity laws for small degrees, particularly
cubic, quartic and quintic. The first public and complete proofs for the
cubic and quartic residues were published in 1844 by Eisenstein, although
Jacobi had already announced a reciprocity law for them in his 1836-37
Königsberg lectures. To generalize his results to higher residues Eisenstein
was confronted with the problem of the absence of unique factorization,
which was solved in 1845 by the introduction by Kummer of his “ideal
numbers.” This enabled Eisenstein to prove a special case of what is now
9
Ibid.
10
Gauss 1801, 99.
11
Ibid.
The Algebraic Theory of Numbers 45
Let ܽ be an integer and a prime number that does not divide
ܽ, then ܽ is a quadratic residue modulo if the quadratic
congruence ݔଶ ܽ ؠሺ݉݀ሻ has a solution. Otherwise, ܽ is
called a quadratic non-residue modulo .
If is a prime odd number and a is an integer that is not divisible by ,
then the Legendre´s symbol, denoted by ቀ ቁ indicates whether a is a
quadratic residue modulo or not. If it is, then Legendre’s symbol is
equal to ͳ; if it is not, then it is equal to െͳ. The law of quadratic
reciprocity answers the question: When is an integer a square modulo a
prime , i.e., a quadratic residue modulo ?In particular, this law
states that for any odd primes ǡ ݍ:
If ͳ ؠ ሺͶሻ or ͳ ؠ ݍሺͶሻ, then ቀ ቁ ൌ ቀ ቁ,
If ؠ െͳሺͶሻ or ؠ ݍെͳሺͶሻ, then ቀ ቁ ൌ െ ቀ ቁ.
In the first case, and ݍare either both quadratic residues or else non-
residues each with respect to the other. In the second case, one of them
is a quadratic residue and the other one a non-residue. In a more
succinct way, we can reformulate these relationships as:
Moreover, we have
షభ మ షభ
ିଵ ଶ
ቀ ቁ ൌ ሺെͳሻ మ and ቀ ቁ ൌ ሺെͳሻ ఴ ;
These are called the first and second supplementary law, respectively.
It follows easily from the law of quadratic reciprocity that ቀ ቁ depends
cont. p. 46
46 Chapter Four
ߨ ேగିଵ ேఒିଵ ߣ
ቂ ቃ ൌ ሺെͳሻ ସ Ǥ ସ ൨Ǥ
ߣ ߨ
(ܰߣ is the norm of ߣ, i.e. if ߣ ൌ ܽ ܾ݅, then ܰߣ ൌ ܽଶ ܾଶ ). There are
also analogues of the first and second supplementary laws for quartic
residues. A similar, although simpler, law holds for the cubic residue
symbols and primary primes in Ժሾሿ, where is a primitive cube root
of unity.
In all the above cases, the word “reciprocity” comes from the fact
that these laws relate the solvability of the congruence ݔ ؠሺݍሻ
to that of ݔ ݍ ؠሺሻ.
called Eisenstein’ reciprocity law. The quintic case had to wait for
Kummer who also stated a reciprocity law valid in all regular cyclotomic
fields. Hilbert did the next step by reinterpreting the quadratic reciprocity
law and generalizing it to arbitrary algebraic number fields in terms of the
so-called “Hilbert symbol.”
The fields of cyclotomic integers were central not only in the
investigation of higher reciprocity laws but also in the study of Fermat’s
Last Theorem. Both problems were of interest to Kummer and to make
noteworthy progress it was necessary to establish unique factorization in
the fields of cyclotomic integers. This problem was finally solved by him
in the 1840s with the introduction of a new kind of complex number which
he called “ideal complex numbers” (in analogy with “ideal” objects in
The Algebraic Theory of Numbers 47
geometry, such as points at infinity). Kummer’s major result was the proof
that every element in the field of cyclotomic integers is a unique product
of “ideal primes.”
By the middle of the century considerable experience with number
fields such as quadratic fields and cyclotomic fields had been acquired.
This put the study of these algebraic number fields in the foreground. The
first problem found while developing an arithmetic theory of an algebraic
field of numbers ॶ was to choose a subset of ॶ, the algebraic integers of
ॶ, which could play a role in ॶ similar to that played by the integers inԷ.
In their study of biquadratic and cubic reciprocity Gauss, Jacobi,
Eisenstein and Kummer employed several types of algebraic integers, but
only Richard Dedekind (1831-1916) was able to define this concept in
1871–taking advantage of an important result proved by Eisenstein in
1850.
The main problem in order to elaborate an arithmetic theory for
algebraic number fields was to find a theory of divisibility for these fields.
Kummer’s theory of divisibility was brilliant, but the fundamental
concepts of ideal number and ideal prime were not intrinsically defined.
Moreover, his theory only applied to cyclotomic integers. The immediate
task was then to build a divisibility theory in which the fundamental
concepts were clearly defined and would apply to more general domains
of algebraic integers. This task was done independently by Dedekind and
Kronecker.12
Dedekind formulated his theory of divisibility by means of ideals, an
approach that was soon widely accepted. In Supplements X and XI to the
second edition of Dirichlet’s Vorlesungen über Zahlentheorie (Lessons on
Number Theory) (1863), Dedekind formulated his foundations for
algebraic number theory, which incorporated the concepts that would
become the core of modern presentations of the topic, such as, for
example, the concepts of domain of rationality (a subset of complex
numbers which is closed under the four arithmetic operations), algebraic
field of numbers, algebraic integer, ideal, module, or lattice. It is generally
accepted that the definitive transformation of algebraic number theory into
a general study of algebraic fields of numbers, and so not limited to
quadratic fields or to cyclotomic fields, took place in the work of Richard
Dedekind. At the same time, Kronecker, a disciple of Kummer and
doctoral student of Dirichlet, was making fundamental contributions to the
12
A third approach was that of the Russian mathematician Yegor Zolotarev (1847-
1878), who used the notion of exponential valuation for his theory. This was
independently developed by Hensel, but it became accepted only in the 1920s due
to the results of Hasse about quadratic forms.
48 Chapter Four
The Algebraic Theory of Numbers 49
13
Gray 2000, 45.
50 Chapter Four
14
A detailed exposition of the topics dealt with by Hilbert in each part, and
particularly of his most relevant theorems, can be found in (Schappacher 2005).
15
Hilbert 1998, X. The reason for this, as noted by Hilbert is that “almost all
essential ideas and concepts of field theory, at least in a special setting, find an
application in the proof of the higher reciprocity laws.” (Ibid.)
16
Ibid.
The Algebraic Theory of Numbers 51
52 Chapter Four
field and he envisaged the idea of a general class field theory, only
appeared between 1899 and 1902 and, therefore, after the publication of
the Zahlbericht (see Chapter 6).
Regardless of the criticism of Noether, Artin, Weil and others, it is
clear that no other work has contributed so much to the consolidation of
algebraic number theory as a well-established discipline within
mathematics on which most of the 20th century’s research has been
developed as Hilbert’s Zahlbericht. As Hermann Weyl observed, “while
his work on invariants was an end, his work on algebraic numbers was a
beginning. Most of the work of number theory specialists such as
Furtwängler, Takagi, Hasse, Artin or Chevalley has been focused on
proving the anticipated results of Hilbert.”20
20
Weyl 1944, 627.
CHAPTER FIVE
Although from 1800 to 1830 approximately, France had held the European
leadership in mathematical research, during the second half of the
nineteenth century Germany took over from France. Under the influence
of Dirichletwho had travelled to Paris in the decade of the twenties to
study mathematics and went into close contact with Joseph Fourier (1768-
1830) and Siméon Poisson (1781-1840) among othersthe University of
Berlin became, from the thirties, the most important and influential
mathematical centre of Germany. This influence became even more
evident in the second half of the nineteenth century when, thanks to the
teaching and research work of Weierstrass, Kummer and Kronecker, the
University of Berlin became the most important mathematical research
centre in the world. However, in the last quarter of the century, the
University of Göttingen first challenged and then took over the supremacy
of the University of Berlin regarding mathematical education and research.
The great mathematical tradition of Göttingen had begun with Gauss
named Mathematicorum princeps, who was professionally linked to the
University of Göttingen for more than 50 years. This tradition was
continued by his immediate successors in the chair of mathematics at the
University of Göttingen, Dirichlet, Bernhard Riemann (1826-1866) and
Clebsch. However, Gauss never showed any special interest in the
formation of future mathematicians, while Dirichlet, Riemann and Clebsch
had very short careers in Göttingen, so they could influence only a few
students. The result was that few young mathematicians chose Göttingen
to begin their academic career; they were more inclined for Berlin or
Königsberg. The true protagonist in the conversion of Göttingen in the
first mathematical centre of Germany and in the establishment there of a
community of world first class mathematicians was Felix Klein.
Klein was born on April 25, 1849 in Düsseldorf, administrative capital
of Prussian Rhineland and the main industrial centre of Prussia. After an
elementary instruction in his home taught by his mother, when he was six
54 Chapter Five
years old he entered a private school in Düsseldorf and two and a half
years later, in 1857, he continued his studies at the gymnasium in the same
city. A traditional education, based predominantly on the cultivation of
classical languages, has often been attributed to the German Gymnasien,
but this ceased to be the case in most of the Prussian ones after the reforms
undertaken in the 1820s and 1830s. Certainly, mathematics was well
represented at the Düsseldorf gymnasium which Klein attended and it was
taught by competent teachers. From the results achieved in the Abitur, we
also know that Klein received good instruction in mathematics, science
and humanities.
After graduating, Klein entered the University of Bonn at the age of 16
and a half, where he studied not only mathematics but also natural
sciences from 1865 to 1866. This was possible thanks to the existence at
the Bonn University of the Seminar für die Gesamten Naturwissenschaften
(Seminar on the entire Nature Sciences), which offered within its five
sections devoted to physics, chemistry, geology, botany and zoology, a
coherent and systematic program for the practical and theoretical study of
the sciences. While studying at the University of Bonn, Klein was
appointed as a laboratory assistant to Julius Plücker (1801-1868), a
position he held from 1866 to 1868. Plücker held a chair of mathematics
and experimental physics in Bonn, but when Klein became his assistant,
Plücker’s interests had already been directed towards geometry. From the
winter semester of the 1867/68 academic year, Klein concentrated on
mathematics and gradually became influenced by Plücker and his
analytical approach to geometry. Klein received his doctorate in 1868,
after defending a thesis, supervised by Plücker, on linear geometry and its
application to mechanics.
That same year, Plücker died, leaving incomplete the second part of his
work Neue Geometrie des Raumes (New Geometry of Space), in which he
laid the foundations of the analytical approach to linear geometry. Given
the circumstances, Klein was the most suitable person to complete the
work of Plücker and so the editing of its work was entrusted to him.
Klein’s editorial involvement in Plücker’s work put him in contact with
Clebsch, who then occupied the chair of mathematics at the University of
Göttingen and had formed around him an important group of researchers
in algebraic geometry and the theory of invariants.
Klein moved to Göttingen and studied there from January to August
1869 with Clebsch. He then continued his studies at the University of
Berlin, where he stayed until April 1870 and attended the highly
specialized Mathematisches Seminar (Seminar on Mathematics). We also
know that he attended a conference done by Kronecker but did not want to
Klein and the Mathematical Tradition of Göttingen 55
1
Klein 1872, 7.
2
Another mathematician who stressed and worked out the connections between
groups of transformations and geometry was Poincaré. But his main contributions
were in the decade of the eighties.
Klein and the Mathematical Tradition of Göttingen 57
Euclidean plane geometry is the study of invariants under the set ܩof
all rigid movements: translations, rotations and reflections. Since the
composition of any two such transformations and the inverse of any
such transformation are also such transformations and the identity is
also one such transformation, it follows that ܩis a group, called the
isometry group. The corresponding geometry is plane Euclidean
geometry. Since geometric properties such as length, area, congruence
and similarity of figures, perpendicularity, parallelism, collinearity of
points and concurrence of lines are invariant under the group ܩ, these
properties are studied in plane Euclidean geometry.
If the group ܩis enlarged by including, together with translations,
rotations and reflections, dilations and shears, all transformations
composite from all above-mentioned transformations, we obtain the
affine group. Under this enlarged group, properties such as length,
area, perpendicularity and congruence of figures are no longer
invariant and hence are no longer subjects of the study in the
framework of plane affine geometry. However, parallelism,
collinearity of points and concurrence of lines are still invariant and,
consequently, constitute subject matter for the study of this geometry.
Similarly, plane projective geometry is the study of those geometric
properties which remain invariant under the group of the so-called
projective transformations. Of the previously mentioned properties,
only collinearity of points and concurrence of lines remain invariant.
Another important invariant under this group of geometric
transformations is the cross ratio of four collinear points.
The groups of transformations stated above can be ordered by the
inclusion relation in this way:
But Klein’s greatest success in his new role as professor would coincide
with his first years in Göttingen. In 1886 Klein accepted a chair at this
university, where he had studied with Clebsch and where he had been
60 Chapter Five
its realization. It was only in 1929, after the death of Klein and thanks to
the Rockefeller Foundation, when the first building of the Mathematical
Institute finally opened.
CHAPTER SIX
Hilbert finally arrived in 1895 and with his arrival Göttingen gradually
became the centre of reference for mathematical research in Germany and
throughout the world. In the mid-90s, matriculation in mathematics
1
Frei 1985, 115.
64 Chapter Six
Fig. 6-1 The University of Göttingen at the beginning of the 20th century
Among the facilities offered by the University two of them stood out,
which had been promoted by Klein with the aim of making the University
of Göttingen “more invincible than ever.” The first was a collection of
mathematical models, which aimed at the use of physical models and
experimental instruments in education and research. The second was the
library of mathematics, popularly known as das Lesezimmer (the reading
room), a library in which the books were placed on open shelves so that
the students could freely consult them. As noted by van der Waerden,
“today, every mathematics department has a library, in which every
student can take the books and journals directly from the shelves, but in
1924, when I came to Gottingen as a student, this was an exception.”2
One of the advantages of the Lesezimmer, as van der Waerden
2
Van der Waerden 1983, 1-2.
Hilbert’s First Years at Göttingen 65
remembered, was that sometimes you were going to look for a specific
book and ended up consulting another one that was better. “In this way, I
learned more in weeks or months in the Lesezimmer than many students
learn in years and years.”3
Regarding the academic staff, the key date that precipitated events in
the meteoric rise of Göttingen as a centre of mathematical excellence was
1902. That year, Hilbert was named successor of Lazarus Fuchs at the
University of Berlin but declined the offer after Althoff had agreed to
create an Ordinariat in Göttingen for Minkowski. To the arrival of
Minkowski in 1902, was added two years later that of Carl Runge (1856-
1927), who would occupy a newly created chair of applied mathematics.
Other prominent figures who joined the University of Göttingen in those
years were the astronomer Karl Schwarzschild (1873-1916), Ludwig
Prandtl (1875-1953), a precursor of aerodynamic and hydrodynamic
research, and the geophysicist Emil Wiechert (1861-1928).
Even before Klein officially retired in 1912, Hilbert began to preside
the weekly meetings of the Mathematical Society of Göttingen. After these
meetings, many of the participants would meet at the Rohn’s Cafe, located
in the Hainberg on the outskirts of the city, for a follow up session
(Nachsitzung). There the young mathematicians could expose their ideas
in a much more relaxed and kind environment than the meetings of the
Mathematical Society, in which the Prussian sense of order used to
prevail. Norbert Wiener (1894-1964), the famous American
mathematician and father of cybernetics, who arrived in Göttingen in 1914
to study with Hilbert and Landau, would say a few years later that “the
combination of science and social life in the Nachsitzungen at Rohn’s café
up the hill was particularly attractive to me. The meetings had a certain
resemblance to those of the Harvard Mathematical Society, but the older
mathematicians were greater, the younger men were abler and more
enthusiastic, and the contacts were freer. The Harvard Mathematical
Society meetings were to the Göttingen meetings as near beer is to a deep
draft of Münchener.”4
Another type of meeting took place on Thursday afternoons, the so-
called Bonzenspaziergang (the walk of the mandarins) another tradition
instituted by Klein. This walk, also going up the mountain until reaching
Rohn’s café, gave Göttingen professors an opportunity to discuss
academic affairs distantly. In these walks, in which the mandarin
mathematicians (Klein, Hilbert, Minkowski and Runge) were always
3
As reported by Reid (1970, 162).
4
Wiener 1953, p. 211.
66 Chapter Six
involved, they discussed “current events in science and in the life of the
University”5 (for example, the positions that were later taken in the formal
meetings of the Faculty of Philosophy of Göttingen).
Despite the diversity of courses taught by Klein during the first years
in Göttingen, his plan to gradually abandon the first line of mathematical
research and the new role he carried out as a professor would have been
disastrous for mathematics at Göttingen if Hilbert had not occupied his
place in both tasks: research and academic. But Hilbert responded fully to
the demands of the moment and quickly became the reference as a
professor and researcher in Germany and the entire world in the field of
mathematics. Some examples of this are not only his contributions to
number theory and geometry through masterpieces of modern mathematics
such as the Zahlbericht and Grundlagen der Geometrie respectively, or his
ability to glimpse the future of mathematics in his famous list of
Mathematical Problems presented in Paris in 1900, but also the more than
sixty doctoral theses directed by him in Göttingen between 1895 and 1914
and his leadership in the task of converting Göttingen in the Mecca of
modern mathematics at the turn of the last century.
In his excellent Lebensgeschichte, Otto Blumenthal, Hilbert’s first
doctoral student in Göttingen, has left us a magnificent portrait of Hilbert’s
first years as a teacher in this university. Blumenthal explains that
Hilbert’s lecture courses were characterized by their austerity and lack of
ornaments, by their sometimes-vacillating tone and a certain tendency to
repeat the most important theorems for everyone to understand it, but that
the diaphanous clarity and the wealth of the content in his lectures made
them forget any defect in their form. In his lectures he always incorporated
both new and his own results, but without emphasizing them expressly.
Hilbert, says Blumenthal, always “tried to be clear, understandable to
everyone. He lectured for students, not for himself.”6
During the eight and a half years he had been in Königsberg, Hilbert
had never taught two courses on the same subject, except for a weekly
one-hour course on determinants. This allowed him to adjust easily to
Klein’s wishes and to teach courses on the most diverse subjects in
Göttingen. The first semester he gave a course on determinants and
elliptical functions and led, along with Klein, a seminar on real functions
every Wednesday morning. In the seminars, Hilbert was always very
attentive, he was generally friendly and appreciated the work of others, but
he could also lose patience and cut off a student who made an inadequate
5
Born 1978, 98.
6
Hilbert 1965, vol. 3, 400.
Hilbert’s First Years at Göttingen 67
68 Chapter Six
class field theory was quite a bit more general, not limited to the theory of
non-ramified class fields.
The origins of class field theory can be traced back to the work of
Kronecker. In examining the work of Niels Henrik Abel (1802-1829), he
observed that certain abelian extensions of imaginary quadratic number
fields are generated by the adjunction of special values of automorphic
functions arising from elliptic curves. Furthermore, he also observed that
each abelian extension of Է is a subfield of a field obtained by adjoining
to Է a special value of an automorphic function. This led him to state in
the article “Über die algebraisch auflösbaren Gleichungen” (“On
Algebraically Solvable Equations”) (1853) the following:
(Kronecker-Weber Theorem). Let ܭbe a finite abelian extension of Է.
Then there exists a positive integer ݊ such that ك ܭԷ൫݁ ଶగ Τ ൯.8
(The numbers ݁ ଶగΤ are the roots of unity which together with the rational
numbers constitute the field of cyclotomic numbers. Hence the Kronecker-
Weber theorem can also be stated as saying that every abelian extension of
Է is contained in a cyclotomic extension of Է). Kronecker wondered
whether all abelian extensions of imaginary quadratic fields are obtained
in this way, that is, they are subfields of fields obtained by adjoining to
them special values of automorphic functions. This was Kronecker’s
Jugendtraum (dream of his youth). So Kronecker posed the main question
of class field theory, namely, finding all abelian extensions of given
algebraic number fields.
In the preface of the first paper above mentioned, Hilbert wrote:
The methods which I have used in the following for the investigation of
relative quadratic fields are, by a suitable generalization, also useful with
the same results in the theory of relative abelian fields of arbitrary relative
degree, and then lead specially to the general reciprocity law for arbitrary
higher power residues in an arbitrary algebraic number domain.9
8
Kronecker did not manage to prove the theorem for field extensions of degree a
power of ʹ. In the article “Theorie der Abel’schen Zahlkörper” (“Theory of
Abelian Number Fields”) (1886), Weber supplied a proof that was also incomplete.
The first complete proof of the theorem was published in Hilbert’s paper “Ein
neuer Beweis des Kronecker’schen Fundementalsatzes über Abel’sche
Zahlkörper” (“A New Proof of Kronecker’s Fundamental Theorem for Abelian
Number Fields”) (1896).
9
Hilbert 1965, vol 1, 370.
Hilbert’s First Years at Göttingen 69
The subject of the 1899 paper was in effect to generalize the law of
quadratic reciprocity, so that it becomes valid not only for cyclotomic
fields but also for any arbitrary algebraic number field. He conjectured the
following (Satz 60):
Hilbert’s reciprocity law: Let ݇ be an algebraic number field containing
ఓǡఔ
the ݉-th roots of unity; then for all ߤǡ ߥ ܭ אൈ , we have ς ቀ ቁ ൌ ͳ,
ǤǡǤ
where ቀ ቁ is Hilbert’s ݉-th power norm residue symbol mod , and the
product is extended over all prime places of ܭ.
70 Chapter Six
CHAPTER SEVEN
1
Hilbert 1965, vol. 3, 402.
2
Hilbert 2004, 302.
3
This must be taken with some caution, since no logical system is specified or
presupposed. So “deductive completeness” cannot be understood exactly in the
same sense that we usually found in logical textbooks.
72 Chapter Seven
This would also be the point of view of what is perhaps the best-known
work of Hilbert and one of the most celebrated works in the history of
mathematics: Grundlagen der Geometrie (The Foundations of Geometry).
It is popularly known with the nickname of Festschrift, since it was part of
a volume edited by the University of Göttingen to celebrate the
inauguration of a monument dedicated to two of its most illustrious
professors: Gauss and Weber. The volume in question consisted of two
works, Hilbert’s work and a work by Emil Wiechert entitled Grundlagen
der Elektrodynamik (Foundations of Electrodynamics), but nowadays
nobody remembers this second work and the name of Festschrift has
remained inextricably linked to Hilbert’s work. It is a well-known fact that
Hilbert’s contribution to the Festschrift was composed quickly just after
the lecture course of 1898/99 ended and that it was Klein who suggested to
Hilbert that he present the material of these lectures to celebrate the
inauguration of the Gauss-Weber monument, which was finally carried out
on June 17, 1899.5
As is well known, Euclid had systematized elementary plane and solid
geometry in his Elements, taking as reference Aristotle’s theory of science.
Thus, we can find in the first book of the Elements a list of propositions,
stated without proof, classified into three groups: definitions (ex: “A point
is that of which there is no part”), common notions (ex: “The whole is
greater than the part”) and postulates (ex: the parallel axiom, also called
Euclid’s Postulate). From these propositions are proved, by means of
logic, the most important theorems of plane geometry (Euclid’s preferred
method of proof is the indirect proof or reductio ad absurdum).
Nonetheless, since the seventeenth century the mathematical
community had been aware that several proofs in the Elements used
4
Ibid., 304.
5
The following paragraphs are taken almost verbatim from Roselló (2012, 109-
10).
The Foundations of Geometry 73
In this figure, the angles ܥܣܤסi ܦܥܣסtogether are smaller than two
straight angles and, in agreement to Euclid´s postulate the lines AB and
CD will meet each other when being indefinitely extended, whereas if
the lines AE and CD are parallel, then Euclid´s postulate guarantees
that the angles ܥܣܧסi ܦܥܣסtogether are equal to two straight angles.
Euclid’s fifth postulate often appears in modern mathematical texts
in the following terms:
cont. p. 75
The Foundations of Geometry 75
In fact, the axiomatic method constituted for Hilbert the ideal method to
demonstrate the logical connections between the different geometries that
had been developed throughout the nineteenth century. For this reason, as
Hilbert’s most illustrious contemporary mathematicians emphasized, his
work constituted such an important turning point in the research on the
foundations of geometry and, in general, of mathematics. Thus, for
example, the American mathematician Oswald Veblen (1880-1960) wrote
in an article on “Hilbert’s Foundations of Geometry” (1903), just three
years after the appearance of Hilbert’s work, that:
Since its appearance in 1899 Hilbert’s work on The Foundations of
Geometry has had a wider circulation than any other modern essay in the
realms of pure mathematics. 7
That same year, the great French mathematician Henri Poincaré affirmed
in a review of Hilbert’s Grundlagen for the Bulletin of the American
Mathematical Society, that:
[Hilbert’s work] made the philosophy of mathematics take a long step
forward, comparable to those which were due to Lobachevsky, to
Riemann, to Helmholtz, and to Lie.8
6
Frege 1976, 65.
7
Cited by Ehrlich (1994, xxiv).
8
Ibid.
78 Chapter Seven
CHAPTER EIGHT
80 Chapter Eight
These axioms are formulated for three systems of things named “points,”
“lines” and “planes” in order to describe or specify certain fundamental
relations between these things which he indicates by the words “lie,”
“between,” “parallel,” “congruent” and “continuous.” Euclid had defined
“point” as “that which has no parts,” “line” as a “breadthless length” and
“surface” as “that which has length and breadth only.” However, he hadn’t
defined the meaning of “part,” “length” and “breadth.” Thus, only the
spatial intuition of these undefined terms could help the understanding of
the previous concepts. So Euclid’s definitions did not contribute at all to
the rigor of geometry. Hilbert, however, made no attempt to define
“point,” “line” or “plane,” but simply postulated the existence of three
systems of arbitrary elements that he called “points,” “lines” and “planes,”
but could have also called “chairs,” “tables” and “beer mugs”–the
example, as reported by Blumenthal, is from Hilbert!–because what really
matters is not the nature of the elements, but the fact that these elements
satisfy the axioms.
If we do not think of the above elements as objects of our spatial
intuition, we do not have to think of the axioms as truths relating to real
space. Actually, according to Hilbert, beyond expressing “certain
associated fundamental facts of intuition,” what the axioms do is to
determine or implicitly define the fundamental relationships between the
elements of the different systems by enunciating their basic properties.3
Thus, in Hilbert’s axiomatization of geometry “the bond with reality is
cut.”4 This bond of geometry with real space constituted not only for
Euclid, but also for Pasch, Federigo Enriques (1871-1946), Veronese,
Mario Pieri (1860-1913) or Klein, the source from which geometric
intuition sprouts. From Hilbert’s Festschrift onwards “geometry has
become pure mathematics. The questions of whether and how to apply to
reality is the same in geometry as it is in other branches of mathematics.”5
2
Hilbert 2004, 437.
3
Hilbert doesn’t use the term implicit definition, introduced by Joseph Gergonne
(1771-1859), but when he introduces the second and third group of axioms, he says
that these groups of axioms define (definieren) respectively the relations of order
and congruence.
4
Freudenthal 1962, 618.
5
Ibid.
The Axiomatization of Geometry 81
Since there are five basic relations between the elements of the
different systems–“lie,” “between,” “congruent,” “parallel” and
“continuous”–, there are also five groups of axioms that define these
relations: I. Axioms of incidence, II. Axioms of order, III. Axioms of
congruence, IV. Parallel Axiom and V. Axioms of continuity. The first
group of axioms defines the relation of incidence or “lies on”: “a point lies
on a line,” “a line lies on a plane” and “a point lies on a plane.” The
second group of axioms defines the order relation or “lies between”: “a
point lies on a line between two points.” This relation was not defined in
the work of Euclid, despite being fundamental for proving most of the
properties of plane geometry. Thus, for example, it is necessary to define
the concepts of segment and angle and to distinguish between the inner
and outer points of a triangle.
The third group of axioms is constituted by a single axiom, the famous
Euclid’s fifth postulate or parallel axiom. It would seem perhaps more
logical that Hilbert had considered the relation of parallelism as a
primitive relation, as he had done with incidence, order and congruence
relations. But Hilbert preferred to define the relation of parallelism in
terms of the relation of incidence and, indeed, what is more common today
is to define first the relation of parallelism in the manner indicated and
then to state the parallel axiom. Actually, the fact that the parallel axiom is
considered apart from the rest of the axioms is due only to its historical
importance, especially in relation to the development of non-Euclidean
geometries.
The fourth group of axioms defines the relation of congruence between
segments and angles, which is basic to the introduction of the concept of
measure, being the measure a real number (length of a segment or
measurement of an angle) associated with a segment or angle (the concept
of measure is introduced from the relation of congruence by stipulating
that two segments or angles have the same measure if, and only if, they are
congruent).
The last group of axioms includes the Axiom of Archimedes (V.1) and
an Axiom of completeness (Vollständigkeitsaxiom) (V.2), added for the
first time in the French translation of 1900 and present from the second
edition of the Festschrift on. These axioms allow to establish a bijective
correspondence between the set of points in a straight line and the system
of real numbers and, therefore, to use the real numbers to introduce the
metric ideas of length and measure of angles from the relation of
congruence. These ideas are at the same time essential for the study of the
similarity of figures and areas. The first continuity axiom is the axiom of
Archimedes, which is nothing more than a geometric statement of the
82 Chapter Eight
The Axiomatization of Geometry 83
Primitive terms: point, straight line, plane, lying on, lying between,
being congruent.
Group of axioms I: Axioms of connection (or incidence)
I 1. Two distinct points ܣand ܤalways completely determine a
straight line a. We write ܤܣൌ ܽ or ܣܤൌ ܽ.
I 2. Any two distinct points of a straight line completely determine that
line; that is, if ܤܣൌ ܽ and ܥܣൌ ܽ, where ܥ ് ܤ, then is also ܥܤൌ ܽ.
I 3. Three points ܣǡ ܤǡ ܥnot lying in the same straight line always
completely determine a plane ߙ. We write ܥܤܣൌ ߙ.
I 4. Any three points A, B, C of a plane ߙ, which do not lie in the same
straight line, completely determine that plane.
I 5. If two points A, B of a straight line ܽ lie in a plane ߙ, then every
point of ܽ lies in ߙ.
I 6. If two planes ߙǡ ߚ have a point ܣin common, then they have at
least another point B in common
I 7. Upon every straight line there exist at least two points, in every
plane at least three points not lying in the same straight line, and in
space there exist at least four points not lying in a plane.
Group of axioms II: Axioms of order
II 1. If ܣǡ ܤǡ ܥare points of a straight line and ܤlies between ܣand ܥ,
then ܤlies also between ܥand ܣ.
II 2. If ܣand ܥare two points in a straight line, then there is always at
least one point ܤwhich lies between ܣand ܥ, and at least one point ܦ
such that ܥlies between ܣand ܦ.
II 3. Of any three points of a straight line, there is always one, and only
one, which lies between the other two.
II 4. Any four points any ܣǡ ܤǡ ܥǡ ܦof a straight line can always be
ordered in such a way that ܤlies between ܣand ܥand also between ܣ
and ܦand, furthermore, that ܥlies between ܣand ܦand also between
ܤand ܦ.
Definition. We call the system of two points ܣand ܤ, which lie on a
straight-line ܽ, a segment and denote it by ܤܣor ܣܤ. The points
between ܣand ܤare called the points of the segment ܤܣor also the
points lying within the segment ܤܣ. All other points in the straight line
ܽ are called the points lying outside the ܤܣsegment. The points ܣǡ ܤ
are called the final points of the segment ܤܣ.
II 5. Let ܣǡ ܤǡ ܥbe three points not lying in the same straight line and
cont. p. 84
84 Chapter Eight
let ܽ be a straight line on the ܥܤܣplane that does not meet with any of
the points ܣǡ ܤǡ ܥ. If, then, the straight line ܽ passes through a point of
the segment ܤܣ, it will always pass through either a point of the
segment ܥܤor through a point of the segment ܥܣ.
Group of axioms III: The axiom of parallels (Euclid’s postulate)
III. In a plane ߙ, one can always trace through a point ܣ, lying outside
of a straight-line ܽ, one and only one straight line which does not
intersect the line ܽ. This straight line is called the parallel to ܽ through
the point ܣ.
Group of axioms IV: Axioms of congruence
IV 1. If ܣǡ ܤare two points on a straight line ܽ and, furthermore, ܣᇱ is
a point on the same or another straight line ܽᇱ , then, on a determinate
side of ܣᇱ on the straight line ܽᇱ , one can always find one and only one
point ܤᇱ , so that the segment ( ܤܣor )ܣܤis congruent to the segment
ܣᇱ ܤᇱ (or ܤᇱ ܣᇱ ); in symbols ܣ ؠ ܤܣᇱ ܤᇱ . Every segment is congruent to
itself, i.e., we always have ܤܣ ؠ ܤܣ.
IV 2. If a segment ܤܣis congruent to the segment ܣᇱ ܤᇱ and also to the
segment ܣᇱᇱ ܤᇱᇱ , then the segment ܣᇱ ܤᇱ is also congruent to the segment
ܣᇱᇱ ܤᇱᇱ ; that is, if ܣ ؠ ܤܣᇱ ܤᇱ and ܣ ؠ ܤܣᇱᇱ ܤᇱᇱ , then also ܣᇱ ܤᇱ ܣ ؠᇱᇱ ܤᇱᇱ .
IV 3. Let ܤܣand ܥܤbe two segments on the straight-line ܽ which
have no points in common and, furthermore, let ܣᇱ ܤᇱ and ܤᇱ ܥᇱ be two
segments on the same or of another straight line ܽᇱ also without any
point in common. Then, if ܣ ؠ ܤܣᇱ ܤᇱ and ܤ ؠ ܥܤᇱ ܥᇱ , we always have
that ܣ ؠ ܥܣᇱ ܥᇱ .
Definition. Let ߙ be an arbitrary plane and h, k any two different half-
rays in ߙ that emerge from the point O which are part of two different
straight lines. We call this system of two different half-rays h, k an
angle and represent it with the symbol סሺ݄ǡ ݇ሻ or סሺ݇ǡ ݄ሻ.
IV 4. Let סሺ݄ǡ ݇ሻ be an angle in a plane ߙ and let ܽᇱ be a straight line
in a plane ߙ ᇱ . Suppose also, that in the plane ߙ ᇱ , a definite side of ܽᇱ is
assigned. We denote by ݄ᇱ a half-ray of the straight line ܽᇱ that has its
origin in the point ܱᇱ of this line. Then in the plane ߙ ᇱ there is one and
only one half-ray ݇ ᇱ such that the angle ሺ݄ǡ ݇ሻ, or ሺ݇ǡ ݄ሻ, is congruent
to the angleሺ݄ᇱ ǡ ݇ ᇱ ሻ and, at the same time, all the interior points of the
angle ሺ݄ᇱ ǡ ݇ ᇱ ሻ lie on the given side of ܽᇱ . In symbols: סሺ݄ǡ ݇ሻ ؠ
סሺ݄ᇱ ǡ ݇ ᇱ ሻ. Every angle is congruent to itself, that is, we always have
סሺ݄ǡ ݇ሻ ס ؠሺ݄ǡ ݇ሻ.
IV 5. If the angleሺ݄ǡ ݇ሻ is congruent to the angle ሺ݄ᇱ ǡ ݇ ᇱ ሻ and also to the
cont. p. 85
The Axiomatization of Geometry 85
86 Chapter Eight
of the I-IV groups and the axiom of Archimedes are then satisfied.
However, the axiom of completeness is not satisfied, because ȳ is
extensible to other domains in which all the previous axioms are satisfied.
One of these domains is the field of real numbers, which is an
Archimedean ordered field that is not extensible to any other ordered
Archimedean field containing it properly. Therefore, if instead of ȳ we
consider the field of real numbers, plane Cartesian geometry will provide
the model of Euclidean geometry Hilbert was looking for, since under this
interpretation, the axioms of groups I-IV and the two axioms of continuity
(the Archimedean and completeness axioms) become truths of real number
theory. Extending the above argument to spatial geometry is not a
problem.
Regarding the mutual independence of the different axioms, it is worth
mentioning the proof of the independence of the parallel axiom of the
parallel and Archimedes’ axiom, from which follows respectively the
consistency of the hyperbolic geometry of Lobachevski and Bolyai and the
non-Archimedean geometry of Veronese. Regarding the independence of
the parallel postulate, Hilbert appealed to the abstract geometric model
that Cayley had constructed inside a conic, where the points and straight-
lines are defined from the Euclidean points and straight-lines and a group
of collineations allows fixing the relationships of angles and lengths. Felix
Klein had indeed shown that Cayley’s geometric model satisfied all the
axioms of Euclid, except for the axiom of the parallel. More exactly, that
the geometry realized inside a conic is the geometry of Lobachevski. To
prove the independence of Archimedes’ axiom from the other axioms,
Hilbert considers the same set of algebraic numbers ȳ previously
introduced and the set of algebraic functions in an indeterminate ݐon this
fieldwith the same five operations as before and where ݊ is now an
arbitrary function generated by the five operations. The order is obtained
by defining ܽ ൏ ܾ for two functions ܽ and ܾ of ݐif ܿ ൌ ܽ െ ܾ is always
positive or negative for a ݐlarge enough. For any positive rational number,
ݍെ ݐis then always negative for a t large enough, so that ݍ൏ ݐfor every
ݍ. In other words, the axiom of Archimedes is not valid.
CHAPTER NINE
One of the places where the impact of Hilbert’s Grundlagen was stronger
was in the young American mathematical community. The last quarter of
the 19th century was a time of great prosperity and growth in the United
States, which had a decisive influence on the creation of new and
important centres of mathematical research and, in general, on the
formation of many of the institutions of higher education that are today
leaders in the whole world.
As great fortunes were made on the railroads, the telegraphs, and industrial
expansion in general, individuals like Johns Hopkins and John D.
Rockefeller endowed universities through their private philanthropy. The
presidents of these new schools, well aware of the educational scenes
abroad and especially in Germany, France, and Great Britain, crafted their
new institutional philosophies informed by the examples of those foreign
systems. In particular, many of them adopted the production of research
and of future researchers as explicit missions for their faculties and
schools.1
For example, Daniel Coit Gilman (1831-1908), the first president of Johns
Hopkins University, asked himself in the opening lesson of this university
in 1876: What are we aiming at? And he responded: “the encouragement
of research . . . and the advancement of individual scholars, who by their
excellence will advance the sciences they pursue, and the society where
they dwell.”2 Gilman believed that teaching and research were
interdependent, that success in one depends on success in the other, and
that a modern university like Johns Hopkins must do both well.
1
Parshall 1996, 292.
2
Inaugural Address of Gilman as first president of the John Hopkins University
(http://webapps.jhu.edu/jhuniverse/information_about_hopkins/about_jhu/daniel_c
oit_gilman/).
88 Chapter Nine
When Sylvester returned to Britain in 1883, his role as a mentor for the
young American mathematicians desirous of an advanced mathematical
research was taken over by Klein, who trained many PhD students in
Leipzig and Göttingen (and indirectly in other German universities). In
fact, during the 80s and 90s, Klein had a profound influence on many
American young mathematicians who would be responsible for laying the
foundations for mathematical research and its teaching in American
universities in the beginnings of the 20th century. For example, during the
winter semester of the 1887/88 academic year, Klein had six American
students enrolled in their courses: M. W. Haskel and W. F. Osgood of
Harvard, H. S. White of Wesleyan University, H. D. Thompson of
Princeton, B. W. Snow of Cornell University and H. W. Tyler of the
3
Information excerpted from https://www.uchicago.edu/about/history/.
4
Bell 1938, 2.
Hilbert and American Postulational Analysis 89
5
Klein 1894, 1.
6
Bliss and Dickson 1935, 85.
90 Chapter Nine
Before its creation, most American graduates who wanted to continue their
training as mathematicians travelled to Germany, especially to Göttingen.
But Moore, with the collaboration of Bolza and Maschke, two German
mathematicians who had studied with Klein in Göttingen before
immigrating to the United States, set up a department that was able to
attract some of the most brilliant young American mathematicians who
wanted to devote themselves to research. Thanks to the efforts of Moore,
Bolza and Maschke toward strengthening several institutional and
7
Ibid., 86.
Hilbert and American Postulational Analysis 91
Considering the above facts, it comes as no surprise that one of the places
where the publication of Grundlagen der Geometrie had an immediate
influence was the United States and, specifically, the University of
Chicago. In the fall of 1901, Moore conducted a seminar on the
foundations of geometry and analysis, which constituted the basis of his
paper “On the projective axioms of Geometry” (1902).9 He introduced his
students to and discussed with them the latest literature on the topic,
particularly Hilbert’s Festschrift and a recent article of Friedrich Schur
(1856-1932), “Über die Grundlagen der Geometrie” (1901), where he
contested Hilbert’s claim of the independence of the axioms of connection
(incidence) and order. Regarding the axioms of connection, order and
congruence, Hilbert had stated in Grundlagen that “it is easy to show that
the axioms of these groups are each independent of the others of the same
group.”10 But this, as Schur observed, did not grant that the axioms were,
in fact, mutually independent. More specifically, Schur argued that three
of Hilbert’s axioms of connection followed from the other four axioms of
connection together with the five axioms of order. Moore agreed with
8
Parshall 1996, 292.
9
According to Moore “this paper has been prepared in connection with my current
Chicago seminar-course on the foundations of geometry and analysis, and queries
and remarks of members of this course, in particular, of Mr. O. Veblen, have been
a source of much stimulus” (Moore 1902, 143, footnote *).
10
Hilbert 2004, 456.
92 Chapter Nine
Schur in that Hilbert’s system was redundant but noticed that he had not
correctly identified the actual redundancy. Moore proved that the
redundancy in Hilbert’s system involved only one axiom of connection
and one axiom of order.
To understand why Hilbert just worried about the mutual independence
of axioms inside each group of axioms, it must be noticed that Hilbert’s
groups of axioms correspond to geometric relations that have an intuitive
independent content and which he therefore considers the fundamental
relations. For example, in contrast to his predecessors, he sharply separates
the connection and ordering axioms, which is not strictly necessary from a
logical point of view. Hence the issues of independence between axioms
of distinct groups were secondary for Hilbert, since the axiom system as a
whole was built from geometrical intuitive groups of axioms
(corresponding to each of the fundamental relations), not from the
standpoint of logical economy. Thus, when Schur and Moore analysed the
logical dependence between axioms of distinct groups they made a step
forward that Hilbert had not foreseen.
Moore’s analysis moved still further away from the original spirit of
Hilbert’s axiomatic analysis. When analysing the different groups of
axioms, Hilbert was implicitly granting these groups of axioms a genuine
mathematical interest, as they expressed facts of our spatial intuition about
relations between different systems of things, which were the object of
study of geometry–at least in a first intuitive, pre-critical stage.11 For
Moore, however, the axiom systems as such became the subject of study,
regardless of the mathematical interest that these systems might have. The
problem addressed by Moore was whether these systems of axioms could
be formulated more conveniently from the deductive point of view,
regardless of whether they had any intuitive geometrical meaning.
Obviously, this type of analysis was also available to Hilbert, given his
formalistic conception of the axiomatic method, but neither Hilbert nor his
collaborators had any interest in developing a logical analysis of the
axioms per se. For Hilbert, the axiomatic analysis was the final and ideal
stage of any mathematical discipline. For Moore, the systems of axioms or
postulates themselves were the starting point, thus creating a new
11
Although from Hilbert’s formal standpoint, “the basic elements can be thought
of in any way one likes,” for example, as chairs, tables and beer-mugs, and so the
axioms can also be thought as defining the different kind of “relations between
these things” (see Chapter 8), it is just insofar they express facts of our spatial
intuition about the relations between points, lines and planes that they have a
genuine mathematical interest, i.e. they can be called properly geometrical axioms.
Hilbert and American Postulational Analysis 93
Pasch and continued by Peano rather than that of Hilbert or Pieri. All other
geometrical concepts, such as line, plane, space, motion, are defined in
terms of point and order. In particular, the congruence relations are made
the subject of definitions rather than of axioms. This is accomplished by
the aid of projective geometry according to the method first given
analytically by Cayley and Klein. The terms “point” and “order”
accordingly differ from the other terms of geometry in that they are
undefined.15
15
Veblen 1904, 344.
16
Ibid., 346.
96 Chapter Nine
17
As remarked by L. Corry, Fraenkel “took Loewy’s and Hensel’s trains of ideas
into a new direction, leading to the definition and early research of abstract rings”
(Corry 1996, 201).
18
According to E. T. Bell’s statistics, 8,46% of the mathematical papers publishes
in the USA between 1888 and 1938 were devoted to postulational analysis. 23.3%
of the papers on postulational analysis were published between 1898 and 1907,
11.1% between 1908 and 1917, 23.5% between 1918 and 1927, and 41.1%
between 1928 and 1937భమ (Bell 1938, 7).
CHAPTER TEN
At the end of the summer of 1899, between the 17th and 23rd of
September, the annual meeting of the DMV took place in Munich,
together with that of the Society of German Scientists and Doctors. At this
meeting those present discussed the possibility of hosting the International
Congress of Mathematicians in Germany in 1904, for which the official
request would be made at the next Congress that was to be held in Paris
the following year. Hilbert was one of the 80 participants in the DMV
Congress and presented two articles, one on Dirichlet’s principle and
another on the concept of number.
In the summer of 1899, just after the publication of Grundlagen der
Geometrie, Hilbert had concentrated all his energies in trying to “revive”
the so-called Dirichlet principle, which had focused the attention of the
most prestigious mathematicians of the 19th century, due to its importance
both theoreticalto prove the existence and unicity of solutions for
problems related to limit valuesand practicalto solve numerous types of
problems that arise in physics.
In a fairly generic way, Dirichlet’s principle is a method to solve
boundary value problems of elliptic partial differential equations which
consists in reducing them to the (variational) problem of finding the
minimum value of an integral (named the Dirichlet or energy integral) in a
determinate class of functions subject to the condition that they take on
prescribed boundary values (basically, that the values of the integral do not
become infinite and they allow the problem initially raised to be solved).
Bernhard Riemann had widely used Dirichlet’s principle in his famous
dissertation of 1851 and was, in fact, the first to call it by this name in
honour to his master Dirichlet. But the principle had been heavily
criticized by Weierstrass in the late 1860’s, when he proved by means of
an example that the differential boundary problem may have a solution,
while the corresponding variational problem could not have a solution
because the value of the Dirichlet integral when solving the problem
becomes infinite in such cases. In other words, the Dirichlet principle was
not valid in all cases. But this principle had too many applications in
98 Chapter Ten
1
Hilbert 1900, 180.
2
Ibid., 181.
The Axiomatization of Analysis 99
The second problem raised by the application of the axiomatic method for
introducing the real number system was that this procedure did not assure
either, at least explicitly, that this system of things (in case of existing)
was unique. This issue was solved thanks to the presence of the
completeness axiom: if the real numbers are defined as a system of things
satisfying the axioms that cannot be extended with new elements (and
keep satisfying the axioms), then all the models of the axioms (all systems
of things that satisfy the axioms) will be essentially the same, and
therefore the system of real numbers will be univocally determined (up to
isomorphism) by the axioms.
The axiom of completeness was the most novel axiom of the four
axiom groups proposed by Hilbert to axiomatize analysis. As we have
already seen, Hilbert added an axiom analogous to that in the second
edition of Grundlagen der Geometrie to the list of axioms present in the
first edition. It was thanks to the completeness axiom of Grundlagen that it
was possible to introduce the concept of measurement and to “prove all the
theorems of geometry.” Similarly, Hilbert thought that a proposition about
the real numbers was true if, and only if, it followed from the axioms that
he had postulated for these numbers. Hilbert considered that the axiom of
completeness guaranteed this, since, as we have already explained, it
guaranteed what Veblen called the categoricity of the system of axioms
and, therefore, that all true sentences in a model of the axioms were true in
any other model of them. It followed from this (assuming that the
underlying logic was semantically complete) that this system of axioms
was complete in the sense that it allowed to prove or refute any
proposition about the real numbers.
3
Ewald 1996, vol. 2, 1095.
4
Frege 1976, 68.
The Axiomatization of Analysis 101
cont. p. 102
102 Chapter Ten
Certainly [your conference] will be the event of the congress and its
success will be very lasting. I believe that this speech, which probably
every mathematician without exception will read, will make you have even
more power of attraction for young mathematicians [...] Now you have
really delimited the mathematics for the twentieth century and in most
circles you will be recognized gladly as its general director.3
Hilbert’s speech was initially scheduled for the opening session of the
Congress, but due to the delay in the arrival of the text, it was relegated to
the joint session of the two general sections, one which dealt with
Bibliography and History and the other with Teaching and Methods.
These sections were considered of inferior rank to the sections on pure
mathematics (Arithmetic, Algebra, Geometry, Analysis) or applied
mathematics (Mechanics), but seen in perspective, they became, thanks to
Hilbert’s talk, the true protagonists of the Congress.
Hilbert’s lecture, entitled “Mathematische Probleme” (“Mathematical
Problems”) consisted of a preamble and a list of 23 problems, of which
Hilbert only read ten (Hilbert spoke in German, but had the good sense to
3
Ibid, 129-30.
4
Hazewinkel 2005, 733. The lecture was published for the first time in
Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen,
mathematisch-physikalische Klasse, 1901, 253–297. The first French and English
translations were published in 1902.
The Hilbert Problems 105
provide the attendees with the full text of the conference in French). In the
preamble of the conference, Hilbert emphasized the importance of the
existence of problems for the development of any science and, in
particular, mathematics, as well as his conviction about the solubility of
any mathematical problem, expressed through the slogan “in mathematics
there is no ignorabimus”:
This conviction of the solvability of every mathematical problem is a
powerful incentive to the worker. We hear within us the perpetual call:
There is the problem. Seek its solution. You can find it by pure reason, for
in mathematics there is no ignorabimus.5
However, Hilbert was opposed to the view that only the concepts of
arithmetic and analysis are susceptible of a rigorous treatment, as this would
lead to rejecting the concepts that arise from geometry, mechanics and
physics. Thus, for example, this interpretation of the requirement of rigor
5
Hilbert 1965, vol. 3, 298.
6
Ibid., 293.
106 Chapter Eleven
the foundations of mathematics and physics. In the second group were six
problems of algebraic number theory, while the third one was a mixture of
algebraic and geometrical problems covering several topics. In the last
group were five problems of analysis, which was where the interests of
Hilbert would be directed in the immediate future. Of these 23 problems,
those discussed by Hilbert at the Congress were the problems 1, 2, 6, 7, 8,
13, 16, 19, 21 and 22. The first three were precisely the problems on the
foundations of mathematics and physics that would have a greater
relevance in the future regarding the development of the axiomatic
method, either by Hilbert himself or by other authors of the Göttingen
circle, such as his collaborator Ernst Zermelo.
The first foundational problem discussed by Hilbert and indeed the
problem that occupied the first place in the list presented by Hilbert was
the proof of the continuum hypothesis, i.e., the proof of Cantor’s
conjecture that every infinite set of real numbers is either countable (that
is, it has one-to-one correspondence with the set of natural numbers) or
has the power of the continuum (that is, it has one-to-one correspondence
with the set of real numbers) and, therefore, there is no intermediate power
between the power of the set of natural numbers and that of the continuum.
Hilbert’s second problem was to find a direct proof of the non-
contradiction or consistency of the axioms that determine the structure of
the real numbers, which he simply called arithmetic axioms, that is, “to
prove that a finite number of logical deductions based upon them can
never lead to contradictory results.”8 As we already know, Hilbert had
proved in Grundlagen der Geometrie the consistency of Euclidean
geometry by assuming the consistency of the system of real numbers,
which he had axiomatized in the article “Über den Zahlbegriff” as a
maximal Archimedean ordered field. Therefore, to demonstrate the
absolute consistency of the axioms of geometry (and, by extension, of
mathematics), it was now necessary to prove the consistency of the axioms
through which he had defined the real numbers.
Finally, Hilbert’s sixth problem asked to axiomatize “those physical
sciences in which mathematics already play an important role; in the first
rank are the theory of probabilities and mechanics.” 9 Hilbert devoted
many efforts throughout his life to the axiomatization of physical theories:
mechanics, thermodynamics, probability theory, kinetic theory of gases,
8
Ibid., 300.
9
Ibid., 306.
108 Chapter Eleven
10
This is the topic of Corry 2004.
110 Chapter Eleven
This was not the case of the final group of problems, with which “Hilbert
was on surer ground.”12 To this block belonged the last three problems
presented by Hilbert to his auditorium, each of which referred to central
questions of the mathematics of his time and of all the 20th century. The
first problem, number 19, asked to determine if a concrete type of
problems in the calculus of variations (the regular problems, which are
those that usually arise when the calculus of variations is used to solve
certain physical problems) always have solutions which are expressible in
terms of analytic functions, namely, as functions given locally by a series
of convergent powers.
The second problem, number 21, was referred to a type of linear
differential equations of ݊-th order that Lazarus Fuchs had studied first,
and then Klein and Poincaré. As Hilbert explained, Klein had exploited the
fact that from these differential equations a group can be obtained. The
problem was then to show that, given a group, a differential equation can
be found that has the given group as its corresponding group.
The last problem discussed by Hilbert, number 22, was probably
chosen as homage to Poincaré. As Hilbert pointed out, Poincaré was the
first to demonstrate that it is possible to standardize (that is, to represent
parametrically) any algebraic relation between two variables thanks to the
automorphic functions of one variable. Poincaré himself generalized this
fundamental theorem for any non-algebraic analytical relation between
two variables. The problem raised by Hilbert was then to find out if the
resolving functions could be determined in such a way that they fulfilled
certain additional conditions.
Hilbert’s lecture did not impress his audience, which triggered a brief
and disperse discussion on some of the topics dealt with in the lecture. It
was commented, for example, that more progress had been made on the
problem extracted from Ocagne’s work than that suggested by Hilbert.
One of the illustrious attendees at the conference, Giuseppe Peano, leader
of the Italian formalist school, said that his colleague Alessandro Padoa
(1868-1937) had solved the problem of axiomatizing arithmetic and would
make a report on the subject in the Congress.
11
Gray 2000, 72-73.
12
Ibid.
The Hilbert Problems 111
Asterisks denote the ten problems presented during the Paris lecture
After Paris, Hilbert resumed his usual academic activity at the University
of Göttingen. A quick look at the titles of the courses offered by Hilbert
between 1900 and 1904 shows us that they dealt with a wide range of
topics, which included those that had focused his interest before Paris
(algebra, geometry and number theory), those that occupied the centre of
his research at that moment (differential and integral calculus, function
theory, potential theory and calculus of variations), and those that would
do so in the immediate future (particularly, mechanics).
Among all these issues, there is no doubt that the one that focused most
of his intellectual efforts during those years was that of integral equations
(those equations in which in the integrand appears an unknown function to
be determined). At the end of the 19th century there was an increasing
interest in the study of integral equations, mainly due to their connections
with some of the differential equations of mathematical physics. From
these investigations, the four forms of integral equations, called today
Volterra and Fredholm equations of first and second kind, arose.
We owe the first rigorous treatment of what we might call a general
theory of integral equations to the Swedish astronomer and mathematician
Erik Ivar Fredholm (1866-1927), who published his research on the topic
in a series of articles published between 1900 and 1903. The research of
Fredholm had a profound impact and attracted the attention of Hilbert,
who decided to dedicate the seminar of the winter semester of 1900/01 to
the study of the integral equations. There, the Swedish mathematician Erik
Holmgren (1872/3-1943) explained to Hilbert and the other participants in
the seminar the research on integral equations carried out by his fellow
Fredholm.
In his work, Fredholm presented the solution of the Fredholm equations
of the second kind, named for him, in an original and elegant way that
revealed a certain analogy between the integral equations and the linear
equations of algebra, which led him to develop a theory of determinants for
114 Chapter Twelve
cont. p. 116
116 Chapter Twelve
bilinear form
න න ܭሺݏǡ ݐሻ ݔሺݏሻݕሺݐሻ݀ݐ݀ݏǤ
In this case, it is demonstrated that the eigenvalues of the integral
equation are a succession of real numbers ሺߣ ሻ and the eigenfunctions
corresponding to the different eigenvalues are orthogonal. With this
notation we can enunciate, as an example of the scope of the theory,
one of the most important results achieved by Hilbert and his disciple
and collaborator Erhard Schmidt (1876-1959):
(We can see here the connexion with Fourier series: a series written in
terms of orthogonal eigenfunctions is called a Fourier series).
The same year of Weyl’s arrival, on the initiative of Klein, Carl Runge
received a call from the University of Göttingen to occupy a chair of
applied mathematics. He took up the post in October of that year and held
it until his retirement in 1925. After Runge’s appointment, Göttingen
became the only German university with four full professors of
mathematics (Klein, Hilbert, Minkowski and Runge). The cooperation
among all four manifested itself in the weekly walk, “every Thursday at
three o’clock,” during which they talked a little of everything:
mathematics (and the neighbouring sciences: astronomy, mechanics and
physics), academic organizational tasks and the practice of sport! (see also
Chapter 6). It was during these years that the “Hilbert School” (in
Blumenthal’s expression) reached its maximum splendour.
Between 1901 and 1914, Hilbert supervised more than 40 doctoral
theses, some of them of lasting value and veritable landmarks in 20th
century mathematics. Those included, but are not limited to, those of Earle
Raymond Hedrick (1901), Georg Hamel (1901), Oliver Kellogg (1902).
Rudolf Fueter (1903), Charles Mason (1903), Teiji Takagi (1903), Sergei
Bernstein (1904), Erhard Schmidt (1905), Ernst Hellinger (1907),
Hermann Weyl (1908), Andreas Speiser (1909), Alfred Haar (1909),
Richard Courant (1910), Erich Hecke (1910), Kurt Grelling (1910), Hugo
Steinhaus (1911), and Hans Bolza (1913). During those years, many
students and researchers from inside and outside of Germany went to
Göttingen to study or collaborate with Hilbert and to share their valuable
contributions with the Göttingen scientific community. Many of them
remained afterwards as professors in Göttingen or went to other
universities, becoming in most cases reputed mathematicians or scientists.
In March 1904 the first in a series of five articles by Hilbert, published
between 1904 and 1906, on integral equations finally appeared; a sixth
article appeared a little later, in 1910. These articles, which would be later
included in the work Grundzüge einer allgemeinen Theorie der linearen
Integralgleichungen (Elements of a general theory of linear integral
equations), published in 1912, are among the most influential papers
published in modern times and constitute the starting point of modern or
abstract functional analysis. Hilbert himself would explain in the first of
the articles mentioned that:
The systematic development of a general theory of linear integral equations
is of utmost importance for analysis as a whole, in particular for the theory
of definite integrals and the theory of the expansion of arbitrary functions
in infinite series, furthermore for the theory of linear differential equations
and analytic functions as well for potential theory and the calculus of
variations. I intend to treat in this book the question of solving integral
From Integral Equations to Hilbert Spaces 119
ȁܿ ȁଶ ൏ λǤ
ୀିஶ
In 1906, the same year in which Hilbert’s influential papers were
published, the doctoral thesis of Maurice Fréchet (1878-1973) Sur
quelques points du calcul fonctionnel (On some points of the functional
calculus), which had a tremendous influence, both for the development of
Functional Analysis and for Topology, also appeared. In this thesis,
Fréchet introduced the abstract notions of distance and metric space,
although this term was coined later by Felix Hausdorff (1868-1942),
which allowed him to extend the usual notions of neighbourhood, limits,
continuity, etc. to abstract sets. Fréchet also introduced the notions of
compactness, completeness and separability and studied them in different
infinite-dimension functional spaces showing the importance of these
properties for their characterization.
Fréchet’s topological ideas spread quickly. It is not strange, then, that
they were applied in the context of the work on integral equations
developed by Fredholm and Hilbert. Thus, as early as 1907, Erhard
Schmidt would simplify and extend the results of Fredholm and Hilbert,
but from a completely different point of view. Schmidt was the first to
define κଶ as a space of infinite dimension, thinking about the sequences
(ܿ ) as points in this space and studying the geometry of κଶ as a function
space in the modern sense of the term–using to this effect the language of
norms, linearity, subspaces and orthogonal projection. Schmidt’s
conceptual simplifications were immediately incorporated by Ernst Hellinger
1
Hilbert 1912, 2.
2
Ibid., 3.
120 Chapter Twelve
PARADOXES IN GÖTTINGEN
in the proof of the theorem that bears his name, that led Russell to the
discovery of the paradox of the class of all classes that do not belong to
themselves, the so-called Russell’s paradox.
Russell communicated his famous paradox to Frege in a letter dated
July 16, 1902. It was first published in the work by Russell, The Principles
of Mathematics, which appeared the following year. Almost at the same
time, Frege referred to the paradox in an appendix to the second volume of
his work Grundgesetze der Arithmetik (The Basic Laws of Arithmetic)
(1903), recognizing that the logical system shown there, on which he
wanted to base all mathematics, was inconsistent. Frege sent a copy of this
volume to Hilbert, who replied that he already knew this paradox and that
he believed that “Dr. Zermelo had discovered it three or four years
before.”1 Hilbert also added that “I had already found more convincing
contradictions four or five years earlier, which led me to the conviction
that traditional logic is inadequate and that the theory of concept formation
needs to be profiled and refined.”2
In fact, Hilbert’s first contact with paradoxes goes back to his
correspondence with Cantor between 1897 and 1900. According to
Hilbert’s opinion, Cantor’s paradox and other paradoxes (the paradox of
Zermelo-Russell and another mathematical paradox discovered by Hilbert
himself) could be solved by applying the axiomatic method, because in an
axiomatic theory only those concepts that can be deduced from a finite
base of axioms are accepted and so the problem is then to postulate a
sufficient group of axioms that does not lead to contradictions.
The Zermelo-Russell paradox showed that both Frege’s logical system
and the naive set theory developed by Cantor and Dedekind were
inconsistent and that, therefore, that it was necessary to find an
axiomatization of logic and set theory that could prevent the emergence of
paradoxes and to ensure once and for all the consistency of both
disciplines. This was not a minor problem, since for many mathematicians
of the time these two disciplines constituted the foundation of mathematics
as a whole and, therefore, the consistency of all branches of mathematics
(for example, of geometry or analysis) depended on the consistency of
logic and set theory.
The prominent place occupied by both disciplines in the late
nineteenth century was to a large extent the logical consequence of the
progressive rigorization of analysis that had taken place in the 18th and
19th centuries, to which mathematicians such as Cauchy, Bernard Bolzano
1
For this reason Russell’s paradox is also known as the Zermelo-Russell paradox.
2
Frege 1976, 79-80.
Paradoxes in Göttingen 125
3
Zermelo 1908, 263.
128 Chapter Thirteen
Ax. IV. To every set ܶthere corresponds another set ॏܶ (the power set
of T) that contains all the subsets of ܶ and only these. (Axiom of the
power set).
Ax. V. To every set ܶ there corresponds a set्ܶ (the union set of ܶ)
that contains as elements all the elements of ܶ and only these. (Axiom
of the union).
Ax. VI. If ܶ is a set whose elements are all sets different from Ͳ and
mutually disjoint, its unionՁܶ contains at least one subset ܵଵ having
one and only one element in common with each element of ܶ. (Axiom
of choice).
Ax. VII. The domain contains at least one set ܼ that contains the null
set as an element and is so constituted that to each of its elements ܽ
there corresponds a further element of the form ሼܽሽǡ that is to say, that
for each of its elements ܽ it also contains the corresponding set ሼܽሽ as
an element. (Axiom of infinity).
To this set of axioms, two more were added later: the replacement
axiom scheme and the axiom of foundation. The replacement axiom
scheme, proposed independently by Thoralf Skolem (1887-1963) and
A. Fraenkel in 1922, allows the construction of the series of ordinals.
The axiom of foundation, adopted by J. von Neumann in 1925 and by
Zermelo in 1930, restricts the category of sets so that we can better
capture the sets commonly used in mathematics. The theory obtained
by adding these two axioms to axioms I-VII is commonly referred to in
the literature as Zermelo-Fraenkel set-theory with the axiom of choice
(ZFC).
4
Hilbert 1965, vol. 3, 153 (Ewald 1996, vol. 2, 1113).
130 Chapter Thirteen
5
Born 1965, 4.
6
Reid 1970, 103.
7
The other was Ernst Hellinger, then a mathematics student in Göttingen.
CHAPTER FOURTEEN
Hilbert merely outlined in this paper the joint development of logic and
arithmetic mentioned in the text above and the programmatic ideas that
should lead ultimately to prove the consistency of analysis. In the case of
logic, he did not specify a logical system and just talked about “familiar
forms of logical inference.” Regarding arithmetic, he attempted to
demonstrate its consistency by first reformulating the Peano axioms. The
Hilbert axioms are the following:
1. ݔൌݔ
2. ሼ ݔൌ ݓݕሺݔሻሽȁݓሺݕሻ
3. ݏሺݔݑሻ ൌ ݑሺ ݏᇱ ݔሻ
4. ݏሺݔݑሻ ൌ ݏሺݕݑሻȁ ݔݑൌ ݕݑ
1
Van Heijenoort 1967, 130.
2
Ibid., 131.
3
Ibid.
The Consistency of Analysis 133
5. തതതതതതതതതതതതതതത
ݏሺݔݑሻ ൌ ͳݑ,
where ݑrepresents an infinite set, ݔݑan element of this infinite set, ݏ
denotes “successor” and ݏᇱ the “accompanying operation.”4 All axioms are
easy to read, except perhaps no. 3 which states that “each element ݔݑis
followed by a definite thought-object ݏሺݔݑሻ, which is equal to an element
of the set ݑ, namely, the element ݑሺ ݏᇱ ݔሻ, which likewise belongs to the set
ݑ.”5 So Hilbert ignores the Peano axioms “ͳ is a number” and the so-
called “principle of complete induction,” which will nevertheless be stated
later.
The argument sketched by Hilbert to demonstrate the consistency of
the above axioms seems to be the following. To prove the consistency of
the axioms 1, 2, 3 and 4, Hilbert’s reasons as follows:
Although Hilbert was aware that he had only hinted how to give a
“complete proof” of the consistency of arithmetic, he was convinced that
“the considerations just sketched constitute the first case in which a direct
proof of consistency bas been successfully carried out for axioms.”7
Furthermore, Hilbert continues, “if we translate the well-known axioms
for mathematical induction into the language I have chosen, we arrive in a
similar way at the consistency of this larger number of axioms, that is, at
the proof of the consistent existence of what we call the smallest infinite
set (that is, of the ordinal type ͳǡ ʹǡ ͵ǡ ǥ).”8
However, Hilbert’s confidence was cut off by Henri Poincaré, who
published soon after a lengthy article titled “Les mathématiques et la
logique” (1905, 1906) in which he evidenced the constant circularity of the
reasoning used by Hilbert in the proof of the consistency of the axioms of
arithmetic. More specifically, Poincaré observed that the consistency
proofs of the axioms that refer to an infinite set of statements require
complete induction, so that “Hilbert’s reasoning not only assumes the
principle of induction, but assumes that this principle is given to us, not as
a mere definition, but as an a priori synthetic judgment.”9 This is an
especially serious problem because one of the most important and well
known axioms of arithmetic is precisely the principle of complete
induction, so as Poincaré observed, in order to prove its consistency,
Hilbert is forced to employ the principle of complete induction itself!
In fact, at the end of the 1904 conference Hilbert himself seems to
realize the circularity of his proof that the negation of axiom 5 does not
follow from the rest of axioms and, anticipating Poincaré’s objections,
sketches the way to avoid circularity in this and other consistency proofs:
Whenever in the preceding we spoke of several thought-objects, of several
combinations, of various kinds of combinations, or of several arbitrary
objects, a bounded number of such objects was to be understood. Now that
we have established the definition of the finite number we are in position
to comprehend the general meaning of this way of speaking. The meaning
of the “arbitrary” consequence and of the “differing” of one proposition
from all proposition of a certain kind is also now, on the basis of the
7
Ibid., 135.
8
Ibid. In other words, the consistency of the principle of complete induction with
the axioms 1 to 5 can be demonstrated in a way similar to that used in order to
prove these axioms.
9
Ewald 1996, vol. 2, 1059.
The Consistency of Analysis 135
These ideas preclude the direction of the future work of Hilbert and his
collaborators on the foundations of arithmetic in the decade of the
twenties. In particular, for the first time, the idea of a proof theory
(Beweistheorie) appears in the above text (“we need only consider the
proof itself to be a mathematical object”), that is, of a mathematical theory
which studies the mathematical proofs formalized in the language of
symbolic logic. As Hilbert will explain later, a formalized proof is a finite
sequence of formulae whose structural properties are accessible to
intuitive and finite (metamathematical) reasoning. This makes possible the
consistency proofs, which deal with the proofs used in mathematics and
not with the objects or abstract concepts these proofs refer to. Ultimately,
thanks to formalization, a mathematical proof of consistency can be
reduced to a finite string of simple arithmetic statements. Therefore, two
principles of complete induction must be distinguished: an intuitive and
finite one and another properly mathematical one. In this way Hilbert will
respond in the twenties to the objections of Poincaré.
In the last paragraphs of the 1904 conference, Hilbert writes that the
consistency of analysis can be proved in an analogous way:
The existence of the totality of real numbers can be demonstrated in a way
similar to that in which the existence of the smallest infinite set can be
proved; in fact, the axioms for real numbers as I have set them up […] can
be expressed by precisely such formulas as the axioms hitherto assumed
[…], and the axioms for the totality of real numbers do not differ
qualitatively in any respect from, say, the axioms necessary for the
definitions of the integers.11
However, Hilbert did not specify what this analogy of expression among
the axioms of arithmetic and the axioms of analysis consists of, nor did he
10
Van Heijenoort 1967, 137. Proposition number 6 is precisely ݏ൫ ݔݑሺሻ ൯ ൌ ͳݑ,
which could be read as “At least for one ݔݑ, the successor of ݔݑis ͳݑ.”
11
Ibid., 137-38.
136 Chapter Fourteen
Fig 14-1. Logische Principien des mathematischen Denkens. Lecture notes by Max
Born. Unpublished manuscript.
In the summer semester of 1905, just a few months after the Heidelberg
conference, Hilbert taught a course entitled Logische Principien des
mathematischen Denkens (Logical Principles of Mathematical
The Consistency of Analysis 137
15
The central figure in the absorption of Principia in Göttingen was Heinrich
Behmann (1891-1970), who gave four different talks between 1914 and 1917 on
the logical achievements of that work in the Colloquium of the Göttingen
Mathematical Society. In 1918, he obtained his doctorate with a thesis entitled Die
Antinomie der trans¿niten Zahl und ihre AuÀösung durch die Theorie von Russell
und Whitehead (The Antinomy of Trans¿nite Numbers and its Resolution by the
Theory of Russell and Whitehead), written under the supervision of Hilbert. See
Mancosu (1999, 304-305).
CHAPTER FIFTEEN
1
Reid 1970, 105.
140 Chapter Fifteen
mechanics. The next lecture courses on the same topic were taught in
1905/06 and 1906/07, which shows Hilbert’s renewed interest in this
subject.2 However, from then and until 1910, he taught no additional
courses on physical matters.
The contact of Minkowski with physics was closer. He had already
lectured on mechanics at the Federal Polytechnical School in Zürich,
where Walter Ritz (1878-1909), Albert Einstein, and Marcel Grossmann
(1878-1936) were among his students. From 1902, he also lectured on
these subject and other related topics at the University of Göttingen. From
1907 and until his death in 1909, Minkowski dedicated much efforts to the
study of electrodynamics and the principle of relativity. He was indeed the
first mathematician in Germany to take an interest in relativity theory and
the main protagonist in the mathematical reformulation of this theory.
In 1905, the Hungarian Academy of Science instituted a prize of
10,000 gold crowns, a very generous amount for the time, for the
mathematician who had contributed most significantly to the progress of
mathematics in the last 25 years. The award, later known as the Bolyai
Prize in honour of the Hungarian mathematician János Bolyai, one of the
discoverers of non-Euclidean geometry, fell into the hands of Henri
Poincaré. However, as a courtesy to Hilbert, the committee that granted
the prize unanimously voted that in the report sent to the Academy to
justify their election they would put Hilbert’s contributions to mathematics
on an equal footing with those of Poincaré. Klein, who was one of the
members of the committee, would recognize later that the prize was
awarded to Poincaré for the generality and breadth of his contributions to
mathematics and ventured that “Hilbert will yet encompass as
comprehensive a field as Poincaré!”3 Klein was not wrong. In fact, Hilbert
was doing at that time what would perhaps be his most important
contribution to mathematics and, undoubtedly, the coronation of his
contributions to mathematical analysis: his research on what would later
be called Hilbert spaces.
Following the seminar conducted with Hilbert, Minkowski turned his
attention to the theory of heat radiation. In 1906 he gave a lecture on
recent work in this area by Max Planck (1858-1947) and Walther Nernst
(1864-1941) for the Göttingen Mathematical Society, and in the summer
semester of 1907 he also offered a course on this subject. Minkowski’s
2
Since the founding of physical institutes in the 1870s, theoretical physics had
become the affair of specialists like Max Planck or Ludwig Boltzmann (1844-
1906). However, mathematicians stayed up-to-date with the latest research in
analytical mechanics and usually taught this subject in universities.
3
Ibid., 106.
Minkowski and the Early Reception of Relativity Theory at Göttingen 141
course notes indicate that he was familiar with Planck’s pioneering article
on relativistic thermodynamics, in which he praised Einstein’s relativity
paper. On October 9, 1907, Minkowski wrote to Einstein to request an
offprint of his 1905 paper to discuss it in his seminar with Hilbert on the
electrodynamics of moving bodies. On November 5, 1907, he gave a
lecture about Space and Time entitled “The Relativity Principle” in the
Göttingen Mathematical Society.
Einstein’s achievements came to Minkowski as a great surprise, since
he did not believe Einstein possessed the mathematical background
necessary to create such a theory. Remembering the year in which he had
Einstein as a student in Zürich, Minkowski once exclaimed: “Ach, der
Einstein, der schwänzte immer die Vorlesungendem hatte ich das gar
nicht zugetraut!” (Oh, that Einstein, always missing lectures࣓I really
would not have believed him capable of it!).4 He also once admitted to his
student Max Born, that “for me it came as a tremendous surprise, for in his
student days Einstein had been a real lazybones. He never bothered about
mathematics at all.”5
In 1906, while continuing his abstract research on integral equations
and function spaces, Hilbert taught a course on calculus for first year
students and began his ski classes. In the spring, Hilbert bought a bicycle
and at age 45 he started learning to ride a bicycle. Unlike skiing, which
was nothing more than a momentary pastime, bicycle trips, hiking or
gardening, often accompanied his creative part. Thus, Hilbert, who often
worked in the garden of his house, writing on a large blackboard that was
hanging on the wall of his neighbour, could stop his creative work for a
while and go biking, prune a tree or dig a hole in the garden to plant
something. Shortly afterwards, according to Courant, who often watched
Hilbert working in the garden of his house from the balcony of his room,
he would continue with the problem he had left in a “fantastic balance
between intense concentration and complete relaxation.”6
Richard Courant had begun his studies at the University of Breslau
where he had become friends with Otto Toeplitz and Ernst Hellinger, who
were a bit older than him. When they left for Göttingen, they convinced
Courant to join them, because the academic level of Göttingen was much
higher than that of Breslau. When Courant arrived in Göttingen in 1907,
he attended Minkowski and Hilbert’s courses and a year later he became
Hilbert’s assistant, a post that he held during four semesters. In 1910 he
obtained his doctorate with a thesis on the Dirichlet principle and in 1912
4
Ibid., 105.
5
Seelig 1956, 28.
6
Reid 1970, 109.
142 Chapter Fifteen
he got the venia legendi with a habilitation thesis about the existence
proofs in mathematics. However, it was not until 1918, after the Great War
had finished, that he started working as an associated professor in
Göttingen.
In the summer of 1908 Hilbert fell into a depression caused, according
to Blumenthal, by his imprudent physical and mental excesses, in any case
without any other reason or a known external cause. Because of this, he
entered a sanatorium in the Harz mountains near Göttingen. There he
rested for a few months and once he recovered he returned to classes in the
fall of that same year. Meanwhile, Minkowski was at the top of his
creative activity.
On December 21, 1907, Minkowski had presented a talk to the
Göttingen scientific society, which was published on 5 April 1908, in
Göttinger Nachrichten under the title “Die Grundgleichungen für die
elektromagnetischen Vorgänge in bewegten Körpern” (“The Basic
Equations for Electromagnetic Processes in Moving Bodies”). On
September 21, 1908, in the 80th annual general meeting of the Society of
German Scientists and Doctors at Köln (Cologne), Minkowski presented
his famous talk “Raum und Zeit” (“Space and Time”). In it he presented
his famous mathematical model, the so-called Minkowski space-time. In
this model it was possible to represent mathematically the physical
properties of the universe described by Einstein’s theory of special
relativity, according to which the notions of space and time cease to be
absolute and become indissolubly united.
Recovered from his illness, in the fall of 1908 Hilbert attacked a well-
known problem of number theory. The English mathematician Edward
Waring (1734-1798) had conjectured in his Meditationes Algebraicae
(1770) that every natural number could be expressed as a sum of at most
four squares, nine cubes or nineteen fourth powers and, in general, as a
finite number of ݊-powers. This assertion has been traditionally
interpreted as saying that every positive integer can be expressed as a sum
of at most ݃ሺ݇ሻ ݇ powers of positive integers, where ݃ሺ݇ሻ depends only
on ݇, not on the number being represented.7 The case ݇ ൌ ʹ had been
stated by Fermat in 1640 and, after long withstanding unsuccessful attacks
by Euler, it was finally proved by Lagrange in 1770, who showed that
each positive integer could be expressed as a sum of at most four squares
7
So, for example, Waring speculated that ݃ሺʹሻ ൌ Ͷ, ݃ሺ͵ሻ ൌ ͻ and ݃ሺͶሻ ൌ ͳͻ,
that is, it takes no more than 4 squares, 9 cubes, or 19 fourth powers to express any
integer.
Minkowski and the Early Reception of Relativity Theory at Göttingen 143
8
Ibid., 114.
144 Chapter Fifteen
Fig. 15-1 From left to right: Poincaré, Gösta Mittag-Leffler (1846-1927), Runge
and Landau at Hilbert’s home on the occasion of Klein’s sixtieth birthday.
146 Chapter Fifteen
9
See Peckhaus (1990, 4-22).
10
Reid 1970, 125.
Minkowski and the Early Reception of Relativity Theory at Göttingen 147
The first decade of the 20th century had been undoubtedly a golden age
for physics: Heinrich Hertz had found the existence of the electromagnetic
waves predicted by James Maxwell (1831-1879), Wilhelm Röntgen (1845-
1923) had discovered X-rays, the Curies radioactivity, 1 Joseph John
Thomson (1856-1940) electrons, Albert Einstein had formulated the
special theory of relativity and Max Planck quantum theory. However,
Hilbert and other mathematicians of the time thought it lacked a certain
rigor in the development of theoretical physics. Now, according to Hilbert,
this rigor could only be achieved through the axiomatic method. “Physics,
Hilbert exclaimed on an occasion, is much too hard for physicists.” 2
Therefore, it was time for Hilbert to attack the problem, which he had put
in the sixth place of his famous Paris list, to axiomatize physics.
Although Hilbert’s mathematical efforts were concentrated until 1912
on mathematical problems and more specifically, on the theory of linear
integral equations, after Minkowski’s death he returned to lecture on
physical issues. Thus, after teaching mechanics and continuum mechanics
in the winter and summer semester of the academic year 1910/11, Hilbert
also taught statistical mechanics in the winter semester of 1911/12, and
kinetic gas theory and radiation theory in the winter and summer semester
of 1911/12. However, the decisive turn in Hilbert’s research interests
occurred in 1912, once he had finished his monograph on the theory of
linear integral equations. For now he considered the applications of this
theory as a means of clarifying the foundations of kinetic theory and
radiation theory. Hilbert’s idea was basically to apply the axiomatic
method and his theory of integral equations to specific branches of physics
as a concrete accomplishment of his axiomatization program of physics
postulated in Paris. The two fields that Hilbert attacked were first the
kinetic theory of gases and then the elemental theory of radiation, fields
whose concepts necessarily led to integral equations as the only possible
1
Marie Curie (1867-1934) and Pierre Curie (1859-1906).
2
Reid 1970, 127.
150 Chapter Sixteen
expression of the data. Hilbert would devote his efforts during the next
few years almost exclusively to mathematical physics.
6
Schulmann 1998, 147.
7
Hilbert 2009, 10-11.
154 Chapter Sixteen
During the following months, Hilbert dedicated all his efforts to what
he called Die Grundlagen der Physik (The Foundations of Physics), that
is, the formulation of a unified theory of gravitational fields based on
Gustav Mie’s (1869-1957) electromagnetic theory of matter. On
November 20, 1915, Hilbert presented for publication in the Nachrichten
of the Mathematical-Physical Class of the Göttingen Academy of Science
his “First Communication” on “The Foundations of Physics.” Almost at
the same time, Einstein presented to the Prussian Academy of Berlin a
series of four papers (each separated from the other by a week: the 4th,
11th, 18th and 25th of November) in which he expounded his final version
of the theory of general relativity. Hilbert’s communication and Einstein’s
fourth note presented for the first time the generally covariant equations
for the gravitational field.
Since Hilbert’s paper was presented five days before Einstein’s
definitive paper on the topic, some historians have suggested the priority
of Hilbert over Einstein in the formulation of a generally covariant theory
of gravitation, including field equations. However, Hilbert’s paper did not
appear until 31 March 1916 and when Hilbert submitted his text on 20
November 1915 it did not contain these equations. Through a close
analysis of Hilbert’s papers, L. Corry, J. Renn and J. Stachel have
discovered a first set of proofs of the paper, bearing a printer’s stamp of
December 6, which displays substantial differences from the published
version. In particular, these historians emphasize the fact that the proofs do
not yet contain the explicit form of the gravitational field equations in
terms of the Ricci tensor and the Riemann curvature scalar.8 Only later,
some time after 6 December, could Hilbert have added the key passage
containing the gravitational field equations into the page proofs. Thus, it
seems that Hilbert did not anticipate Einstein in the formulation of these
equations.
The intense epistolary exchange between Einstein and Hilbert on
November 1915 and the shipment of their respective publications shows
the engagement of Hilbert in the mathematical formulation of the theory of
general relativity. This provoked a certain suspicion on the part of Einstein
about the partaking or “nostrification” (Nostrifizierung) of his theory by
Hilbert, but the fact is that Hilbert never claimed priority and often
admitted privately and publicly that the great idea was Einstein’s. 9 On
8
See Corry, Renn and Stachel (1997).
9
On November 26, 1915 a day after Einstein presented the final version of the
field equations he wrote his close friend Heinrich Zangger: “The general relativity
problem is now finally dealt with. The perihelion motion of Mercury is explained
wonderfully by the theory […] The theory has unique beauty. Only one colleague
Hilbert’s Foundations of Physics 155
December 20, 1915, Einstein wrote to Hilbert that “there has been certain
resentment between us, the cause of which I do not want to analyse. I have
fought against the associated feeling of bitterness with complete success. I
think of you again with unmixed kindness, and I ask you to try to do the
same with me. It is objectively a shame when two real guys that have
emerged from this shabby world do not give each other a little pleasure.”10
On 4 December 1915, Hilbert had presented to the Göttingen Academy
of Sciences a “Second Communication” on the “Foundations of Physics.”
However, its processing was postponed and a second version of it was
presented to the Academy on 26 February 1916, which was also
withdrawn from print at the beginnings of March. By mid-February
offprints of Hilbert’s First Communication were available and it is
presumable that Hilbert sent a copy to Einstein together with an invitation
to visit Göttingen again. Einstein’s response form 18 February did not
mention Hilbert’s paper but did state his intention to visit Göttingen. He
probably arrived there on 2 March 1916 and remained in Göttingen as
Hilbert’s guest for a few days.
In the March 1916 printed version of his November 20 paper, Hilbert
added a reference to Einstein’s November 25 paper and wrote: “the
differential equations of gravitation that result are, as it seems to me, in
agreement with the magnificent theory of general relativity established by
Einstein in his last papers.” 11 On May, 27, 1916 Hilbert invited again
Einstein to visit Göttingen again and stay with him; but in spite of several
invitations over the next few years, Einstein never came, although they
continued to correspond over issues connected with Hilbert’s paper.
has understood it really, but he tries in a tricky way to ‘nostrify’ it (an expression
due to Abraham). In my personal experience I have not learnt any better the
wretchedness of the human species as on occasion of this theory and everything
related to it. However, that does not concern me in the slightest.” Einstein to
Zangger, CPAE 8, Doc. 152
10
Einstein to Hilbert, CPAE 8, Doc. 167.
11
Cited from Corry, Renn and Stachel (1997, 344). It is worth mentioning,
however, that Hilbert did not only cite Einstein’s fourth note in this passage, but he
also pointed out that the derivation of the explicit form of the Einstein’s equations
form the variational formulation is indeed trivial.
156 Chapter Sixteen
When the summer semester began, Hilbert had a new assistant for physics,
the mathematician Richard Bär (1892-1940). During this semester he
lectured on partial differential equations in continuation of the lecture
course on ordinary differential equations given in the previous semester.
Hilbert’s Foundations of Physics 157
12
Cited from Corry (2004, 430).
CHAPTER SEVENTEEN
1
These are Logische Prinzipien des mathematischen Denkens (SS 1905),
Prinzipien der Mathematik (SS 1908, WS 1908/09), Elemente und
Prinzipienfragen der Mathematik (SS 1910, SS 1913), Logische Grundlagen der
Mathematik (WS 1911/12) and Probleme und Prinzipienfragen der Mathematik
(WS 1914/15).
2
These are Prinzipien der Mathematik (WS 1917/18), Logik-Kalkül (WS 1920),
Probleme der mathematischen Logik (SS 1920); Grundlagen der Mathematik (WS
1921/22); and Logische Grundlagen der Mathematik (WS 1922/23 and WS
1923/24).
3
According to Constance Reid, Hilbert would have visited Zürich in the spring of
1917 and arranged an excursion with two young mathematicians from the circle of
Hurwitz: George Pólya (1887-1985) and Paul Bernays. Surprisingly for both, in
160 Chapter Seventeen
between the two men in the field of logic and the foundations of
mathematics that would culminate in one of the landmark works of the
twentieth century in this field: Grundlagen der Mathematik (The
Foundations of Mathematics), coauthored by Hilbert and Bernays and
published in two volumes at the beginning of the thirties.
The Zürich conference, entitled “Axiomatisches Denken” (“Axiomatic
thought”), supposed Hilbert’s public return, after the Heidelberg
conference in 1904, to the field of logic and the foundations of
mathematics. As we already know, in this talk Hilbert praised the
axiomatization of logic carried out by Whitehead and Russell at Principia
Mathematica (1910-13), describing it as “the crowning achievement of the
work of axiomatization as a whole,”4 but at the same time, he resumed the
subject of proof theory, which he had set aside since the 1904 conference.
In Principia, Russell and Whitehead expounded their well-known
solution of the Russell paradox and other paradoxes through the theory of
ramified types, a solution that Russell had previously exposed in the paper
“Mathematical Logic as based on the theory of types” (1908). Moreover,
in Principia the theory of ramified types is also applied to reduce the
whole edifice of mathematics to logic. The profound impact that the
Russell paradox had in Hilbert’s consistency program (see Chapter 13) and
the fact that Russell’s logicism offered a solution to Hilbert’s quest for the
consistency of mathematics explains the interest in Hilbert’s circle at
Göttingen for knowing Russell’s mathematical logic and, to a certain
extent, the growing interest in logic and the foundations of mathematics in
Göttingen from 1914 on.5
Because of the influence of Principia Mathematica and of Poincaré’s
criticism of his Heidelberg talk of 1904, Hilbert abandoned the project of a
joint development of logic and arithmetic to attack the proof of the
consistency of analysis and called for a reduction of the axioms of
arithmetic to logic. As Hilbert writes in the lecture notes Mengenlehre:
the ride uphill to the Zürichberg there was no talk of mathematics, but of
philosophy. Bernays, who had studied a bit of philosophy in Göttingen and was a
friend of Leonard Nelson, had then much more to say than Pólya, so when they
finished the excursion, Hilbert asked him to be his assistant at Göttingen (Reid
1970, 151-52). We have followed here the datation given in Hilbert (2013) of
Hilbert’s visit to Zürich (See Hilbert 2013, 35-36, n. 9, for more information on
this topic).
4
Hilbert 1965, vol. 3, 152. (Ewald 1996, vol. 2, 1113).
5
As we have already explained, the central figure in the absorption of Principia in
Göttingen was Heinrich Behmann (see Chapter 14, n. 15).
Beyond Principia Mathematica 161
If we set up the axioms of arithmetic but forego their further reduction and
take over uncritically the laws of logic, then we have to realize that we
have not overcome the difficulties for a first philosophical-epistemological
foundation; rather, we have just cut them off in this way.6
Hilbert then asks “to what we can further reduce the axioms” and responds
himself “to the laws of logic!”7 All this certainly put logic in the forefront
of Hilbert’s research on the foundations of mathematics. However, as
Bernays would later remark in his article “Hilbert Untersuchungen über
die Grundlagen der Arithmetik” (“Hilbert’s investigations on the
foundations of arithmetic”) (1935), Principia Mathematica could only
provide an “empirical confidence” of the consistency of the logical
axioms, not “complete certainty” as Hilbert sought, because the only thing
that can be done in the framework of Principia in this regard is to derive
theorems and to see that no contradiction follows from them. Thus, the
problem of proving the consistency of the axioms of logic and, with it, that
of proving the consistency of arithmetic and set theory, still remained
open. Moreover, as Hilbert writes in Axiomatisches Denken:
When we consider the matter more closely we soon recognize that the
question of the consistency of the integers and of sets is not one that stands
alone, but that it belongs to a vast domain of difficult epistemological
questions which have a specifically mathematical tint: for example (to
characterize this domain of questions briefly) the problem of the solvability
in principle of every mathematical question, the problem of the subsequent
checkability of the results of a mathematical investigation, the question of
a criterion of simplicity for mathematical proofs, the question of the
relationship between content and formalism in mathematics and logic, and
finally the problem of decidability of a mathematical question in a finite
number of operations.8
Hence, Hilbert continued, “we cannot rest content with the axiomatization
of logic until all questions of this sort and their interconnections have
been understood and cleared up.”9 All these issues and, in particular,
the decidability of a mathematical question in a finite number of
steps, seem to Hilbert “to form an important new field of research which
remain to be developed. To conquer this field we must, I am persuaded,
make the concept of mathematical proof itself into a specific object of
6
Quoted in Sieg (2013, 100).
7
Ibid.
8
Hilbert 1965, vol. 3, 152. (Ewald 1996, vol. 2, 1113).
9
Ibid.
162 Chapter Seventeen
the end of the Heidelberg conference of 1904 and will develop in a series
of lecture courses, talks and papers along the twenties.
In short, Hilbert’s insight was to apply the axiomatic method to the
logic of Principia, which, as Russell and Whitehead have
“experimentally” demonstrated, it can be used to provide a foundation for
mathematics. However, Principia Mathematica could only provide an
“empirical confidence” in the consistency of the logical axioms. So the
first step in Hilbert’s renewed program for the foundation of mathematics
was to present logic as a formal axiomatic system in such a way that the
axiomatic method could be applied to it in order to assail a “complete
certainty” about the consistency of its axioms. This was precisely the aim
of Hilbert’s next lectures.
After the Zürich conference, Hilbert announced for the winter semester
of 1917/18 the intriguing lecture course Prinzipien der Mathematik, the
protocols of which were prepared by Bernays. These lecture notes deserve
to be studied not only because Hilbert and Ackermann relied on them to
write his famous book Grundzüge der theoretischen Logik (Principles of
theoretical logic) (1928), but also because they presented, for the first time
in history, first-order logic as a separate and independent system from
second and higher-order logics and raised for the former logic the same
metalogical questions that had been posed for propositional logic in the
lecture notes of 1905. Indeed, as remarked by W. Ewald and W. Sieg, they
“are an historical milestone, fully comparable in importance to Frege’s
Begriffschrift and to Whitehead and Russell’s Principia Mathematica.”11
In these lecture notes Hilbert calls restricted function calculus what
we now call (many-sorted) first-order logic, that is, the logical calculus in
which only quantification of individual variables (i.e., variables whose
rank is a collection of individuals) is allowed. In order to present the
restricted function calculus as a formal axiomatic system, Hilbert first
enunciates all the primitive symbols: the variables and constants:
individual, propositional and functional; the logical symbols: negation,
disjunction and the universal quantifier (the rest of logical connectives and
the existential quantifier are introduced as auxiliary symbols); and, finally,
parentheses. Once this has been done, Hilbert defines the admissible
expressions of the calculus, that is, the formulas of first-order logic
recursively in metalanguage.
The importance of defining the formulas of language recursively lies in
the fact that it allows to treat these formulas as purely syntactic objects,
that is, as strings of symbols devoid of any meaning, which made it
possible to prove statements about all the first-order formulas. This
11
Hilbert 2013, 10.
164 Chapter Seventeen
12
Hilbert 1917/18, 187 (Hilbert 2013, 179).
13
Ibid., 232 (206).
Beyond Principia Mathematica 165
develop the foundations of set theory and analysis from the system of
functions of our calculus.”14
These remarks clearly indicate that Hilbert’s allegiance to logicism was
not complete. The problem was that the introduction of the axiom of
reducibility requires the expansion of the system of basic properties and
relations in such a way that the axiom is satisfied. But this cannot be
achieved in a purely logical constructive way. Thus, as remarked by
Hilbert in the lecture course Grundlagen der Mathematik (1921/22):
There remains only the possibility to assume that the system of predicates
and relations of the first-level is an independently existing totality
satisfying the axiom of reducibility. In this way we return to the axiomatic
standpoint and give up the goal of a logical foundation of arithmetic and
analysis. Because now a reduction to logic is given only nominally.15
By the end of 1918 the Great War was over and the effects on Göttingen
were evident: The Lesezimmer presented many holes in its collection,
some professors such as Debye or Carathéodory left Göttingen and the
construction of the Mathematical Institute was postponed sine die. The
conditions of life also worsened remarkably: food was scarce, the
Papiermark (paper mark) lost a good part of its value and, in general, the
14
Ibid.
15
Hilbert 1921/22, 232.
16
Van Heijenoort 1967, 473.
166 Chapter Seventeen
future did not look good.17 On November 18, 1919, Hurwitz died and for
the second time, Hilbert adressed the Göttingen Scientific Society to pay a
heartfelt tribute to the memory of a friend of his youth.
The year of 1919 was also when Wilhelm Ackermann returned to
Göttingen. Ackermann had entered the University of Göttingen in 1914 to
study mathematics, physics and philosophy. But the outbreak of the First
World War meant that he had to join the ranks in 1915 and remain in the
army until 1919. That year he resumed his studies at Göttingen, obtaining
his doctorate in 1925 with a thesis entitled Begründung des “tertium non
datur” mittels der Hilbertschen Theorie der Widerspruchsfreiheit
(Foundation of the “tertium non datur” by means of Hilbert’s theory of
non-contradiction), written under the supervision of Hilbert. Although it
contained significant mistakes, Ackermann’s thesis was of particular
interest to Hilbert as it was the first non-trivial example of a finitist proof
of a part of elementary analysis (more concretely, of arithmetic without
induction).
After successfully defending his thesis, Ackermann went to Cambridge
with a scholarship from the Rockefeller Foundation. He remained there the
first half of 1925 and returned later to Göttingen, where he became,
together with Bernays, Hilbert’s main collaborator in questions related to
logic and the foundations of mathematics. One of the fruits of this
collaboration was the development of a logical system, called epsilon
calculus, originally devised by Hilbert and that would play a fundamental
role in Hilbert’s proof theory. Another fruit of the collaboration between
Hilbert and Ackermann was the writing of the book Grundzüge der
theoretischen Logik (Elements of theoretical logic), published in 1928.
Although, as the authors acknowledge in the preface, Grundzüge der
theoretischen Logik is based entirely on the lectures notes of 1917/18 and
the first edition of the book appeared ten years after Hilbert’s lectures in
Göttingen, the importance of Hilbert’s and Ackermann’s book in the
history of contemporary logic should not be underestimated. Firstly,
because the book allowed the dissemination outside the University of
Göttingen of the direction that the logical investigations of Hilbert’s circle
of collaborators (particularly Bernays and Ackermann) were taking.
Secondly, because Grundzüge der theoretischen Logik soon occupied the
17
In 1914 the Goldmark was replaced by the Papiermark in order to finance the
war effort. From 1918 the continuing loose money policy resulted in inflation, and
in 1923, in hyperinflation.
%H\RQGPrincipia Mathematica
7KH/DQJXDJHRI6HQWHQWLDO&DOFXOXV:HVKDOOHPSOR\FDSLWDOLWDOLF
OHWWHUV ܺǡ ܻǡ ܼǡ ܷǡ ǥ WR VWDQG IRU VHQWHQFHV 7R LQGLFDWH WKH ORJLFDO
FRPELQDWLRQ RI VHQWHQFHV ZH VKDOO LQWURGXFH WKH IROORZLQJ ILYH
V\PEROV
ܺതUHDG³QRWܺ´VWDQGVIRUWKHRSSRVLWHRUFRQWUDGLFWRU\RIܺ
WKDWLVIRUWKDWVHQWHQFHZKLFKLVWUXHLIܺLVIDOVHDQGZKLFKLV
IDOVHLIܺLVWUXH
ܺƬܻUHDG³ܻܺܽ݊݀´VWDQGVIRUWKHVHQWHQFHZKLFKLVWUXH
LIDQGRQO\LIERWKܺDQGܻDUHWUXH
ܺ ܻ שUHDG³ܺ´ܻݎVWDQGVIRUWKHVHQWHQFHZKLFKLVWUXHLI
DQGRQO\LIDWOHDVWRQHRIWKHWZRVHQWHQFHVܺǡ ܻLVWUXH
ܺ ՜ ܻ UHDG ³݂݅ܺ ´ܻ݄݊݁ݐVWDQGV IRU WKH VHQWHQFH ZKLFK LV
IDOVHLIDQGRQO\LIܺLVWUXHDQGܻLVIDOVH
ܺ ܻ UHDG ³݂ܺ݅ܽ݊݀ ´ܻ݂݅ݕ݈݊DOVR ZULWWHQ ܺ ՞ ܻ R
ܺ ܻ VWDQGV IRU WKH VHQWHQFH ZKLFK LV WUXH LI DQG RQO\ LI
ܻܺDUHERWKWUXHRUERWKIDOVH
7KH /DQJXDJH RI 3UHGLFDWH &DOFXOXV $PRQJ WKH V\PEROV ZKLFK
RFFXULQWKHSUHGLFDWHFDOFXOXVWKHUHDUHILUVWDOOYDULDEOHVRIGLIIHUHQW
NLQGV>@:HGLVWLQJXLVKDPRQJ
6HQWHQWLDOYDULDEOHVܺǡ ܻǡ ܼǡ ǥ
,QGLYLGXDOYDULDEOHVݔǡ ݕǡ ݖǡ ǥ
3UHGLFDWHYDULDEOHVܣǡ ܤǡ ܥǡ ǥ ܨǡ ܩǡ ܪǡ ǥ
>Hilbert and Ackermann have previously introduced:@
8QLYHUVDO4XDQWLILHUሺݔሻܣሺݔሻUHDG)RUDOOܣݔሺݔሻLVWUXH
([LVWHQWLDO 4XDQWLILHU ሺݔܧሻܨሺݔሻ UHDG ³7KHUH H[LVWV DQ ݔIRU ZKLFK
ܣሺݔሻLVWUXH´
5HFXUVLYH 'HILQLWLRQ RI )RUPXOD %\ WKH WHUP IRUPXOD ZH QRZ
XQGHUVWDQG WKRVH DQG RQO\ WKRVH FRPELQDWLRQV RI V\PEROV RI RXU
FDOFXOXV ZKLFK PD\ EH VKRZQ WR EH VXFK E\ D ILQLWH QXPEHU RI
DSSOLFDWLRQVRIWKHIROORZLQJUXOHV
$VHQWHQWLDOYDULDEOHLVDIRUPXOD
3UHGLFDWH YDULDEOHV ZKRVH DUJXPHQW SODFHV DUH ILOOHG E\
LQGYLGXDOYDULDEOHVDUHIRUPXODV
,IDQ\FRPELQDWLRQिRIV\PEROVLVDIRUPXODWKHQॏ ഥ LVDOVRD
IRUPXOD
,IिDQGीDUHIRUPXODVVXFKWKDWWKHVDPHLQGLYLGXDOYDULDEOH
GRHVQRWRFFXUERXQGLQRQHRIWKHPDQGIUHHLQWKHRWKHUWKHQ
cont. p. 168
168 Chapter Seventeen
18
Hilbert 1917/18, 152 (Hilbert 2013, 157).
19
Hilbert and Ackermann 1928, 68.
CHAPTER EIGHTEEN
The year 1908 was not just the year when Russell and Zermelo published
for the first time their answers to the problem of paradoxes, the theory of
logical types and the axiomatic theory of sets, but also the year in which
the Dutch mathematician Luitzen Egbertus Jan Brouwer (1881-1966)
published his famous article: “Onbetrouwbaarheid der logische principes”
(“On the Unreliability of the Logical Principles”), which can be
considered the first manifesto of the intuitionist current, one of the most
important and influential trends in the field of logic and the foundations of
mathematics of the 20th century.
As a program for the foundation of mathematics, Brouwerian
intuitionism emerged in clear opposition to Frege and Russell’s logicism
and to Hilbert’s formalism, so that the controversy with these two schools
was somewhat inevitable. This was already apparent in Brouwer’s doctoral
thesis entitled Over der Grondslagen der Wiskunden (On the Foundations
of Mathematics) (1907), where he lashed out not only against the attempts
of logicists and formalists to reduce mathematics to a mechanical
manipulation of symbols, but also against those authors like Hilbert and
Poincaré who identify the existence of a mathematical system with the
absence of contradiction, that is, with its consistency. For Brouwer, to
prove the existence of a mathematical object it was necessary to construct
it in our intuition.
Brouwer identified mathematics with the process or constructive
activity of the human mind from elements of what he called the primordial
intuition of time. By defining mathematics as a constructive thought-
activity from intuition, Brouwer always insisted on the fact that this
activity is non-linguistic. This radical distinction between mathematics and
mathematical language also brought with it an equally and absolute
distinction between mathematics and logic. Brouwer, in effect, defined
theoretical logic as an application of mathematics to the language of
logical reasoning, which is a particular case of mathematical reasoning,
172 Chapter Eighteen
1
Brouwer 1975, 73.
2
Ibid., 109.
3
Ibid., 110.
The Great Debate on the Foundations of Mathematics 173
The first to react to Brouwer and Weyl’s challenge was not a sleeper, but
the most prominent and active mathematician of the time, David Hilbert,
who launched a counterattack the same year. Hilbert saw Brouwer and
Weyl’s constraints on mathematics–rejection of the principle of excluded
middle for infinite totalities, non-acceptance of pure existence proofs,
anathematization of the actual infinite, artificial importation of the vicious
circle principle in analysis, etc.–as a threat to the whole of mathematical
heritage and to his own contributions to mathematics. It was then natural
that Hilbert was the first to react to Weyl’s challenge and that he saw in
Brouwer’s and Weyl’s intuitionist programme the return of Kronecker’s
constraints on mathematical practice. Hilbert first reaction came in a series
of lectures delivered in Copenhagen and Hamburg, which were published
(at least partially) the following year in the article “Neubegrundung der
Mathematik. Erste Mitteilung” (“New foundations of mathematics. First
Communication”) (1922):
What Weyl and Brouwer do amounts, in principle, to following the
erstwhile path of Kronecker: they seek to ground mathematics by throwing
overboard all phenomena that make them uneasy and by establishing a
dictatorship of prohibitions à la Kronecker. But this means to dismember
and mutilate our science, and if we follow such reformers, we run the
danger of losing a large number of our most valuable treasures.6
Among the treasures to be lost following Brouwer and Weyl’s path Hilbert
cites, among others, the general concept of irrational number, the
transfinite numbers of Cantor and the principle of excluded middle. But as
4
Mancosu 1998, 99.
5
See Hesseling 2003, Chapters IV and V.
6
Mancosu 1998, 200.
The Great Debate on the Foundations of Mathematics 175
said before, he could also have cited his finite basis theorem. Fortunately,
continues Hilbert, “Weyl and Brouwer will be unable to push their
programme through. No; Brouwer is not, as Weyl believes, the revolution,
but only a repetition, with the old tools, of an attempted putsch.”7
Before Hilbert’s conference was published, Paul Bernays gave a
lecture at the Mathematikertagung in Jena entitled “Über Hilbert’s
Gedanken zur Grundlegung der Arithmetik” (“On Hilbert’s thoughts
concerning the grounding of arithmetic”) (1922). Hilbert again spoke on
the foundations of mathematics in 1922. This time in a lecture entitled
“Die logischen Grundlagen der Mathematik” (“The logical foundations of
mathematics”) (1923), delivered to the Society of German Scientist and
Doctors and published the following year in Mathematische Annalen.
Here, as in his 1921 lecture in Hamburg, Hilbert presented his own
proposal for a definitive solution to the problem of the foundations of
mathematics imbued with the philosophical standpoint necessary to
answer Brouwer and Weyl’s criticisms: finitism. In 1923, the
mathematician and set-theorist Abraham Fraenkel entered the scene,
becoming the main commentator of the foundational debate during the
twenties. Other early participants in the debate were Julius Wolff (1882-
1945), Paul Finsler (1894-1970), Richard Baldus (1885-1945) and Oskar
Becker (1889-1964).
In the meanwhile, Brouwer developed his campaign for intuitionism
following a double path. On the one hand, he espoused the basic parts of
intuitionistic mathematics in the papers “Zur Begründung der
intuitionistischen Mathematik, I, II, III” published in 1925, 1926 and 1927
in Mathematische Annalen. On the other hand, he furnished new
constructive proofs of classical and intuitionist theorems of algebra and
analysis. Of this kind are, for instance, the papers “Besitz jede reelle Zahl
eine Dezimalbruchentwickelung hat?” (“Does every real number have a
decimal expansion?”) (1921), “Intuitionistischer Beweis des
Fundamentalsatzes der Algebra” (“Intuitionist proof of the fundamental
theorem of algebra”) (1924),8 and “Beweis dass jede volle Funktion
gleichmässig stetig is” (“Proof that every full function is uniformly
7
Ibid. Hilbert refers here to Kronecker’s “dictatorial prohibitions” of everything
that was not for him an integer.
8
This paper was written together with his Ph. D. student B. de Loor. It presents an
intuitionistic proof of the fundamental theorem of algebra, which states that every
algebraic equation ݔ ܽିଵ ݔିଵ ڮ ܽଵ ݔ ܽ ൌ Ͳ, with complex
coefficients, has a complex solution. The problem with the usual proofs of this
theorem, beginning with Gauss, was that they proceed by reductio ad absurdum
and so they were not admissible from the intuitionistic standpoint.
176 Chapter Eighteen
9
This result is often called Brouwer’s Theorem and follows from it that (in
intuitionistic mathematics) every function from Թ to Թ is continuous.
The Great Debate on the Foundations of Mathematics 177
10
See “Diskussionsbemerkungen zu dem zweiten Hilbertschen Vortrag über die
Grundlagen der Mathematik” (“Comments on Hilbert’s Second Lecture on the
Foundations of Mathematics”) (1927).
178 Chapter Eighteen
This was not the only battle lost by Brouwer in 1928. That was also the
year in which an unpleasant conflict, the so-called Annalenstreit, took
place in the editorial board of the Mathematische Annalen. Shortly after
his return from Bologna, Hilbert sent a short letter to Brouwer in which he
informed him of his dismissal from the editorial board of the journal. The
only reason given by Hilbert was that he could not continue to work with
him because of the incompatibility of their points of view on fundamental
issues. With this Hilbert referred to the hostile position towards foreign
mathematicians that Brouwer had expressed in his editorial work in the
journal (for example, he had opposed the participation of some French
mathematicians in the special issue dedicated to Riemann) and to his
opposition to the participation of the German mathematicians in the
Bologna Congress. In the same letter, Hilbert also informed Brouwer that
he had the authorization of Blumenthal and Carathéodory to retire his
name from the next number of the journal, since its permanence in the
editorial board was not appropriate for the reasons mentioned.
At the time of Hilbert’s letter, the chief editors of the journal were
Hilbert, Einstein, Blumenthal and Carathéodory, while the editorial board
was formed by Bieberbach, Bohr, Brouwer, Courant, Walther von Dyck
(1856-1934), Otto Hölder (1859-1937), von Kármán and Sommerfeld.
Hilbert also wrote to Einstein, in order to ask for his support for the
dismissal of Brouwer, but Einstein preferred to stay neutral in this “frog
11
Curbera 2009, 83.
The Great Debate on the Foundations of Mathematics 179
between them, rather than philosophical discussions about the topics dealt
with in the debate. Among such contributions, are worth mentioning the
formalization of intuitionist logic (Heyting), its relationship with classical
logic (Gödel) and the relation among consistency, satisfiability and
existence (again Gödel).
Fig. 18-1 Brouwer (right) and Bohr at the International Mathematical Congress,
Zürich 1932.
CHAPTER NINETEEN
On November 9, 1918, just before First World War ended, Kaiser Wilhelm
II abdicated and fled to the Netherlands where he was protected by Queen
Wilhelmina. A new democratic government of Germany was declared in
February 1919 in the small town of Weimar. The so-called Weimar
Republic was faced from its beginnings with outrageous difficulties: the
enormous reparation payments to the Allied powers, a high rate of
unemployment and inflation completely out of control generated political
instability and a generalized sensation of confusion. However, beginning
in 1924, the overall situation began to improve and the period until 1929,
when the great depression began, became known as the Golden Age.
The feelings of the Göttingen academic staff and, particularly Hilbert,
were not that different from that of the rest of German academics:
The shock of defeat at the end of the First World War left many German
academics dumbfounded and numb. Even Hilbert, an outspoken
internationalist, was deeply disillusioned by the chaos and instability that
plagued the early Weimar years.1
Indeed, during the Weimar era Göttingen was “one of the strongest
outposts of support of the National Socialist Worker Party” and “in
national elections, the Nazis always fared far better in Göttingen than in
the state of Prussia at large.”2 Sympathy for the Nazis was also the
majority feeling among the student organizations and the politically active
professors.
The fraternal organizations that dominated student life in Gottingen had a
long history of anti-Semitism and were known for their reactionary
politics. When the Prussian Minister of Culture, Carl Heinrich Becker,
brought out a constitution for a National Student Union that made
discrimination by race and religion illegal, 86 percent of the Gottingen
student body voted against it. Rather than accept a Student Union in which
1
Rowe 2018, 315.
2
Ibid., 323.
182 Chapter Nineteen
Jews and other undesirables would be granted free access, they evidently
preferred to have none at all. Five years later the Nazis founded their own
student organization in Gottingen in 1926; they had attained an absolute
majority in the student congress. This shift to the right largely met with the
approval of the Gottingen faculty, as its members too had strong leanings
in this direction. Although they were not as radical as the students, most of
those who were politically active belonged to the two traditional parties of
the right: the German National Peoples’ Party (DNVP) and the German
Peoples’ Party (DVP).3
3
Rowe 1986, 445-46.
The Foundations of Quantum Mechanics 183
4
Ibid., 448.
184 Chapter Nineteen
5
After attending a conference by Leonard Nelson at the Pedagogical Society in
Göttingen on the Socratic method in December 1922, he became progressively
interested in philosophy and pedagogy. He is also known for being the instigator of
the so called “Urgent Call for Unity” from 1932, one of the last attempts by
intellectuals of the time (e.g., Albert Einstein, Käthe Kollwitz and others) to
prevent the takeover of power by Hitler and the Nazis.
The Foundations of Quantum Mechanics 185
mathematical scene of the 20s had just begun, Hilbert turned 60. To
celebrate the event, the journal Die Naturwissenschaften dedicated one of
its issues to him, and several of his former students wrote about his life
and his contributions to the different fields of mathematics in which he had
worked: algebra, geometry, analysis, mathematical physics and philosophy
of mathematics. Likewise, a party in his honour was held in Göttingen,
where Klein, who was 73 years old and wheelchair-bound, and much of
the circle of former students and collaborators of Hilbert were present. The
party was largely the passing from the old generation of mathematicians,
headed by Klein and Hilbert, to a new batch in which Richard Courant
would play a very important role as the successor of Klein.
That year, the conflicts between the two divisions of the Faculty of
Philosophy led to its final breakup and the separation of the Mathematical-
Scientific Faculty from the Philosophical Faculty. In the wake of these
events the Mathematical Institute of Göttingen, the great dream of Klein,
was founded. The foundation was however more nominal than anything
else, given that its construction did not begin until 1927 and it was not
completed until 1929. Courant, Hilbert and Landau became directors of
the Institute, but it was Courant who took over the main workload of
management until 1933. Another mathematician whom Klein and Hilbert
wanted in Göttingen was Hermann Weyl, who was then in his thirties like
Courant. Weyl, however, despite the estimation and reverence he felt for
Klein and Hilbert, refused the invitation because he could not afford “to
exchange the tranquillity of life in Zürich for the uncertainties of post-war
Germany.”6
6
Reid 1970, 161.
186 Chapter Nineteen
Despite the problems that Germany was experiencing in the early 1920s,
particularly the galloping inflation, the University of Göttingen was slowly
recovering much of its splendour. Major mathematicians such as Harald
Bohr and Godfrey Hardy often visited Göttingen and new talented
mathematicians, such as Carl Ludwig Siegel (1896-1981), arrived.
Mathematical research was more alive than ever and important groups of
researchers were formed around Courant, Landau and Noether.
Another important research group was also setting up around Max Born,
who was appointed to the chair of theoretical physics in 1921. The first
assistants of Born were none less than Wolfgang Pauli and Werner
Heisenberg. At the same time, Born’s best friend, James Franck, joined
Göttingen as a professor of experimental physics. The seminar on the
structure of matter, which during the war had been directed by Hilbert and
The Foundations of Quantum Mechanics 187
Debye, was now carried by Born and Franck, and among the attendees
over the 1920s we can find some of the most prominent physicists of the
last century; these include Heisenberg and Pauli, Robert Oppenheimer
(1904-1967), Karl Taylor Compton (1887-1954), Pascual Jordan, Paul
Dirac (1902-1984), Linus Pauling (1901-1994), Fritz Houtermans (1903-
1966) and Patrick Blackett (1897-1974), among others.
Lothar Nordheim worked with Hilbert at his home. During the period
he was Hilbert’s assistant he helped him prepare his lecture notes on
physics and explained the latest developments in physics, particularly in
quantum mechanics, to him. He was indeed not very happy with this
appointment and when he left his position as Hilbert’s assistant he felt
somewhat relieved:
First I must say, that during the time I was his assistant, he was very sick.
And not the genius he had been. He lived very much in the past in a way.
His mathematical interest was logic, which was not terribly appealing to
me. But he had the conviction that the best thing for a young man was to
work with him. That was a reward in itself. And everything else, financial
and family considerations, would be way down in importance.7
7
Interview of Lothar Nordheim by Bruce Wheaton on 1977 July 24, Niels Bohr
Library & Archives, American Institute of Physics, College Park, MD USA,
www.aip.org/history-programs/niels-bohr-library/oral-histories/5074.
8
Das Relativitätsprinzip. Zweiter Band: Die allgemeine Relativitätstheorie und
Einsteins Lehre von der Schwerkraft. Braunschweig: Vieweg.
188 Chapter Nineteen
Apart from Nordheim, who often visited Hilbert at home, was a young
mathematician of Hungarian origin, John von Neumann, who had studied
in Berlin with Erhard Schmidt, another of Hilbert’s students and a key
actor in the theory of integral equations. In 1924, von Neumann was only
21 years old and was deeply interested in Hilbert’s axiomatic approach to
physics and his proof theory. Between Hilbert and von Neumann there was
an age difference of more than forty years, but they spent long hours
discussing physics or the foundations of mathematics at Hilbert’s home.
However, the most intimate assistant and collaborator of Hilbert during
those years was still Bernays, who according to Nordheim “was
completely taken up by him.”10
In 1925 Felix Klein died, and with his death a golden age for
mathematics at Göttingen was also beginning to languish. That same year
Runge retired and his place was occupied by Gustav Herglotz. Hilbert,
who was 63 years, was diagnosed with pernicious anaemia, an illness that
was considered generally mortal at that time. But Hilbert was lucky that a
treatment for pernicious anaemia was just beginning to be experimentally
tested in the United States. So, through the many contacts of all kinds that
Hilbert had at that time, it was possible to get the miraculous drug in
Göttingen and, after a brief time, Hilbert’s general state improved
ostensibly.
In 1925 it was also the year in which the events that would bring in a
few years to the definitive mathematical formulation of quantum
mechanics were precipitated. That year Werner Heisenberg, who was then
the assistant of Max Born, brought him an article in which he eliminated
the electron orbits with defined radii and periods of rotation because they
were not observable and insisted that the theory be elaborated from tables
9
Reid 1970, 182.
10
Interview of Lothar Nordheim. See note 7 for a complete reference.
The Foundations of Quantum Mechanics 189
11
Hilbert 2009, 505.
12
Hilbert 1926-27, 204 (cited by Corry 2004, 417).
The Foundations of Quantum Mechanics 191
The papers that von Neumann published between 1927 and 1929
culminated in his great work Mathematische Grundlagen der
Quantenmechanik (Mathematical Foundations of Quantum Mechanics) of
1932, which is still a reference work for the study of the mathematical
structure of elemental quantum mechanics. For the description of this
structure, von Neumann defined the abstract concept of Hilbert space, of
which only a few specific examples were previously known (see Chapter
12). Instead of formulating the mathematical structure of quantum
mechanics from the Delta functions of Dirac, von Neumann did it from the
axiomatic theory of Hilbert spaces and the linear operators over them.
The previous example shows once again the influence of Hilbert in the
formulation of a revolutionary physical theory such as quantum
mechanics. This influence was given not so much by his participation,
more or less directly, in the research that would lead to the definitive
mathematical formulation of quantum mechanics, as by his mastery
through the seminars, talks and courses in Göttingen where he provided
the basic concepts and tools that would make this formulation possible: his
theory of integral equations, his work in what would later be called Hilbert
spaces and, last but not least, his axiomatic approach to the foundations of
physics.
CHAPTER TWENTY
1
See Chapter 17, n. 2 for the list of these lecture courses.
194 Chapter Twenty
2
Ewald 1996, vol. 2, 1119.
3
Ibid., 1121.
Hilbert’s Program and Gödel’s Response 195
statements, the statement “there is a prime number between and Ǩ ͳ,”
where represents the largest known prime number so far. This statement,
wrote Hilbert, “serves merely to abbreviate the proposition: Certainly
ͳ or ʹ or ͵ or …Ǩ ͳ is a prime number,”4 which consists
of a finite number of disjunctions and is therefore decidable in a finite
number of steps.
The problematic statements from the finitist standpoint are the
unbounded quantificational statements, i.e., statements of the type ߮ݔሺݔሻ
or ߮ݔሺݔሻ whose range of quantification is all the numerals. For example,
the statement “there is a prime number larger than ,” where is as
before, is not acceptable from the finitist standpoint. The reason is that this
statement says that there is a number greater than , belonging to an
infinite totality of numbers, that is a prime number, but it is not sure that
we can find in a finite number of steps a number of the form ݊ that is
prime and obviously we cannot test all numbers greater than to check
whether any of them is a prime number.
The universal statement “for every number ݊, ݊ ͳ ൌ ͳ ݊” is also a
problematic statement, because its negation, the statement “there exists a
number ݊ such that ݊ ͳ ് ͳ ݊,” is an existential statement whose
range is an infinite totality of numbers and, therefore, is not acceptable
from the finitist point of view. However, Hilbert considered universal
statements as the one above acceptable from the finitist standpoint,
provided that such statements would not be interpreted as an infinite
conjunction, “but only as a hypothetical judgment that comes to assert
something when a numeral is given.”5 Indeed, today all universal
statements whose particular instances express decidable properties of the
numerals are often regarded as acceptable from the finitist standpoint.
These statements can be expressed as formulas of the form ߰ݔሺݔሻ, where
߰ሺݔሻ is a bounded formula, which are characterized moreover by the fact
that their negation is also decidable (and thus, if they are false are refutable
in a finite number of steps).
In general, all quantificational statements over finite domains of
objects are acceptable from the finitist standpoint, while quantificational
statements over infinite domain of objects are problematic. The result is
that while the application of certain laws of classical logic is safe when
applied to finite totalities, its application to infinite totalities needs to be
justified. This is the case, for example, of the De Morgan laws for
quantificational statements, the equivalences ߮ݔሺݔሻ ݔ ؠ߮ሺݔሻ and
4
Van Heijenoort 1967, 377.
5
Ibid., 378.
196 Chapter Twenty
߮ݔሺݔሻ ݔ ؠ߮ሺݔሻ, since both the negation of the universal statement
߮ݔሺݔሻ and that of the existential statement ߮ݔሺݔሻ are not acceptable
from the finitist standpoint and, therefore, the above equivalences are not
even intelligible from this point of view. The same applies to the principle
of excluded middle, which states (in the version given by Hilbert) that
either all objects have a specific property or there is an object that does not
have this property, i.e., ߮ݔሺݔሻ ݔ ש߮ሺݔሻ. Obviously, the principle of
excluded middle is trivial when applied to finite totalities of objects, since
we can always test all objects in the domain and see if they all have the
property in question or, conversely, if they do not have it. Nonetheless,
this is impossible when the domain is infinite, because we cannot test all
objects in the domain and, therefore, neither can we verify that they all
possess the property in question nor can we be sure to find something that
doesn’t possess it.
In any case, the previous transfinite modes of inference are constantly
used in analysis and set theory. Therefore, as stated by Hilbert in the
article “Die logische Grundlagen der Mathematik” (“The logical
Foundations of Mathematics”) (1923), “if we wish to give a rigorous
grounding of mathematics, we are not entitled to adopt as logically
unproblematic the usual modes of inference that we find in analysis.”6
Hilbert’s goal was not, however, to abandon these laws of classical logic
as did the intuitionist, for their use in analysis and set theory has always
led to correct results, but rather to justify their use in accordance with the
finitist stance adopted. As Hilbert wrote, “the free use and the full mastery
of the transfinite is to be achieved on the territory of the finite!”7 But how
is this possible if, as we have seen, Hilbert considered these transfinite
modes of inference as the precise point at which classical logic goes
beyond the limits acceptable from the finitist standpoint?
Hilbert’s answer was essentially to consider these transfinite modes of
inference as ideal statements, that is, as statements that are meaningless
from the finitist standpoint, but nevertheless should be added to the logical
theory in order to preserve the laws of classical logic. Hilbert’s basic idea
was that in the same way that imaginary numbers are introduced in
analysis to preserve the laws of algebra, for example, those concerning the
existence and number of roots of an equation, it was necessary to “adjoin
the ideal propositions to the finitary ones in order to maintain the formally
simple laws of ordinary Aristotelian logic.”8 This method of ideal elements
was subject to only one condition, namely, the proof of consistency, since
6
Ewald 1996, vol. 2, 1140.
7
Ibid.
8
Van Heijenoort 1967, 379.
Hilbert’s Program and Gödel’s Response 197
9
Ewald 1996, vol. 2, 1137.
Hilbert’s Program and Gödel’s Response 199
10
Ibid., 1139.
200 Chapter Twenty
around Schlick, later known as the Wiener Kreis (Vienna Circle). Between
1926 and 1928 Gödel regularly participated in the meetings of the Circle
and it was there that he became acquainted with Russell’s logicist program
for the foundation of mathematics. In 1928 Gödel’s interest in logic and
the foundation of mathematics was further stimulated by the two
conferences offered by Brouwer in Vienna that year (“Mathematik,
Wissenchaft und Sprache” (“Mathematics, science and language”) and
“Die Struktur des Kontinums” (“The structure of the continuum”), as well
as his attendance at the course “The Philosophical Foundations of
Arithmetic” taught by Rudolf Carnap at the University of Vienna in the
winter semester of 1928/29.
Given the lively interest of the Vienna Circle in the problems of
foundations of mathematics, it is likely that Gödel knew the contents of
Hilbert’s conference very soon after it took place. In any case, it is sure
that Gödel had knowledge of it before 1931, since it is explicitly
mentioned in his famous article on the incompleteness of arithmetic of that
year.11 But what is worth mentioning is the fact that Gödel was able to
solve the four problems posed by Hilbert in the course of the two years
following the conclusion of the conference.
During the summer of 1929, Gödel demonstrated the semantic
completeness of first-order logic, thus solving Hilbert’s fourth problem
positively. In the summer of 1930, Gödel attacked the first problem posed
by Hilbert at the Bologna conference: the consistency of analysis. Gödel’s
idea was to first prove the (relative) consistency of analysis with respect to
number theory and then offer a direct proof of the (absolute) consistency
of the theory of numbers. To demonstrate the relative consistency of
analysis, Gödel considered the possibility of representing each real number
by means of a formula ߮ሺݔሻ of the language of arithmetic. Gödel realized
then that “߮ሺݔሻ is demonstrable” is definable in the language of arithmetic
and, therefore, that the concept of demonstrability is definable in
arithmetic. However, Gödel had known for some time now that the
concept of truth was not definable in arithmetic and that this was the
solution to the semantic paradoxes such as, for example, the liar paradox.
Therefore, the concept of demonstrability could not coincide with that of
truth and, in the event that all demonstrable formulas were true, then there
should be some true formula that was not demonstrable. Gödel then
11
We refer to the paper “Über formal unentscheidbare Sätze der Principia
mathematica und verwandter Systeme” (“On formally undecidable propositions of
Principia Mathematica and related systems”), received by the journal Monashefte
für Mathematik und Physik on Novembre 17, 1930, and published the following
year.
202 Chapter Twenty
12
These results constitute the core of the 1931 Gödel’s paper mentioned in the
previous note
13
Hilbert 1965, vol. 3, 298.
Hilbert’s Program and Gödel’s Response 203
14
This not excludes, however, the possibility of partial realizations of Hilbert’s
program. Despite Gödel’s theorems, one can give a finitistic reduction for
substantial portions of infinitistic mathematics. See, for example, the paper by
Stephen Simpson (1945- ) “Partial realizations of Hilbert’s program,” in Journal of
Symbolic Logic, 53, no. 2(1988): 349-363.
CHAPTER TWENTY-ONE
There is no doubt that the central figure in the development of the modern
conception of algebrathe link between Hilbert’s name and modern
algebrais Emmy Noether.1 Born in Erlangen (Bavaria, Germany), March
23, 1882, Emmy Noether was the daughter of the mathematician Max
Noether (1844-1921). From 1889 to 1897 she attended the Städtische
Höhere Töchterschule, the local public school for girls. In the spring of
1900, when she was eighteen, she sat and passed the examination to obtain
the certificate to teach French and English at girls’ schools. She wanted to
continue her studies at university level, but at that time German
universities did not allow women to enroll as regular students. Female
students were only admitted as Hospitanten (auditors), without acces to
final examinations and only with the consent of the professors whose
lectures they wished to attend.
In the winter semester of 1900/01, Noether was registered as auditor
for courses in language, history, and mathematics at Erlangen University.
She was one of only two women studying with 984 men. The next two
years she prepared for the Reifeprüfung, the national graduation exam that
entitled the graduate to enter a university of his choice, which she passed
in July 1903. She spent the winter semester of 1903/04 at the University of
Göttingen, where she attended as auditor the lectures of the astronomer
Karl Scwarzschild and the mathematicians Minkowski, Blumenthal, Klein
and Hilbert. After the first semester she returned to Erlangen, since its
university had changed its policies to admit women as regular students
with the same rights as men. Noether enrolled in the Philosophical Faculty
and in the next four years she only took mathematics courses. On
1
Most of the biographical information about Emmy Noether may be found in Dick
(1981). In it we can also find the “Obituary of Emmy Noether” by B. L. van der
Waerden (pp. 100-111), the memorial adress “Emmy Noether” by H. Weyl (pp.
112-152) and the adress “In Memory of Emmy Noether” by P. S. Alexandroff (pp.
153-179).
206 Chapter Twenty-One
December 13, 1907, she passed her doctoral oral examination and in July
2, 1908, her doctoral dissertation was registered. It was written under the
supervision of Paul Gordan, who was an old friend of her father, and dealt
with the theory of invariants.
Once Noether had completed the doctorate it would have been natural
for her to begin her academic career as Privatdozent at Erlangen. But this
possibility was vetoed for women, so from 1908 to 1915 she had to settle
for being an informal and unpaid member of the mathematics department,
where she continued her research and replaced her father when he was ill
in his classes at the university. In 1909 Noether presented the paper “Zur
Invariantentheorie der Formen von ݊ Variabeln” (“On the theory of
invariants for forms of ݊ variables”) at the DMV conference in Salzburg.
A revised account of it appeared in a paper of the same title in 1911 in the
Journal für die reine und angewandte Mathematik. In 1913 she presented
another paper, entitled “Rational Funktionenkörper” (“Fields of rational
functions”), at the DMV conference in Vienna. These two research papers
along with her doctoral dissertation established Noether’s reputation in
invariant theory.
In 1910 Gordan retired from his position as Ordinarius at Erlangen.
His immediate succesor, Erhard Schmidt, occupied his post for a short
time and was followed by Ernst Fischer. According to Weyl, it was under
the direction of Fischer that “the transition from Gordan’s formal
standpoint to the Hilbert method of approach was accomplished.”2 In
1915, Hilbert and Klein called Noether in Göttingen. At this time, Hilbert
was working on the mathematics of relativity theory and, as some
problems he encountered required a good knowledge of invariant theory,
he asked Noether to be his assistant. Thus, during the next four years,
Noether published nine articles on the theory of invariants related to the
theory of relativity. From 1920 onwards, she only wrote one paper on the
theory of invariants.
After Noether arrived in Göttingen, Hilbert and Klein tried to obtain a
lectureship for her. On November 9, 1915, as part of the formal process of
qualifying for Habilitation, Noether gave the lecture “Über ganze
tranzendentte Zahlen” (“On transcendental integers”) before the
Mathematical Society in Göttingen. The appointment was rejected,
however, by the Senate of the Philosophical Faculty, because according to
the rules concerning Privatdozenten of 1908, Habilitation could only be
granted to male candidates. The better-known story is that, against the
arguments contrary to the qualification of Noether expressed by the
2
Dick 1981, 123.
The Noether School and the Rise of Modern Algebra 207
In 1919, a year after the First World War had ended, Germany became a
Republic and the rights of women were improved (for example, they
acquired the right to vote). This opened for Noether the possibility of
Habilitation. On July 23, 1918, she had lectured before the Mathematical
Society on “Invariante variationsprobleme” (“Invariant variational
problems”). The final version of the lecture was published in 1918 in the
Göttinger Nachrichten and was considered her Habilitation thesis. On
May 21, 1919, the Habilitation request was approved and on June 4, 1919,
she defended her thesis before a court formed by Klein, Hilbert, Courant,
Landau and Debye. She was granted the venia legendi and became a
Privatdozentin, a position that allowed her to teach the students who
requested it. She was the first woman qualified for teaching mathematics
by the University of Göttingen. In 1922, when she was 40 years old, she
was appointed as Nichtbeamter ausserordentlicher Professor (a kind of
non-tenured associated professor). As remarked by Weyl, “this was a mere
title carrying no obligations and no salary. She was, however, entrusted
with a Lehrauftrag for algebra, which carried a modest remuneration.”5
Noether’s 1918 paper on “Invariant variational problems” was indeed a
milestone in invariant theory. As remarked by Noether in the curriculum
vitae attached to the Habilitation act, the paper “deals with arbitrary finite
or infinite continuous groups, in the sense of Lie, and discloses what
consequences it has for a variational problem to be invariant with respect
to such a group. The general results contain, as special cases, the theorems
3
Ibid., 125 (also in Reid 1970, 143).
4
Ibid., 32.
5
Ibid., 125.
208 Chapter Twenty-One
Fig. 21-1 Emmy Noether with some of her students, colleagues and friends in a
rural establishment in the mountains surrounding Göttingen. From left to right:
Ernst Witt; Paul Bernays; Helene Weyl; Hermann Weyl; Joachim Weyl, Emil
Artin; Emmy Noether; Ernst Knauf; ??; Chiuntze Tsen; Erna Bannow (who later
became Witt’s wife).
6
Ibid., 36.
7
Ibid., 141.
The Noether School and the Rise of Modern Algebra 209
These ideas sound commonplace today, but they were not in Noether’s
time. Algebra in the nineteenth century dealt with quadratic forms,
cyclotomy, finite groups and fields, field extensions, ideals in rings and
invariant theory. But all these topics were connected in one way or another
with the study of different kinds of numbers: rational, real and complex
numbers. Even in the late 19th and early 20th century algebraic structures
such as groups, rings, fields or ideals were still regarded as means to an
end, namely the study of concrete problems of number theory, polynomial
algebra or geometry. This perception began to change with a paper of
1910 by the German mathematician Ernst Steinitz (1871-1928) titled
“Algebraische Theorie der Körper” (“The algebraic theory of fields”).
Steinitz’ paper marks the moment when fields themselves became objects
of interest and were not merely means to other ends. This was also the
main idea behind Noether’s conceptual approach to the study of the
8
Ibid., 156. We have replaced “abstract mathematics” (in the original text) by
“conceptual mathematics,” which is a more exact rendering of the words
begriffliche Mathematik.
9
Ibid., 101.
10
Ibid., 158.
210 Chapter Twenty-One
11
Besides the work of Steinitz (and Weber) in field theory, the main predecessors
of Noether’s structural approach were Cayley and Frobenius in group theory,
Dedekind in lattice theory, and Joseph Wedderburn (1882-1948) and Leonard
Dickson in the theory of hypercomplex systems. But the main influence was the
work of Dedekind. When discussing her own work, Noether used to say with
modesty “Es steht schon bei Dedekind” (“It’s already in Dedekind”) and urged her
students to read all of Dedekind’s work in the theory of ideals.
The Noether School and the Rise of Modern Algebra 211
modules, etc.) and perhaps the most important result achieved in this
direction was the axiomatization of the theory of rings we have already
mentioned. In the framework of this theory, Noether generalized Hilbert’s
finiteness theorem, which thereafter became another result of modern
algebra.
In 1924, a young Dutchman named Bartel Leendert van der Waerden
joined the research group formed around Noether in the early twenties. He
had studied mathematics and physics at the University of Amsterdam from
1919 to 1924. That year he arrived in Göttingen where “a new world
opened up before his eyes.” Just after his arrival, van der Waerden
enrolled in Noether’s course “Gruppentheorie und hypercomplexe Zahlen”
(“Group Theory and Hypercomplex Numbers”), given in the winter
semester of 1924/25. There he learned that the questions about algebraic
geometry and other issues that had worried him in Amsterdam could be
addressed with the tools developed by Dedekind, Weber, Hilbert, Emanuel
Lasker (1868-1941), Francis Macaulay (1862-1937), Steinitz and Noether
herself.
Consequently, he began to study abstract algebra and to work on his
main problem: the foundations of algebraic geometry. In 1925 van der
Waerden returned to The Netherlands where he presented his thesis on the
latter issue. That same year he went to Hamburg with a grant from the
Rockefeller Foundation to study with Erich Hecke, Emil Artin and Otto
Schreier (1901-1929). Artin taught an algebra course in the summer
semester and had promised a book on the subject to Ferdinand Springer.
So he proposed to van der Waerden to take notes of his summer course
and to write the book promised to Springer together. Artin was so pleased
with the quality of van der Waerden’s notes that he suggested he write the
book alone.
Back in Göttingen, van der Waerden attended Noether’s course
“Hypercomplexe Grösser and Darstellungstheorie” (“Hypercomplex
Quantities and Representation Theory”) during the winter semester of
1927/28. Again, van der Waerden took notes of the course and Noether
took advantage of them for the publication of the paper with the same title
in Mathematische Annalen which we have mentioned earlier and which
would have a profound influence on the development of algebra. The
results of Artin’s and Noether’s research, presented in the courses which
van der Waerden attended in Göttingen and Hamburg respectively,
constitute the greater part of van der Waerden’s book Moderne Algebra,
published in 1930 when he was only 27 years old. Moderne Algebra is
probably the most influential treatise on algebra of the twentieth century
212 Chapter Twenty-One
and the first to offer an overview of the discipline from the conceptual and
abstract point of view characteristic of modern structural algebra.
In a 1975 article, van der Waerden explained the origins of some
abstract notions and themes of his book Moderne Algebra, such as the
concepts of group, field, ideal, group and algebra representations, etc. For
example, he explained that the first person to give an abstract definition of
field and make an extensive and unified study of the theory of fields was
Steinitz in his paper of 1910, which he relied on for writing the fifth
chapter of Moderne Algebra entitled Köpertheorie (Field Theory).
Regarding group theory, van der Waerden explains that he learned it from
the course Noether taught in Göttingen during the academic year of
1924/25 and from discussions with Artin and Schreier in Hamburg, as well
as from the books by Andreas Speiser (1885-1927) and William Burnside
(1852-1927) on group theory. Also, for the theory of ideals, van der
Waerden mentions Noether’s articles of 1921 and 1926 on the theory of
ideals, whereas regarding representation theory he mentions Noether’s
paper of 1929.
While the book by van der Waerden systematizes a series of new
results that had been achieved in the field of algebra in recent years by
Dedekind, Hilbert, Artin and Noether, among others, what caused a major
impact was his way of conceiving and presenting this discipline, inherited
largely from Noether. Moderne Algebra was indeed the first algebra
textbook that presented systematically, relying on abstract set theory and
applying the axiomatic method, the various areas of algebra as a
homogeneous whole. Moreover, the approach followed by van der
Waerden in his book was based on the recognition that groups, ideals,
rings, fields, etc. are indeed realizations of the same idea, namely, the idea
of an algebraic structure and that algebra is precisely the study of these
structures. This structural conception of algebra would be resumed and
exploited by Bourbaki, a group of French mathematicians who would
largely lead the development of mathematics in the second half of the
twentieth century (see Chapter 23).
The abstract and conceptual approach to algebra has become so
commonplace today that we easily forget that in the first half of the
twentieth century this approach had to be gradually asserted. As we have
seen, Noether’s role in this dissemination was authoritative, but of course
she was not alone. She had illustrious predecessors such as Dedekind,
Steinitz, Weber, Cayley, Frobenius, Wedderburn and Dickson, but also
many graduate students and young colleagues (Grete Herman, Köthe,
Krull, Deuring, Fitting, Witt, Tsen, Shoda, Levitski, van der Waerden) and
associates (Schmidt, Artin, Hasse, Alexandroff, Pontrjagin, Hopf) that
The Noether School and the Rise of Modern Algebra 213
spread her work and made possible the abstract turn in algebra. When we
speak of Noether’s school, this does not mean just the circle of her direct
pupils, but those mathematicians from home and abroad who, in close
exchange with Emmy Noether, but quite independently, developed
abstract algebra and contributed to the dissemination of Noether’s
conceptual approach to mathematics.
CHAPTER TWENTY-TWO
MATHEMATICS IN GÖTTINGEN
UNDER THE NAZIS
According to Reid, when Hilbert first learned about Gödel’s work from
Bernays, he was “somewhat angry”:
At first he was only angry and frustrated, but then he began to try to deal
constructively with the problem. Bernays found himself impressed that
even now, at the very end of his career, Hilbert was able to make great
changes in his program. It was not yet clear just what influence Gödel’s
work would ultimately have. Gödel himself feltand expressed the thought
in his paperthat his work did not contradict Hilbert’s formalistic point of
view. Broadened methods would permit the loosening of the requirements
of formalizing. Hilbert himself now took a step in this direction. This was
the replacing of the schema of complete induction by a looser rule called
Mathematics in Göttingen under the Nazis 217
1
Reid 1970, 198-99.
218 Chapter Twenty-Two
theory and Richard von Misses (1883-1953) came from Berlin to discuss
his foundations of the theory of probability.
These lectures were attended by the impressive staff of members of the
Mathematical Institute, Hilbert included, and after each one they discussed
the different theories presented with a critical spirit and open eye. On the
other hand, the social life continued being intense and included a weekly
celebration in Weyl’s house and also some celebrations in Landau’s house,
the best in Göttingen. Also, the rides and excursions to the mountains
around Göttingen were frequented, and normally ended in a rural
establishment to drink coffee and continue talking about mathematics and
politics. In short, Göttingen was still a centre of excellence in
mathematical research and a paradigm of modern universities in the early
thirties.
Fig. 22-2 Courant, Landau and Weyl converse in Göttingen, ca. 1930
Fig. 22.3 Emmy Noether’s letter of dismissal, copy for the Rektorat
Mathematics in Göttingen under the Nazis 221
The same year as the rise of Hitler to power, in the United States the
Emergency Committee in Aid of Displaced Foreign Scholars had been
created for assisting professors who were barred from teaching by the
Nazis and helping them finding new appointments in the USA. This
committee obtained a professorship for Noether at Bryn Mawr College, a
women’s liberal arts college in Pennsylvania and with the aid of the
Rockefeller Foundation, paid the salary of her first year there. In 1934, her
appointment at Bryn Mawr was renewed for a couple of years more and
she was invited to deliver weekly lectures at the Institute of Advanced
Studies at Princeton by Abraham Flexner and Oswald Veblen.2 But fortune
did not last long, since the following year an operation to eliminate a
uterine tumour was complicated and she died shortly after, on April 14,
1935.
When Courant left, Otto Neugebauer was appointed director of the
Mathematical Institute, but he only lasted one day in this position.
Neugebauer was required to sign a declaration of loyalty to the new
government, but by refusing to sign it he was immediately suspended of
salary and work. On April 27, Bernays, Paul Hertz and Hans Lewy were
also dismissed, and Landau was warned that he could not lecture the next
semester. Hermann Weyl was not a Jew, but his wife was, and therefore his
two children were also considered Jews. So, in the summer semester of
1933, he accepted a post in the newly created Institute of Advanced
Studies at Princeton and left Göttingen.
Landau had been a civil servant before World War I and so he was not
affected by the April 7 law. However, at the recommendation of the dean
not to lecture the next semester, his calculus course in the summer
semester was taught by his assistant Werner Weber (1906-1975), a fervent
national-socialist. Landau insisted on preparing the course and during each
class he stayed in his office. When he attempted to resume his calculus
classes in the winter semester, the students staged a boycott with SA
guards standing at the doors and forced Landau to retreat to his office. On
November 2, Oswald Teichmüller (1913-1943) presented Landau with a
letter formally explaining why they did not find him “fit for teaching.” He
spent the winter semester at Groningen, in the Netherlands. On 7 February
1934, he was officially retired and moved to Berlin. After this he only
lectured outside Germany, spending some time in Cambridge and in The
Netherlands.
Altogether, eighteen mathematicians left voluntarily or were expelled
from the Mathematical Institute of Göttingen during 1933. At the
2
As a woman she could not be appointed for a teaching position in Princeton.
222 Chapter Twenty-Two
When Weyl resigned to his post, it was offered to Helmut Hasse. Hasse
was a first-class mathematician who had been a disciple of Landau,
Noether and Hecke in Göttingen and was acceptable in the eyes of the
Nazi authorities for his strong nationalist and right-wing feelings, so he
was also offered the direction of the Mathematical Institute. At the request
of Weyl, Hasse accepted the position and from 1934 he became director of
the Mathematical Institute of Göttingen, although he had to share this
position with Erhard Tornier (1894-1982). Despite his ideological
3
From Siegmund Schultze (2009, 66). As explained by the author, “the first
figure denotes the number of emigrants, the number after the slash denotes the total
number of those expelled and persecuted, including emigrants. Some differences
compared to the total number of those persecuted result from double counting of
certain persons or from uncertainty as to the place of expulsion/persecution. As is
generally the case in this book, only German-speaking mathematicians are
included, which is important to note for Amsterdam (persecution of Freudenthal),
Trieste (Frucht), and Stockholm (threat to Müntz). Places outside Germany, where
Germans were persecuted, are set in parentheses.” (Ibid., 65, n. 23).
Mathematics in Göttingen under the Nazis 223
Among these ideas there were those that assigned specific structures of
personality (psychological characters, modes of thought, etc.) to different
ethnic or “racial” types, thus enabling to discern “German” mathematics
from other kind of mathematics, such as Oriental or Jewish mathematics.5
Such ideas led to the journal Deutsche Mathematik, edited by Vahlen and
Bieberbach from 1936 to 1943. Besides them, other mathematicians that
usually published in this journal were Teichmüller, a brilliant young
mathematician and convinced Nazi, and Werner Weber, who has written
his dissertation under Noether’s supervision and had been Landau’s
assistant from 1928. Despite this, he was the leader of the student boycott
against Landau and in 1934 he also attempted to prevent Hasse from
assuming the direction of the Mathematical Institute.
As of 1934, the chairs of Courant, Weyl and Landau were occupied by
Theodor Kaluza (1885-1954), Hasse and Tornier respectively. Herglotz
(the successor to Runge) continued until 1948, when he was granted the
title of Professor Emeritus. Tornier’s chair was occupied by Rolf
Nevanlinna (1895-1980) between 1936 and 1937 and by Car Ludwig
Siegel between 1938 and 1940. Both Hasse and Siegel were first-rate
mathematicians, so it cannot be said that Göttingen did not continue to be
a centre of excellence in the research and teaching of mathematics during
the Nazi period. However, the splendour of the golden age of Klein,
Hilbert, Minkowski and Runge or of Courant, Weyl, Noether and Landau,
among many others, would never be recovered.
4
Segal 1986, 119.
5
Jews were usually described as “Orientals” by German writers from time ago.
224 Chapter Twenty-Two
The First World War had had more dramatic consequences for the
development of mathematics in France than in Germany. The war had
decimated the French population, including scientists and mathematicians.
Thus, between 50% and 60% of the 1910, 1911 and 1912 graduates of the
École Normale Supérieure in Paris, where the French scientific and
intellectual elite was formed, had died in the Great War. One of the
consequences of this was that at the end of the war and during the 1920s,
the average age of mathematicians who held relevant positions at the
Académie des sciences or at the Sorbonne was particularly high.
After the War, French science was exhausted and with minimal
international contacts or information about the latest developments abroad,
especially about those coming from the most advanced German research
centres (Göttingen, Hamburg, Berlin), as some young French
mathematicians, such as Jacques Herbrand (1908-1931), Claude Chevalley
(1909-1984), André Weil and Jean Leray (1906-1998), could verify during
visits to those centres. This led to the mathematicians Émile Borel (1871-
1956) in France and David Birkhoff (1884-1944) in the United States to
persuade French patrons like Edmond de Rothschild and Americans such
as John D. Rockefeller to contribute to the financing of an institution that
supported courses and international exchanges in the field of mathematics
and theoretical physics. As a result of this, the Henri Poincaré Institute was
inaugurated in 1928, which would gradually become a research centre of
international prestige in both mathematics and physics.
In general, in the thirties the situation of mathematics in France had not
improved much in relation to the previous decade. André Weil, then a
young Maître de Conférences (the equivalent of assistant professor) at the
University of Strasbourg still in his twenties, has described it in the
following terms:
At that time, scientific life in France was dominated by two or three
coteries of academicians, some of whom were visibly driven more by their
226 Chapter Twenty-Three
appetite for power than by a devotion to science. This situation, along with
the hecatomb of 1914-1918 which had slaughtered virtually an entire
generation, had had a disastrous effect on the level of research in France.1
its reason for being as a group. However, Bourbaki also published some
notes in the Comptes Rendus of the Académie des Sciences, and a couple
of papers more that contain Bourbaki’s main ideas about mathematics and
the guidelines that the Elements would follow in the future.
But Bourbaki went a step beyond Hilbert (and van der Waerden), when
attributing a central role in his unified vision of mathematics to the notion,
closely related to the axiomatic method, of mathematical structure:
4
Bourbaki 1950, 222.
5
Dieudonné 1983, 30.
6
Ibid., 32.
Hilbert, Bourbaki and the Structural Image of Mathematics 229
Each structure carries with it its own language, freighted with special
intuitive references derived from the theories from which the axiomatic
analysis described above has derived the structure […] What all this
amounts to is that mathematics has less than ever been reduced to a purely
mechanical game of isolated formulas; more than ever does intuition
dominate in the genesis of discoveries. But henceforth, it possesses the
powerful tools furnished by the theory of the great types of structures; in a
single view, it sweeps over immense domains, now unified by the
axiomatic method, but which were formerly in a completely chaotic state.7
Certainly, van der Waerden had set up a similar task in the field of algebra.
Indeed, as we have already explained, van der Waerden’s book was an
important source of inspiration in the early years of Bourbaki’s activity. In
the thirties and forties, the new methods and concepts introduced by
Emmy Noether and Emil Artin in Germany were not yet known in France,
so the reading of van der Waerden’s book caused a profound impact.
Following van der Waerden’s approach in algebra, “Bourbaki undertook
the task of presenting the whole picture of mathematical knowledge in a
systematic and unified fashion, within a standard system of notation,
addressing similar questions, and using similar conceptual tools and
methods in the different branches.” 8 However, there was a substantial
difference between the approach and presentation of modern algebra by
van der Waerden and the much more ambitious program of rewriting all of
mathematics set up by Bourbaki. In fact, van der Waerden did not attempt
to define at any time the notion of algebraic structure nor theorized about
what we might call “structural research in algebra.” Bourbaki, on the other
hand, not only defined the concept of mathematical structure in several
places, but also developed an axiomatic and formal theory of structures
through which “he” wanted to respond to the open questions posed by the
central role of the concept of structure in mathematics.9
After the Second World War, Bourbaki resumed its activity and from
1947 onwards “he” continued publishing the volumes of Éléments de
7
Bourbaki 1950, p. 227-28.
8
Corry 1992, 320.
9
Bourbaki provides a formalization of the concept of structure in Chapter IV of the
book on set theory. However, the following chapters do not make use of this
formalization. In fact, Bourbaki’s “Theory of Sets, and particularly the concept of
structure defined in it, are not essential to the contents of the Eléments. One can
read and understand any book of Bourbaki’s treatise without first learning the
theory of structures” (Corry 2004, 329-30). It is then in the “non formal” meaning
of the word “structure”, which belongs to Bourbaki’s image of mathematics, where
Bourbaki’s influence in the structural image of mathematics ultimately lies.
230 Chapter Twenty-Three
mathématiques, which had been stopped for five years when only a few
chapters of the three first volumes had been published. When the project
was resumed new young mathematicians joined the group. In particular,
Roger Godement (1921-2016), Pierre Samuel (1921-2009), Jacques
Dixmier (1924- ) and Jean-Pierre Serre (1926- ) joined Bourbaki in the late
40s. And, a little later, Samuel Eilenberg (1913-1998), Jean-Louis Koszul
(1921- ) and Laurent Schwartz (1915-2002) also joined. In the mid-50s,
another generation of young mathematicians joined, among them Serge
Lang (1927-2005), Armand Borel (1923-2003), Alexandre Grothendieck
(1928-2014), Francois Bruhat (1929-2007), Pierre Cartier (1932- ) and
John Tate (1925- ). As remarked by Borel, “the fifties was a period of
spreading influence of Bourbaki, both by the treatise and the research of
members. Remember in particular the so-called French explosion in
algebraic topology, the coherent sheaves in analytic geometry, then in
algebraic geometry over, later in the abstract case, and homological
algebra.”10
In 1958 the six projected volumes were finished. Grothendieck had
proposed the year before, in the Bourbaki Congress of 1957, the
elaboration of three volumes more about Homological Algebra,
Elementary Topology and Varieties along the lines set in the six previous
volumes. Grothendieck himself presented in the next congress a draft of
two chapters of the third volume. Unfortunately, despite the successes
achieved by Grothendieck and others, the project for the publication of
new volumes of Éléments de mathématiques began to decline during the
70s, perhaps due to the difficulties of the new disciplines to be treated
(homotopy, spectral theory of operators, etc.) and to the fact that these
were disciplines still not solidified, to which it was difficult to apply the
characteristic structuralist approach of Bourbaki.
At the end of the twentieth and beginning of the twenty-first century,
Bourbaki still exists but the group is not so active and influential as it was
in the fifties and sixties. After the six volumes of Éléments de
mathématiques were published in the fifties, four more volumes have been
published since then: Commutative Algebra, Lie Groups and Algebras,
Spectral Theory and Algebraic Topology. The most recent volume on
Algebraic Topology was published in 2016, so although Bourbaki is far
from being dead, it is also true that the volumes of Éléments de
mathématique are no longer published at the same rate as before.
Moreover, although the Bourbaki’s seminar are still held with the same
10
Borel 1998, 376.
Hilbert, Bourbaki and the Structural Image of Mathematics 231
11
Mashaal 2006, 83-84.
232 Chapter Twenty-Three
In the late nineteenth and early twentieth centuries, the United States had
spectacular economic growth. Some businessmen such as Andrew
Carnegie, Henry Ford, John D. Rockefeller or Marshall Field gathered
great fortunes that, at least to a certain extent, ended up returning to
society through donations or philanthropic foundations. In 1925, Louis
Bamberger and his sister Caroline Bamberger Fuld, owners of a
department stores chain decided to sell it and to devote themselves to
philanthropy. In 1929, just before the stock market crack, R. H. Macy, the
owner of a famous department store in New York, purchased Bamberger’s
department store chain.
The Bambergers contacted Abraham Flexner, a well-known expert on
higher education issues, to give them advice. Flexner, who had carefully
studied institutions of recognized international prestige such as All Souls
College in Oxford, the Collège de France in Paris, and the German
universities of the late 19th century, particularly Göttingen, considered it
necessary to create an advanced research institution in the United States.
Flexner’s idea of a research institute where researchers had absolute
freedom to carry out their research would immediately capture the interest
of the Bambergers. After a series of discussions and correspondence, they
abandoned their initial idea of a medical school and accepted Flexner’s
plan to create an Institute for Advanced Studies, insisting that Flexner be
its first director.
Once Flexner’s plan was accepted, the Bambergers wanted to place the
institution in Washington, the capital district, but Flexner convinced them
that it would be better to place it in a quiet place like Princeton, next to the
university of the same name, one of the oldest and most prestigious of the
United States. Flexner also suggested that the Institute should begin with
mathematics, which he considered the most difficult discipline and
“antecedent” to all others. Thus, in the fall of 1932, Flexner publicly
announced the creation of the first school of the Institute for Advanced
Studies (IAS) at Princeton, the School of Mathematics. The first professors
appointed by Flexner were Oswald Veblen and Albert Einstein. Flexner
234 Epilogue
also wanted to recruit Hermann Weyl, who at that time occupied Hilbert’s
chair in Göttingen, but Weyl was still undecided about his future and
would not join the IAS until the fall of 1933. Because the School of
Mathematics still had no building, activities began in the spring of 1933 in
the building of the Faculty of Mathematics of the University of Princeton.
In 1933 Flexner recruited John von Neumann, who was then a visiting
professor at Princeton University. In the IAS, von Neumann would make
important contributions to game theory and computer science. He
remained there until his death in 1957. Despite its name, the School of
Mathematics included both mathematicians and physicists. Einstein was a
physicist, and von Neumann had also made important contributions to
physics. At the beginning of the academic year of 1933/34, the IAS
already had five mathematicians and physicists of the first rank: James
Alexander (1888-1971), Einstein, Veblen, Weyl and von Neumann, as
well as about twenty visiting professors, some of them as prominent as the
logician and mathematician Kurt Gödel. During 1934 and 1935
respectively, the theoretical physicists Paul Dirac and Wolfgang Pauli
joined the staff of the School of Mathematics.
We could say, then, that the IAS became a refuge for German and
European researchers who fled Nazi Germany during the 1930s. Thanks to
the arrival of these researchers at the IAS, Princeton replaced Göttingen as
the world’s leading centre for mathematical and physical research.
Obviously, this transfer of powers was even more noteworthy after the end
of World War II. In 1947 the theoretical physicist Robert Oppenheimer
was appointed director of the School of Mathematics. Oppenheimer was a
charismatic leader and was able to attract the most outstanding theoretical
physicists interested in particle physics research, and so Princeton became
the new Mecca of research in theoretical physics around the world. The
visiting professors at the IAS included internationally renowned figures
such as Pauli, Dirac or Hideki Yukawa (1907-1981), as well as young
researchers such as Murray Gell-Mann (1929- ), Geoffrey Chew (1924- ,
Francis Low (1921-2007), Yoichiro Nambu (1921-2015), and Cécile
Morette (1922-2017).
Oppenheimer also appointed as faculty members young physicists such
as Abraham Pais (1918-2000), Freeman Dyson (1923- ), Tsung-Dao Lee
(1926- ) and Chen Ning Yang (1922- ), the latter two winners of the Nobel
Prize in Physics in 1957. The high number of physicists at the School of
Mathematics made it advisable to create a School of Natural Sciences, that
began work in 1966 and to which the physicists were assigned from then
onwards. Also the School of Mathematics made some spectacular
appointments under the direction of Oppenheimer such as Armand Borel,
From Göttingen to Princeton and Paris 235
1
In the words of his son Didier Motchane (http://www.ihes.fr/jsp/ site/ Portal. jsp?
Page_id=20).
From Göttingen to Princeton and Paris 237
PROBLEM 1.
Cantor’s problem on the cardinal number of the continuum.
This problem asks for a proof of the continuum hypothesis (CH), that is,
the conjecture that ʹՅబ ൌ Յଵ (see Chapter 11). In the next International
Congress of Mathematicians at Heidelberg (1904), Julius König (1849-
1913) delivered a lecture in which he argued that ʹՅబ is not an aleph, i.e.,
that the continuum cannot be well-ordered and so that CH was false.
König’s astonishing argument stimulated some of those of the attendees to
explore the matter further. By the next day Zermelo had found an error in
König’s argument. Later the same year, Felix Hausdorff published an
article where he claimed that Թ could be well-ordered and that every
infinite cardinal was an aleph. By the same time, Zermelo published an
epoch-making article in which he proved that every set can be well-
ordered. Three years later he published his famous axiomatization of set
theory (see Chapter 13). In the meanwhile, Hausdorff developed the higher
transfinite in his study of order types and cofinality. In this way, Hilbert’s
first problem passed to the next generation of mathematicians.
Zermelo’s proof that every set can be well-ordered rested on the
controversial axiom of choice (it is actually equivalent to it), so it
remained to prove the consistency of this axiom with the remaining
axioms of set theory. This was done by Kurt Gödel in another epoch-
making article published in 1938. In the same paper, Gödel established
that if ZFC (Zermelo-Fraenkel set theory with the axiom of Choice) is
consistent, then so is ZFC+CH. The consistency of ZFC+ CH was
established by Paul Cohen (1934-2007) in 1963 by a method called
forcing. So, by Gödel’s and Cohen’s results, CH was finally shown to be
independent of the axioms of ZFC. This was for Cohen (who was a
formalist) the end of the story. For Gödel (who was a Platonist) it was not.
He proposed to introduce the so-called axioms of infinity (or large-
cardinal axioms) in order to prove this and other hitherto undecidable
sentences. Gödel’s program is still pursued nowadays, but without any
240 Appendix
definitive result regarding the proof of CH. For some mathematicians and
philosophers CH is an undecidable sentence because it is not a well-
defined problem, the view of Solomon Feferman (1928-2016), or because
our experience with constructing models of ZFC+CH and ZFC+ CHas
argued by Joel Hamkins (1966- ).
PROBLEM 2.
The compatibility of the arithmetical axioms.
The proof of the consistency of analysis (see Chapter 14) was the crux of
the so-called Hilbert’s program (see Chapter 20). In 1924 W. Ackermann
believed to have achieved a consistency proof of analysis, but when
reviewing of this proof he realized that he had just proved the consistency
of a fragment of arithmetic. In 1927, J. von Neumann improved the
techniques introduced by Ackermann, although he still failed to get the
desired proof of the consistency of analysis. In 1928 at the International
Congress of Mathematicians held in Bologna, Hilbert considered that
thanks to the work of Ackermann and von Neumann “the only remaining
task consists in the proof of an elementary finiteness theorem that is purely
arithmetical.”1 However, Gödel soon demonstrated that Hilbert’s aim of
proving the consistency of analysis was unfeasible. More concretely,
Gödel demonstrated in 1931 the incompleteness of every consistent and
sufficiently strong theory T, such as PA (Peano arithmetic) or ZFC, and
soon after he also showed informally the unprovability in such a theory of
the statement formalizing “T is consistent.” This yielded a negative
solution to Hilbert’s second problem for it established the impossibility for
even weak theories like PA of demonstrating his own consistency. Positive
results (using techniques that Hilbert surely would not have allowed) are
due to Gerhard Gentzen in 1936 and Petr Sergeevich Novikov (1901-
1975) in 1941.
PROBLEM 3.
The equality of the volumes of two tetrahedra
of equal bases and equal altitudes.
The Wallace-Bolyai-Gerwien theorem, proved in the nineteenth century,
says that if polygons ܣand ܤare of equal area, polygon ܣmay be cut into
1
Mancosu 1998, 229.
The Hilbert Problems Revisited 241
PROBLEM 4.
Problem of the straight line as the shortest
distance between two points.
As remarked by Hilbert this is a “problem relating to the foundations of
geometry”3 and indeed one that he formulated precisely in axiomatic
terms. More concretely, Hilbert asks for geometries that sit close to
Euclidean geometry in which all axioms remain valid except the strong
congruence axiom and this axiom is replaced by the requirement that
straight lines are the shortest distance between two points. In the
conclusion to his comments on Problem IV, Hilbert summarizes the
problem by saying that it would be desirable to make a complete and
2
Hilbert 1965, vol. 3, 302.
3
Ibid.
242 Appendix
PROBLEM 5.
Sophus Lie’s concept of a continuous group of
transformations without the assumption of the
differentiability of the functions defining the group.
This problem has played a key role in the development of the theory of
topological groups. Hilbert’s fifth problem, like other Hilbert’s problems,
does not have a unique interpretation. The most common formulation of
Hilbert’s fifth problem is whether a locally Euclidean topological group is
a Lie group. A Lie group is a group ܩൌ ሺܩǡήሻ which is also a smooth
manifold, such that the group operations ή ܩ ൈ ܩ ื ܩand ሺሻିଵ ื ܩ
ܩare smooth maps.5
4
A Desarguesian space is a space of geodesics ሺܺǡ ݀ሻሻ(a ܩ-space) in which the
role of geodesics is played by ordinary straight lines. The name comes from the
fact that, for ݊ ൌ ʹ, it is required that Desargues theorem and its converse are
valid; for dimension ݊ ʹ, it is required that any point in ܺ lies in one plane.
These conditions are equivalent to Hilbert’s demand that we keep the strong
congruence axiom and replace it by the requirement that ordinary lines are the
shortest distance between points.
5
For a function to be smooth, it has to have continuous derivatives up to a certain
order, say ݇. We say then that the function is ܥ . So smoothness implies
The Hilbert Problems Revisited 243
PROBLEM 6.
Mathematical treatment of the axioms of physics
According to Hilbert “the investigations on the foundations of geometry
suggest the problem: To treat in the same manner, by means of axioms,
those physical sciences in which mathematics plays an important part; in
the first rank are the theory of probabilities and mechanics.”8 To
understand Hilbert’s statement of the problem we have to recall that
Geometry itself was for Hilbert a physical science (see Chapter 3 and
Chapter 7) and that he had already axiomatized it in 1900 (see Chapter 8),
so that he could think of it as a model for the mathematical treatment of
the axioms of other physical sciences.
Hilbert’s approach to the foundations of physics was always via the
axiomatic method. From 1912 to 1914 Hilbert applied the axiomatic
method to the kinetic theory of gases and the elementary theory of
radiation. By 1915 he applied it to what he then called the Foundations of
Physics, that is, the formulation of a unified theory of gravitational fields
continuity, but not the other way around. There are functions that are continuous
everywhere, but nowhere differentiable.
6
A topological group is called locally Euclidean if it has a neighbourhood of the
identity that is homeomorphic to a Euclidean space Թ , i.e., if it is a topological
manifold.
7
Gleason, A. M. “Groups without small subgroups,” Ann. of math., 56 (1952):
193–212. Montgomery, D. and Zippin, L. “Small subgroups of finite dimensional
groups,” Ann. of math., 56 (1952): 213–241.
8
Hilbert 1965, vol. 3, 306.
244 Appendix
PROBLEM 7.
Irrationality and transcendence of certain numbers.
This problem asks whether “the expression ߙ ఉ , for an algebraic base ߙ
and an irrational algebraic exponent ߚ , e. g., the number ʹξଶ or
݁ గ ൌ ݅ ିଶ ǡ always represents a transcendental or at least an irrational
number.”10 It was solved by Alexander Gelfond (1906-1968) in 1934 and
Theodor Schneider (1911-1988) in 1935. In a previous paper of 1929
Gelfond “proved that ݁ గ is actually transcendental and indicated how his
9
Hilbert 2009, 28-29.
10
Hilbert 1965, vol. 3, 308.
The Hilbert Problems Revisited 245
11
Hille 1942, 654.
12
For a technical and complete exposition of the problem and the mathematical
developments arising from it, see the Official Problem Description by E. Bombieri
(http://www.claymath.org/sites/default/files/official_problem_description.pdf).
246 Appendix
PROBLEM 9.
Proof of the most general law of reciprocity
in any number field.
We have extensively dealt with the origins of this problem in Chapter 4.
As remarked there, Hilbert himself had contributed to the solution of this
problem in 1895 and 1896 with a generalization of the reciprocity law by
means of the norm residue symbol, later called Hilbert symbol. After
Hilbert, Ph. Furtwängler, T. Takagi, H. Hasse and E. Artin made important
contributions to the study of reciprocity laws. In 1927 Artin gave
reciprocity laws for general number fields. Artin’s reciprocity law is the
crux of class field theory. In 1950 Igor Shafarevich (1923-2017) settled the
analogous question of reciprocity laws for function fields. Artin’s
reciprocity law is usually considered a partial solution of Hilbert’s 9th
problem, since it deals with Abelian extension of algebraic number fields.
The analogue problem for non-Abelian extensions, which is intimately
connected with Hilbert’s 12th problem, is still an open problem.
PROBLEM 10.
Determination of the solvability of a Diophantine equation.
A Diophantine equation is a polynomial equation ܲሺݔଵ ǡ ǥ ǡ ݔ ሻ with
integers as coefficients. It is solvable if there are integral solutions. For
example, the Fermat equation ݔ ݕ ൌ ݖ for a given natural number n
is a Diophantine equation which has infinitely many solutions for ݊ ൌ ͳǡ ʹ
and no solutions for larger n. Hilbert tenth problem asks for a computing
algorithm (a decision procedure) which tells of a given Diophantine
equation whether it is solvable or not. The Russian mathematician Yuri
Matiyasevich (1947- ), working on previous work by Martin Davis (1928-
), Julia Robinson (1919-1985) and Hilary Putnam (1926-2016), showed in
1970 that there is no such algorithm, so giving a negative solution to
Hilbert’s tenth problem.
13
Hilbert 1965, vol. 3, 310.
The Hilbert Problems Revisited 247
PROBLEM 11.
Quadratic forms with any algebraic numerical coefficients.
Quadratic forms were first studied over Ժ, by all the great number theorists
from Fermat to Dirichlet. A major portion of Gauss’s Disquisitiones
Arithmeticae was devoted to the study of binary quadratic forms over the
integers. By the late 19th century the concept was generalized since it was
realized that it is easier to solve equations with coefficients in a field ܭ
than in an integral domain like Ժ and that a firm understanding of the set
of solutions in the fraction field of ܭis prerequisite to understanding the
set of solutions in ܭitself. In this regard, a general theory of quadratic
forms with Է-coefficients was developed by Minkowski in the 1880s and
extended and completed by Hasse in his 1921 dissertation.
This problem asks for the classification of quadratic forms over
algebraic number fields. A quadratic form over a field ܭis a polynomial
ሺݔሻ ൌ ሺݔଵ ǡ ǥ ǡ ݔ ሻ ܭ אሾݔଵ ǡ ǥ ǡ ݔ ሿ, with coefficients in ܭ, such that each
monomial term has total degree ʹ, that is,
14
Davis 1973, 233-34.
248 Appendix
with ܽ ܭ א. Let ǡ ݍbe two ݊-ary quadratic forms. We say that they are
equivalent if there is an invertible homogeneous linear substitution of the
variables ݔଵ ǡ ǥ ǡ ݔ which takes the form ݍto the form . For example, if
ሺݔǡ ݕሻ is the form ݔଶ െ ݕଶ and ݍሺݔǡ ݕሻ is ݕݔ, the substitution ݔ ݔ
ݕǡ ݕ ݔെ ݕchanges ݍto since ݍሺ ݔ ݕǡ ݔെ ݕሻ ൌ ሺ ݔ ݕሻሺ ݔെ ݕሻ ൌ
ݔଶ െ ݕଶ ൌ ሺݔǡ ݕሻ.
As remarked by M. Hazewinkel, “the problem is to classify quadratic
forms up to this equivalence. This was solved in [Hasse, 1924] by the
Hasse–Minkowski theorem and the Hasse invariant. The theorem says that
two quadratic forms over a number field ܭare equivalent if and only if
they are equivalent over all of the local field ܭ for all primes of ܭ. For
instance for ܭൌ Է, the rational numbers, two forms over Է are equivalent
if and only if they are equivalent over the extensions Թ, the real numbers,
and the -adic numbers Է for all prime numbers . This reduces the
problem to classification over local fields, which is handled by the Hasse
invariant (apart from rank and discriminant).”15
PROBLEM 12.
Extension of Kronecker’s theorem on Abelian fields
to any algebraic realm of rationality.
This problem asks for the extension of the Kronecker-Weber theorem on
Abelian extensions of the rational number to any base number field. As we
already know, Kronecker-Weber theorem asserts that every finite Abelian
extension of Է is a subfield of a cyclotomic field. Recall that a cyclotomic
field is a number field of the form Էሺߦ ሻ, where ߦ ൌ ሺʹߨ݅Τ݉ሻ (see
Chapter 4). It was Kronecker’s Jugendtraum (dream of youth) to find
similar functions whose values could generate analogues of cyclotomic
fields over other number fields. The attempt to prove Kronecker
Jugendtraum, i.e., Hilbert’s twelfth problem, has led to many important
theories in mathematics, particularly class field theory and complex
multiplication. The problem has been settled for certain number fields;
e.g., imaginary quadratic fields and their generalization, the so-called CM
fields.
15
Hazewinkel 2005, 737. The paper mentioned is Hasse, H. “Äquivalenz
quadratischer formeln in einem beliebigen algebraischer Zahlkörper,” J. reine und
angew. Math., 153 (1924): 113-130.
The Hilbert Problems Revisited 249
PROBLEM 13.
Impossibility of the solution of the general equation of the
seventh degree by means of functions of only two variables.
This problem asks whether it is possible to write every continuous
function of three variables as a superposition of continuous functions of
two variables. A superposition is just a composition of functions. For
example,
݂ሺݔǡ ݕǡ ݖሻ ൌ ܨቀ݃ሺݔǡ ݕሻǡ ݄൫݆ሺݔሻǡ ݇ሺݖሻ൯ቁ
is a superposition of functions of one and two variables. The question is
then whether all functions of three variables are representable by functions
of two variables. Hilbert conjectured a negative answer:
16
Hilbert 1965, vol. 3, 312.
17
Ibid., 314.
250 Appendix
PROBLEM 14.
Proof of the finiteness of certain complete systems
of functions.
The fourteenth problem may be formulated as follows: Let ݇ be a field and
ݔଵ ǡ ǥ ǡ ݔ algebraically independent elements over ݇. Let ܭbe a subfield
of ݇ሾݔଵ ǡ ǥ ǡ ݔ ሿ containing ܭ. Is the ring ݇ሾݔଵ ǡ ǥ ǡ ݔ ሿ ܭ תfinitely
generated over ݇?
Hilbert’s motivation for this problem came from its positive answer in
the case of algebraic invariant theory: If ሺ݇ሻ ൌ Ͳ, ܩis a linear
algebraic group acting on a polynomial ring ݇ሾݔଵ ǡ ǥ ǡ ݔ ሿ and ܭis the field
of ܩ-invariant rational functions, then ݇ሾݔଵ ǡ ǥ ǡ ݔ ሿ ܭ תis the ring of ܩ-
invariant polynomials over ݇. As we already know, Hilbert had proved
that this ring is finitely generated (see Chapter 2). However, the answer to
the 14th problem is negative: Masayoshi Nagata (1927-2008) found in
18
Browder 1976, 45-46.
The Hilbert Problems Revisited 251
PROBLEM 15.
Rigorous foundation of Schubert’s enumerative calculus.
This problem asks for the justification of Hermann Schubert’s (1848-
1911) enumerative calculus and the verification of the numbers he
obtained. Hilbert’s statement of the problem is as follows:
To establish rigorously and with an exact determination of the limits of
their validity those geometrical numbers which Schubert especially has
determined on the basis of the so-called principle of special position, or
conservation of number, by means of the enumerative calculus developed
by him.20
19
Ibid., 431-32.
20
Hilbert 1965, vol. 3, 312. Schubert’s treatment of enumerative geometry rested
heavily on the principle of special position or conservation of number. This
principle was introduced in the context of projective geometry by Poncelet, who
called it the principle of continuity (see Chapter 3). Despite the criticism of Cauchy
and Study, among others, the principle came into widespread use.
252 Appendix
PROBLEM 16.
Problem of the topology of algebraic curves and surfaces.
The problem, as stated by Hilbert, splits in two different parts. The first
part asks for an investigation of the relative positions of the branches of
real algebraic curves and surfaces of degree n. In 1876 Axel
Harnack (1851-1888) had found that algebraic curves in the real projective
plane of degree n could have no more than ሺ݊ଶ െ ͵݊ ͶሻΤʹ separated
connected components. He also showed how to construct curves with this
maximum number of components, the so-called M-curves. In his
investigation of the M-curves of degree 6, Hilbert found that the 11
components were always disposed according to certain constrains. The
first part of problem 16 then asks for a thorough investigation of the
possible configurations of the components of the M-curves and for similar
21
Browder 1976, 455-56.
22
Ibid., 445.
The Hilbert Problems Revisited 253
PROBLEM 17.
Expression of definite forms by squares.
Hilbert’s 17th problem is concerned with the representation of positive
definite rational functions as a sum of squares. A rational function
݂ሺݔଵ ǡ ǥ ǡ ݔ ሻ is positive definite if it takes non-negative values in all points
of Թ where it is defined. Hilbert conjectured that such a function can be
written as a sum of squares of rational functions with real coefficients. The
case ݊ ൌ ʹ had been settled by Hilbert in a paper of 1893. The general
case was solved affirmatively by Emil Artin in 1927. More concretely,
Artin proved Hilbert’s conjecture for rational functions defined over real
closed fields (such as, for example, the real numbers) and over arbitrary
fields under the condition that they have only Archimedean orderings (this
is the case, for example, of algebraic number fields). Artin proof was not
constructive and used the machinery of the Artin-Schreier theory of
formally real fields. A constructive solution to Hilbert’s 17th problem was
given by Charles N. Delzell (1953- ) in 1984.
23
Ilyashenko 2002, 301.
254 Appendix
PROBLEM 18.
Building up of space from congruent polyhedral.
This problem raises three different questions. The first question asks
whether there are only finitely many types of subgroups of the group ܧሺ݊ሻ
of isometries of Թ with compact fundamental domain. It was answered
affirmatively by Ludwig Bieberbach in 1910, who also gave estimates of
the number of these subgroups in 2-space and 3-space. These subgroups
are now called Bieberbach groups.
The second question asks whether Euclidean space can be filled
without overlap by congruent copies of a certain polyhedron which is not
the fundamental domain for any Bieberbach group. It was answered in the
negative by Karl Reinhardt (1895-1941) in 1928 by means of a 3-
dimensional counter-example. A simpler 2-dimensional counter-example
was given by Heinrich Heesch (1906-1995) in 1935.
Finally, Hilbert raises the following question: “How can one arrange
most densely in space an infinite number of solids with the same given
form, e.g., spheres with given radii […], that is, how can one so fit them
together that the ratio of the filled to the unfilled space may be as great as
possible?”24 As J. Milnor has written in the article “Hilbert’s Problem 18:
On Crystalographic Groups, Fundamental Domains, and on Sphere
Packing”: “For 2-dimensional disks this problem has been solved by Thue
and Fejes Tóth, who showed that the expected hexagonal (or honeycomb)
packing of circular disks in the plane is the densest possible. However, the
corresponding problem in 3 dimensions remains unsolved. This is
scandalous situation since the (presumably) correct answer has been
known since the time of Gauss […] All that is missed is a proof.”25
PROBLEM 19.
Are the solutions of the regular problems in the calculus
of variations always necessarily analytic?
Problems 19, 20 and 23 deal with the calculus of variations. As noted by
E. Bombieri in the paper “Variational Problems and Elliptic Functions,”
“this problem of regularity, together with the problem of existence of
solutions, form two central questions in the theory of variational
24
Hilbert 1965, vol. 3, 319.
25
Browder 1976, 500. For a more updated view of current research trying to
answer this question see Hazewinkel (2005, 740).
The Hilbert Problems Revisited 255
PROBLEM 20.
The general problem of boundary values.
In this problem, Hilbert turns his attention to the question of the existence
of solutions of partial differential equations when the boundary values are
prescribed. More specifically, he asks whether every regular variational
problem does not have a solution, provided certain assumptions regarding
given boundary conditions are satisfied […] and provided also if need be
that the notion of a solution shall be suitably extended.”28 As examples of
boundary conditions, Hilbert mentions that the functions concerned are
continuous or have one or more derivatives. As remarked by J. Serrin in
his paper “The Solvability of Boundary Value Problems”:
Several main ideas have become dominant in studying the existence of
solutions of elliptic partial differential equations satisfying given boundary
conditions, namely:
I. Continuation of solutions along a parameter, for which the problem
varies from a known situation to a desired one.
26
Browder 1976, 526.
27
Ibid.
28
Hilbert 1965, vol. 3, 322.
256 Appendix
The main agent in the dissemination of the first two approaches was Sergei
Bernstein in a series of papers written between 1910 and 1912. His work
was clarified by Juliusz Schauder (1899-1943) in 1934 and complemented
by the work of Georges Giraud (1889-1943). The third approach was
initiated by Hilbert and brought to the so-called direct method of the
calculus of variations, which was later developed by Richard Courant,
Leonida Tonelli (1885-1946) and Charles Morrey (1907-1984), among
others.30
PROBLEM 21.
Proof of the existence of linear differential equations
having a prescribed monodromic group.
More specifically, Hilbert’s 21th problem is to show that “there always
exists a linear differential equation of the Fuchsian class, with given
singular points and monodromic group.”31 Linear differential equations
defined in an open, connected set ܵ in the complex plane have a
monodromy group, which is a linear representation of the fundamental
group of ܵ, summarising all the analytic continuations round loops
within ܵ. Literally, Hilbert’s problem is the inverse problem, namely that
of constructing the equation, given a monodromic representation.
However, it should be noted that although Hilbert talks of “equation” what
he had in mind was undoubtedly “system of equations,” since it was
already known at that time that for equations the problem had a negative
answer. So Hilbert’s problem asks whether there always exists a Fuchsian
system with given singularities and monodromy. In a paper of 1908, Josip
Plemelj (1873-1967) answered affirmatively a problem analogue to
Hilbert’s 21th problem concerning regular systems instead of Fuchsian
29
Browder 1976, 509.
30
Much more could be said about the mathematical research in the twentieth
century inspired by Hilbert’s 19th and 20th problems. We refer the interested
reader to the papers by Serrin and Bombieri already mentioned (In Browder 1976,
507-24 and 525-35 respectively).
31
Hilbert 1965, vol. 3, 322.
The Hilbert Problems Revisited 257
ones. For many years this was thought also a positive solution to Hilbert’s
problem. However, in 1989 Andrei Bolibruch (1950-2003) found a
counterexample. He constructed a monodromic system with Fuchsian
singularities and a not Fuchsian one (thus a not Fuchsian system, although
a regular one), so giving a definitive negative solution to Hilbert’s 21th
problem.
PROBLEM 22.
Uniformization of analytic relations by means
of automorphic functions.
Classical uniformization theory, developed mainly during the last two
decades of the 19th century and the first decade of the 20th, was concerned
with proving that every algebraic or analytic curve can be uniformized,
that is, represented parametrically by single-valued (or “uniform”)
functions. Some of the most illustrious mathematicians of that time were
involved on the topic: Friedrich Schottky (1851-1935), Weierstrass, Klein,
Schwarz, Hilbert and Poincaré, among others. The complex 1-dimensional
case was solved by Henri Poincaré and Paul Koebe in 1907 in the form of
the general uniformization theorem, which asserts that if a Riemann
surface (i.e., a connected 1-dimensional complex manifold) is
homeomorphic to an open subset of the complex sphere, then it is
conformally equivalent to an open subset of the complex sphere (a
conformal mapping is a holomorphic bijection between Riemann
surfaces). For higher complex dimensions, Hilbert’s 22nd problem, as well
as various of its generalizations, is still open.
PROBLEM 23.
Further development of the methods of the
calculus of variations.
As remarked by Hilbert, in contrast with the other 22 problems, the 23rd is
not a definite and specific problem, but rather a general problem, namely
“the indication of a branch of mathematics repeatedly mentioned in this
lecturewhich, in spite of the considerable advancement lately given it by
Weierstrass, does not receive the general appreciation which, in my
opinion, is its dueI mean the calculus of variations.”32 As J. J. Gray has
32
Ibid., 323-24.
258 Appendix
noted, “after the brisk presentation of the previous four problems, the
lengthy disquisition here suggests not only that Hilbert found the topic
very important but that he was beginning to have quite precise ideas about
what could be done to advance it.”33 An excellent and illuminating
exposition on the development of the calculus of variations before and
after 1900 is to be found in the article “Hilbert’s Twenty-Third Problem.
Extensions of the Calculus of Variations” by G. Stampachia.34 Some
modern extensions and links of the calculus of variations with theories
such as optimal control theory and dynamic programming, the theory of
minimal differential geometric objects such as geodesics, minimal surfaces
and Plateau’s problem, the theory of variational inequalities and convex
analysis are also noteworthy.35
33
Gray 2000, 122-24.
34
In Browder (1976, 611-628).
35
See Hazewinkel (2005, 742) for references.
REFERENCE LIST
Cox, D. A. Primes of the form ݔଶ ݊ ݕଶ . Fermat, Class Field Theory, and
Complex Multiplication (2nd ed.). New York: Wiley, 2013.
Crilly, T. “Invariant theory”. In Grattan-Guinness, I. (ed.), Companion
Encyclopedia of the History and Philosophy of the Mathematical
Sciences, vol. I, 787–793. London: Routledge, 1994.
Curbera, G. P. Mathematicians of the world, unite! The International
Congress of Mathematicians࣓a human endeavour. Wellesley, MA: A
K Peters, 2009.
Davis, Martin: “Hilbert’s Tenth Problem is Unsolvable.” The American
Mathematical Monthly, vol. 80 (1973):233-269.
Dick, A. Emmy Noether, 1882-1935. Boston: Birkhäuser, 1981.
Dieudonné, J. “The work of Nicholas Bourbaki.” The American
Mathematical Monthly, 77 (1970): 134-145.
—. History of Functional Analysis. Amsterdam: North-Holland, 1981.
—. “David Hilbert (1862-1943).” Rev. Integr. Temas Mat. 2, no. 1(1983):
27-33.
Ehrlich, Ph. (ed.). Real Numbers, Generalizations of the Reals, and
Theories of Continua. Dordrecht: Kluwer Academic Publishers
(Synthese Lybrary, 242). General Introduction by the Editor: vii-xxxii,
1994.
Ewald, W. B. (ed.). From Kant to Hilbert. A Source Book in the
Foundations of Mathematics. 2 vols. Oxford: Clarendon Press, 1996.
Fraenkel, A. A. Recollections of a Jewish Mathematician in Germany.
Birkhäuser, 2016.
Frege, G. Wissenschaftlicher Briefwechsel. Hamburg: F. Meiner, 1976.
Frei, G. (ed.). Der Briefwechsel David Hilbert-Felix Klein (1886-1918).
Göttingen: Vandenhoeck&Ruprecht,1985.
Freudenthal, H. “The main Trends in the Foundations of Geometry in the
19th Century.” In Nagel, E., Suppes P., and Tarski, A. (eds.), Logic,
Methodology and Philosophy of Science: Proceedings of the 1960
International Congress. Stanford: University Press, 613–621, 1962.
Gauss, F. G. Disquisitiones Arithmeticae. Leipzig: Fleischer, 1801. PURL:
http://resolver.sub.uni-goettingen.de/purl?PPN235993352.
Gödel, K. Collected Works, Vol. I. Publications 1929–1936 (S. Feferman,
et al., eds.). New York: Oxford University Press, 1986.
Grattan-Guinness, I. “A sideways Look at Hilbert’s Twenty-three
Problems of 1900.” Notices of the AMS, 47, no. 7(2000): 752-57.
Gray, J. J. The Hilbert Challenge. Oxford: University Press, 2000.
Hazewinkel, M. “David Hilbert, Paper on ދMathematical Problemsތ
(1901)”. In Grattan-Guinness, I. (ed.), Landmark Writings in Western
Mathematics 1640-1940. Amsterdam: Elsevier, 2005.
Hilbert, Göttingen and the Development of Modern Mathematics 261
M O
Macaulay, Francis 211 Ocagne, Maurice d’ 109-10
Madelung, Erwin 151 Oppenheimer, Robert 187, 234, 236
Magnus, Wilhelm 217
Maier, Heinrich 146 P
Mandelbrojt, Szolem 227 Padoa, Alessandro 110
Maschke, Heinrich 89-91 Pais, Abraham 234
Matiyasevich, Yuri 246-47 Pasch, Moritz 30, 34, 36-7, 80, 95
Maxwell, James 149 Pauli, Wolfgang 183, 187, 234
Menger, Karl 200 Pauling, Linus 187
Mie, Gustav 152-54, 244 Peano, Giuseppe 95, 99, 110, 123,
Minkowski, Hermann 1, 4, 7, 10-2, 132-33, 240
21, 24, 27, 36, 39-41, 65, 67, Picard, Émile 12
103-04, 112, 117-18, 130, 139- Pieri, Mario 80, 95
43, 149, 205, 217, 223, 247-48 Planck, Max 4, 58, 123, 140-41,
Misch, Georg 144 149, 151-52
Misses, Richard von 218, 222 Playfair, John 75
Mittag-Leffler, Gösta 145 Plemelj, Josip 256
Monge, Gaspard 27 Plücker, Julius 11, 54
Montgomery, Deane 236, 243 Pogorelov, Aleksei 242
Moore, Eliakim Hastings 88-94 Pohl, Robert 183
Morette, Cécile 234 Poincaré, Henri 12, 56, 58, 77, 103,
Morrey, Charles 256 110, 116-17, 134-35, 138-39,
Mumford, David 238, 251 140, 144-46, 160, 171, 194, 199,
225, 257
N Poisson, Siméon 53
Nagata, Masayoshi 250 Pólya, Georg 159-60
Nambu, Yoichiro 234 Poncelet, Jean-Victor 27, 29-30, 73,
Nelson, Leonard 144, 146, 160, 182, 251
184 Possel, Renné de 226-27
Nernst, Walther 140, 151-52 Prandtl, Ludwig 65, 130, 152, 184
Neugebauer, Otto 217, 221 Putnam, Hilary 246
Neumann, Carl 61, 98, 116
Hilbert, Göttingen and the Development of Modern Mathematics 271