Hilbert & Poincaré

19.1 David Hilbert (1862–1943)

David Hilbert was born on 23 January 1862 in Wehlau (now Znamensk), near Königsberg, East Prussia. His father Otto was a city judge, and the family belonged to the educated Prussian bourgeoisie. Young David attended the Royal Friedrichskolleg and later the Wilhelm Gymnasium in Königsberg. Even as a student he displayed the fierce independence of thought that would characterize his entire career: rather than memorising classical literature he preferred to work through mathematical problems on his own terms.

In 1880 Hilbert entered the University of Königsberg, where he studied under Heinrich Weber and later Ferdinand von Lindemann (who had proved the transcendence of $\pi$ in 1882). More importantly, he formed a lifelong friendship with Hermann Minkowski, two years his junior, and with Adolf Hurwitz, who arrived as an extraordinarily young professor. The three friends took daily walks — the famous Spaziergang — during which they discussed every area of mathematics. Hilbert later said these walks were the true foundation of his mathematical education.

Hilbert completed his doctorate in 1885 with a dissertation on invariant theory (specifically on invariant properties of special binary forms). After a Habilitation the following year, he stayed in Königsberg as a Privatdozent and then as an Extraordinarius. His early work focused on algebraic invariant theory, where he would soon deliver a bombshell result that changed the field forever (see Section 19.3).

In 1895, at the initiative of Felix Klein, Hilbert was appointed to the most prestigious mathematics chair in Germany: a professorship at the University of Göttingen. Under Hilbert’s leadership, Göttingen became the unquestioned center of the mathematical world. He attracted an extraordinary constellation of talent: Minkowski, Courant, Weyl, Noether, Landau, Hecke, von Neumann, and many others passed through its halls. The tradition of the daily mathematical walk continued, and the atmosphere was one of intense, joyful collaboration.

Hilbert was remarkable for the sheer breadth of his contributions. He made fundamental advances in invariant theory, algebraic number theory, the axiomatization of geometry, integral equations (leading to the concept of Hilbert space), mathematical physics, and the foundations of mathematics. His motto, inscribed on his tombstone, captures his spirit: “Wir müssen wissen. Wir werden wissen.” (“We must know. We will know.”)

The tragedy of Hilbert’s final years lay in the Nazi destruction of Göttingen. After 1933, Jewish mathematicians were expelled — Courant, Noether, Weyl, Bernays, Landau, and many others were forced out. When the Nazi education minister Rust asked Hilbert, “How is mathematics at Göttingen now that it is free of Jewish influence?” Hilbert replied: “Mathematics at Göttingen? There is really none any more.” He died in 1943, in the middle of the war, largely forgotten, with only a handful of people attending his funeral.

19.2 Hilbert’s 23 Problems (1900)

On 8 August 1900, David Hilbert stood before the Second International Congress of Mathematicians in Paris and delivered the most influential address in the history of mathematics. In his lecture, entitled “Mathematical Problems,” he presented a carefully curated list of unsolved problems that he believed would — and should — guide mathematical research in the coming century.

Hilbert began with a philosophical preamble: “Who of us would not be glad to lift the veil behind which the future lies hidden; to cast a glance at the next advances of our science and at the secrets of its development during future centuries?” He argued that the existence of good problems is the lifeblood of mathematics, and that a branch of mathematics without problems is dead or dying. He then presented ten problems in his lecture (the full list of 23 was published in the proceedings).

The problems ranged from the most abstract questions of logic and set theory to concrete questions in number theory, geometry, algebra, and mathematical physics. Their influence was extraordinary: for the next century, “solving a Hilbert problem” became one of the highest achievements a mathematician could aspire to.

The range and depth of these problems is staggering. Some, like Problem 3, were solved almost immediately; others, like the Riemann Hypothesis (Problem 8), remain open after more than a century. Several problems (1, 2, 10) were resolved in surprising negative or independence results that Hilbert himself could not have anticipated, revealing fundamental limitations of mathematical systems.

19.3 Hilbert’s Basis Theorem

In the 1880s, the theory of algebraic invariants was one of the central areas of mathematics. Mathematicians like Cayley, Sylvester, and Gordan had spent decades laboriously computing systems of invariants for various forms, and the great open question was whether every system of invariants was finitely generated — that is, whether there always exists a finite basis from which all other invariants can be derived.

Paul Gordan, the “king of invariant theory,” had proved finite generation for binary forms (forms in two variables) through an immense constructive computation. The general case seemed hopelessly complex. Then, in 1888, the 26-year-old Hilbert delivered a proof of stunning elegance and audacity.

The revolutionary aspect of Hilbert’s proof was that it was entirely non-constructive. He showed that a finite basis must exist without actually finding one or giving any method for computing one. The proof proceeded by contradiction: assuming an ideal is not finitely generated, one builds an infinite ascending chain of ideals, which leads to a contradiction with the Noetherian property of the base ring.

The key insight is the construction of the leading term ideal. Consider an ideal $I \subseteq R[x]$ (the one-variable case illustrates the idea). For each polynomial in $I$, take its leading coefficient. The set of all such leading coefficients forms an ideal $J$ in $R$. Since $R$ is Noetherian, $J$ is finitely generated by some leading coefficients $a_1, \ldots, a_m$ coming from polynomials $f_1, \ldots, f_m \in I$. One then proves that $f_1, \ldots, f_m$ generate all of $I$ by a degree argument.

Gordan’s reaction has become legendary in mathematical folklore: “Das ist nicht Mathematik. Das ist Theologie!” (“This is not mathematics. This is theology!”). For Gordan, a proof that did not actually produce the invariants was no proof at all. However, Gordan later came around and accepted the validity of Hilbert’s approach, reportedly saying, “I have convinced myself that even theology has its merits.”

Hilbert’s proof was a watershed moment in the history of mathematics. It demonstrated the power of abstract, non-constructive methods and marked the beginning of modern abstract algebra. The concept of a Noetherian ring (later named by Emmy Noether, who generalized and axiomatized these ideas) became one of the central objects of 20th-century algebra.

19.4 Hilbert Spaces

Between 1904 and 1910, Hilbert undertook a systematic study of integral equations, publishing a series of six landmark papers. In the course of this work, he developed the theory of infinite-dimensional vector spaces equipped with an inner product — what we now call Hilbert spaces. (The name was given by von Neumann in the 1920s.)

The prototypical example is the space $L^2([a,b])$ of square-integrable functions on an interval, with inner product:

$$\langle f, g \rangle = \int_a^b f(x)\,\overline{g(x)}\,dx$$

This is an infinite-dimensional generalization of the familiar Euclidean space $\mathbb{R}^n$ with its dot product $\langle \mathbf{u}, \mathbf{v} \rangle = \sum_{i=1}^n u_i v_i$. Just as $\mathbb{R}^n$ has an orthonormal basis $\{e_1, \ldots, e_n\}$, a separable Hilbert space has a countable orthonormal basis $\{e_1, e_2, e_3, \ldots\}$ such that every element can be expanded:

$$f = \sum_{n=1}^{\infty} \langle f, e_n \rangle\, e_n$$

Key properties and theorems of Hilbert spaces include:

• Riesz Representation Theorem: every continuous linear functional $\phi : \mathcal{H} \to \mathbb{C}$ has the form $\phi(f) = \langle f, g \rangle$ for a unique $g \in \mathcal{H}$.
• Projection Theorem: for any closed subspace $M$, every vector $f$ can be uniquely decomposed as $f = m + m^{\perp}$ where $m \in M$ and $m^{\perp} \perp M$.
• Spectral Theorem: every bounded self-adjoint operator has a spectral decomposition analogous to diagonalization of symmetric matrices.
• Parseval’s Identity: $\|f\|^2 = \sum_{n=1}^{\infty} |\langle f, e_n \rangle|^2$, the infinite-dimensional Pythagorean theorem.

The importance of Hilbert spaces in quantum mechanics cannot be overstated. In the 1920s and 1930s, von Neumann, Dirac, and others formulated quantum mechanics in terms of Hilbert spaces: the state of a quantum system is a vector in a Hilbert space, observables are self-adjoint operators, and measurements correspond to projections. The inner product $\langle \psi | \phi \rangle$ gives the probability amplitude for transitioning between states. Schrödinger’s equation

$$i\hbar \frac{\partial}{\partial t}|\psi(t)\rangle = \hat{H}|\psi(t)\rangle$$

is an equation in a Hilbert space, where $\hat{H}$ is the Hamiltonian operator.

19.5 Hilbert’s Program

By the 1920s, the foundations of mathematics had become a battleground. Brouwer’s intuitionism rejected the law of the excluded middle and non-constructive proofs; Russell and Whitehead had attempted to reduce all mathematics to logic in Principia Mathematica; and paradoxes like Russell’s paradox had shaken confidence in naive set theory. Hilbert’s response was his most ambitious project: the Hilbert Program.

Hilbert’s formalism held that mathematics is fundamentally a game played with symbols according to fixed rules. The symbols need not “mean” anything; what matters is the consistency of the rules. This view was in direct opposition to Brouwer’s intuitionism, which held that mathematics is a mental construction and that existence must always be demonstrated constructively.

In a famous 1930 address in Königsberg, Hilbert proclaimed: “Wir müssen wissen. Wir werden wissen.” Ironically, on the very next day, at a satellite conference in the same city, the 24-year-old Kurt Gödel quietly announced his incompleteness theorem, which would demolish Hilbert’s program in its full generality. We take up Gödel’s devastating results in Chapter 20.

Hilbert also championed the axiomatization of physics (his 6th problem). In 1899, he had given a completely rigorous axiomatization of Euclidean geometry in Grundlagen der Geometrie, showing how to build geometry from 20 axioms organized into five groups (incidence, order, congruence, parallels, continuity). He hoped to do the same for all of physics. This vision was partially realized: the Dirac–von Neumann axioms for quantum mechanics, the Wightman axioms for quantum field theory, and the Einstein–Hilbert action for general relativity all reflect Hilbert’s axiomatic spirit. In November 1915, Hilbert independently derived the field equations of general relativity:

$$R_{\mu\nu} - \frac{1}{2}Rg_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}$$

via a variational principle, submitting his paper just five days before Einstein presented his final version. The priority question remains debated, but both Hilbert and Einstein generously acknowledged each other’s contributions.

19.6 Henri Poincaré (1854–1912)

Jules Henri Poincaré was born on 29 April 1854 in Nancy, France, into a distinguished family. His cousin Raymond Poincaré would become President of France. As a child, Henri displayed extraordinary abilities but also curious weaknesses: he was extremely nearsighted and had poor muscular coordination, which prevented him from writing clearly on the blackboard throughout his career. His mathematical imagination, however, was boundless.

Poincaré studied at the École Polytechnique (1873–75) and the École des Mines (1875–78), working briefly as a mining engineer before pursuing mathematics full-time. His doctoral thesis (1879), on differential equations, already contained the seeds of his revolutionary ideas about the qualitative theory of dynamical systems.

He is often called “the last universalist” — the last mathematician to make major contributions across virtually every area of mathematics and mathematical physics. He published over 500 papers and 30 books, contributing to topology, celestial mechanics, differential equations, number theory, algebraic geometry, complex analysis, mathematical physics, and the philosophy of science. He also wrote popular science books that made him one of the most famous intellectuals in France.

Unlike Hilbert, who favored rigorous axiomatic formulations, Poincaré was a geometer and intuitionist at heart. He thought visually and valued understanding over formal proof. He once wrote: “It is by logic that we prove, but by intuition that we discover.” His approach was sometimes criticized for lack of rigor, but his geometric insights consistently proved prophetic, opening new fields that would take decades to develop fully.

19.7 Algebraic Topology

Poincaré’s 1895 paper Analysis Situs (“Analysis of Position”) is one of the most consequential papers in the history of mathematics. In it, he single-handedly founded the field of algebraic topology — the study of topological spaces using algebraic invariants.

The fundamental idea is to associate algebraic objects (groups, rings, vector spaces) to topological spaces in such a way that continuous deformations do not change the algebraic invariant. If two spaces have different invariants, they cannot be topologically equivalent (homeomorphic).

Poincaré also introduced homology groups, which measure the “holes” in a space in each dimension. For a space that can be decomposed into simplices (triangulated), the $k$-th homology group $H_k(X)$ captures the $k$-dimensional holes:

• $H_0$ counts connected components
• $H_1$ counts one-dimensional loops (tunnels)
• $H_2$ counts two-dimensional voids (cavities)

The Betti numbers $b_k = \text{rank}(H_k)$ are the ranks of the homology groups. Poincaré showed that the classical Euler characteristic can be expressed as an alternating sum:

$$\chi(X) = \sum_{k=0}^{n} (-1)^k b_k = b_0 - b_1 + b_2 - b_3 + \cdots$$

For a surface, this recovers the classical formula $\chi = V - E + F$. For the sphere, $b_0 = 1, b_1 = 0, b_2 = 1$ gives $\chi = 2$. For the torus, $b_0 = 1, b_1 = 2, b_2 = 1$ gives $\chi = 0$.

Poincaré also discovered Poincaré duality: for a compact orientable $n$-manifold, $H_k \cong H_{n-k}$, a deep symmetry relating holes of complementary dimensions. This duality constrains the topology of manifolds and remains a cornerstone of modern algebraic topology.

19.8 The Poincaré Conjecture

In the fifth supplement to Analysis Situs (1904), Poincaré posed the question that would become the most famous problem in topology, remaining open for nearly a century.

The conjecture is deceptively simple to state. In two dimensions, the analogous statement — every simply connected closed surface is a sphere — had been known since the 19th-century classification of surfaces. Curiously, the higher-dimensional generalizations were proved first: Smale proved the conjecture for dimensions $n \geq 5$ in 1961 (earning a Fields Medal), and Freedman proved it for $n = 4$ in 1982 (also earning a Fields Medal). Dimension 3 proved the hardest.

The breakthrough came from an unexpected direction. In 2002–2003, the reclusive Russian mathematician Grigori Perelman posted three papers on the arXiv in which he proved the Poincaré conjecture as a special case of Thurston’s geometrization conjecture. His approach used Richard Hamilton’s Ricci flow, a parabolic PDE that deforms the metric on a manifold:

$$\frac{\partial g_{ij}}{\partial t} = -2R_{ij}$$

where $g_{ij}$ is the Riemannian metric and $R_{ij}$ is the Ricci curvature tensor. Intuitively, the Ricci flow smooths out a manifold, making positively curved regions shrink and negatively curved regions expand. Hamilton had introduced this in 1982 and proved many foundational results, but could not handle the singularities that develop as the flow progresses. Perelman’s key innovation was his “surgery” technique: when a singularity forms, he cuts out the offending region and caps it off, then continues the flow.

Perelman was awarded the 2006 Fields Medal but declined it, saying “I’m not interested in money or fame.” In 2010, the Clay Mathematics Institute awarded him the $1 million Millennium Prize, which he also declined. He has withdrawn from public life and from mathematics entirely.

19.9 Chaos and Dynamical Systems

Poincaré’s work on celestial mechanics led him to discover the phenomenon we now call chaos — decades before Lorenz, Smale, or anyone else used the term. The story begins with the three-body problem.

Newton had solved the two-body problem (two masses interacting gravitationally) exactly: the orbits are conic sections. But three mutually gravitating bodies? The problem had resisted solution for two centuries. In 1887, King Oscar II of Sweden offered a prize for a solution. Poincaré submitted a memoir that, while not solving the problem completely, so impressed the judges (including Weierstrass and Mittag-Leffler) that he won the prize anyway.

However, the published version contained a critical error. The correction turned out to be even more remarkable than the original: Poincaré discovered that the three-body problem exhibits what we now call sensitive dependence on initial conditions. Tiny changes in the starting positions of the three bodies lead to wildly different trajectories over time.

In studying the restricted three-body problem, Poincaré discovered homoclinic points — points where the stable and unstable manifolds of a periodic orbit intersect transversely. He described the resulting dynamics in vivid terms:

“When one tries to represent the figure formed by these two curves and their intersections, each of which corresponds to a doubly asymptotic solution, these intersections form a kind of lattice, web, or network with infinitely tight loops; neither of the two curves must ever cross itself, but must fold back on itself in a very complex fashion so as to cross all of the loops of the network an infinite number of times. One is struck by the complexity of this figure, which I do not even attempt to draw.”

This is arguably the first description of what we now call a homoclinic tangle — the hallmark of chaotic dynamics. Poincaré had discovered deterministic chaos in 1890, almost a century before Lorenz’s celebrated 1963 paper on atmospheric convection brought chaos theory to the wider scientific community.

19.10 Special Relativity Precursors

One of the most interesting episodes in the history of physics is the development of special relativity, in which Poincaré played a role that remains debated to this day. In papers from 1898 to 1905, Poincaré developed many of the key ideas:

• Relativity of simultaneity (1898): Poincaré argued that simultaneity of distant events is not absolute but depends on a convention about the speed of light.
• Lorentz transformations (1905): He showed that the transformations form a group and gave them this name. The Poincaré group is the full symmetry group of special relativity, combining Lorentz transformations with spacetime translations.
• Invariance of Maxwell’s equations: He demonstrated that electromagnetic laws are invariant under Lorentz transformations.

The Lorentz transformations for a boost in the $x$-direction with velocity $v$:

$$t' = \gamma\left(t - \frac{vx}{c^2}\right), \quad x' = \gamma(x - vt), \quad y' = y, \quad z' = z$$

where the Lorentz factor is $\gamma = 1/\sqrt{1 - v^2/c^2}$.

Einstein’s 1905 paper independently derived the same transformations from two simple postulates: (1) the laws of physics are the same in all inertial frames, and (2) the speed of light is constant. While Poincaré had the mathematics, Einstein provided the revolutionary physical interpretation: time and space themselves are relative. Poincaré never fully abandoned the concept of the luminiferous ether, whereas Einstein dispensed with it entirely.

19.11 Legacy — Setting the Agenda for 20th-Century Mathematics

Hilbert and Poincaré represent two complementary poles of mathematical thought. Hilbert was the champion of axiomatics, abstraction, and rigorous proof; Poincaré was the master of geometric intuition, qualitative insight, and broad vision. Together, they shaped virtually every major development of 20th-century mathematics.

Hilbert’s 23 problems served as a research program for an entire century. His contributions to algebra (Basis Theorem, Nullstellensatz, Zahlbericht), analysis (Hilbert spaces, integral equations), geometry (axiomatization), and foundations (formalism, the Entscheidungsproblem) laid the groundwork for abstract algebra, functional analysis, mathematical logic, and theoretical computer science. The concept of Hilbert space became the mathematical language of quantum mechanics, one of the most successful physical theories ever.

Poincaré’s legacy is equally vast. He created algebraic topology, discovered chaos, contributed to the birth of special relativity, advanced the theory of automorphic functions, and developed qualitative methods for differential equations that remain central to modern dynamical systems theory. His conjecture stood for 99 years and its resolution was the first (and so far only) solved Millennium Prize Problem.

The tension between their approaches — rigor vs. intuition, formalism vs. geometry, algebra vs. analysis — remains productive to this day. Modern mathematics at its best synthesizes both: the rigorous axiomatic framework that Hilbert championed, animated by the geometric insight and creative vision that Poincaré embodied.