Hilbert, Poincaré, and Gödel — Foundations at the Turn of the 20th Century

The Starting Point of 20th-Century Mathematics

After the tragic geniuses of the previous article, the 20th century opens onto a more institutionalized mathematics. Three figures stand at that starting point:

• David Hilbert (1862–1943) — center of the German Göttingen school; setter of the direction of 20th-century mathematics
• Henri Poincaré (1854–1912) — France, “the last universal mathematician”: topology, chaos, relativity
• Kurt Gödel (1906–1978) — Austria, destroys Hilbert’s dream with the incompleteness theorems

Hilbert’s dream — “prove the completeness of mathematics” — is broken in 1931 by the 25-year-old Gödel with the counter-slogan: “mathematics cannot prove its own completeness.” The most dramatic logical development of the 20th century.

David Hilbert — Center of 20th-Century Mathematics

David Hilbert (1862–1943) was a German mathematician, the central figure who set the direction of 20th-century mathematics. Born in Königsberg, East Prussia (the same city as Euler’s bridges from the earlier article). From 1895 at Göttingen, together with Felix Klein, he built the university into “the world center of mathematics.”

Breadth of Work

Period	Topic	Key results
1885–1893	Invariant theory	Hilbert basis theorem
1893–1898	Algebraic number theory	Zahlbericht
1898–1902	Foundations of geometry	Grundlagen der Geometrie
1900–1910	Integral equations	Prototype of the Hilbert space
1910–1920	Relativity and physics	Derived the field equations in parallel with Einstein
1920–1930	Foundations of mathematics	The Hilbert program

Six major areas, decisive contributions in each. Called “the greatest German mathematician since Gauss.”

Hilbert’s 23 Problems — Paris, 1900

At the Second International Congress of Mathematicians on 8 August 1900, Hilbert delivered his lecture Mathematical Problems, posing 23 problems for 20th-century mathematics to tackle.

They became the agenda of 20th-century mathematics, and many mathematicians took them up. Highlights:

• Problem 1 — the continuum hypothesis — proven undecidable by Cohen’s forcing (1963)
• Problem 2 — Consistency of arithmetic — Gödel’s incompleteness theorems show absolute consistency cannot be proved
• Problem 8 — the Riemann hypothesis — open (one of the Millennium Problems)
• Problem 10 — Decidability of Diophantine equations — Matiyasevich proved undecidability (1970)

Axiomatics — “Tables, Chairs, and Beer Mugs”

Hilbert’s view of mathematics is called axiomatic. Mathematics is a system defined by the properties (axioms) its objects satisfy, not by what those objects “really are.” He famously said:

“One must always be able to substitute for ‘point,’ ‘line,’ ‘plane’ the words ‘table,’ ‘chair,’ ‘beer mug’ and still have geometry.”

Mathematical objects, detached from concrete meaning, can be handled as symbol manipulation — this abstraction became the central methodology of 20th-century mathematics.

Grundlagen der Geometrie (1899) — Making Euclid Rigorous

By the late 19th century, it was clear that Euclid’s Elements had hidden assumptions and was not logically rigorous. In Grundlagen der Geometrie (1899), Hilbert presented five groups of axioms — incidence, order, congruence, parallelism, continuity — and completely rigorized Euclidean geometry.

To establish the independence of each axiom, he deployed model-theoretic arguments (the “beer mugs” of substituted objects). This is the starting point of modern mathematical logic.

Hilbert Space — Mathematical Foundation of Quantum Mechanics

From his work on integral equations (1900s), Hilbert introduced the concept of an infinite-dimensional inner product space — today’s Hilbert space.

The Hilbert space became the mathematical foundation of quantum mechanics, the standard language for state vectors in physics. A concept created as pure mathematics turned into a basic instrument of quantum mechanics twenty years later.

The Hilbert Program — “Saving All of Mathematics”

The plan was “prove the consistency of mathematics using finitary methods.” Propositional and predicate logic were to be made fully explicit as formal symbol manipulation, and arithmetic, analysis, and set theory built on top. The consistency of these systems would then be shown from a weaker (finitistic) system.

Three beliefs — mathematics is complete, decidable, consistent — to be proved from within mathematics itself. That was the ultimate goal.

On 8 September 1930, in Königsberg, Hilbert closed a lecture with “Wir müssen wissen, wir werden wissen” (“We must know, we shall know”). The very next day, Gödel announced the incompleteness theorems — the most ironic 24-hour interval in the history of mathematics.

The Göttingen School — “World Center of Mathematics”

The mathematicians and physicists who gathered around Hilbert led the science of the first half of the 20th century:

• Hermann Weyl — representation theory, gauge theory
• Richard Courant — partial differential equations, calculus of variations
• Emmy Noether — abstract algebra, Noether’s theorem
• John von Neumann — functional analysis, quantum theory, computer design
• Max Born (physics) — probability interpretation of quantum mechanics

“Going to Göttingen” was the aspiration of early-20th-century mathematicians.

1933 — The Nazi Ending

After the Nazi seizure of power in 1933, Jewish faculty and students were purged, and Göttingen’s golden age ended.

Asked by the Nazi education minister Rust “How is mathematics now, having expelled the Jews?” Hilbert reportedly replied:

“Mathematics in Göttingen? There is no mathematics in Göttingen anymore.”

A symbolic moment of the political destruction of mathematics. The mass emigration of scholars from Göttingen to America (Princeton) and Britain paved the way for American mathematics to flourish in the second half of the 20th century.

Henri Poincaré — “The Last Universalist”

Jules Henri Poincaré (1854–1912) was a French mathematician, physicist, and philosopher of science. Born in Nancy. In the late 19th and early 20th centuries he left first-rate work in every area — pure mathematics, celestial mechanics, electromagnetism, statistical mechanics, philosophy of science — the last universal mathematician.

Afterward, mathematics became too specialized: no one has since encompassed the whole discipline. Poincaré marks the end of an era in the history of mathematics.

Fields

Field	Contributions	Notes
Topology	Analysis Situs series	Homology, fundamental group
Dynamical systems	Three-body problem, Poincaré map	Origins of chaos theory
Automorphic functions	Fuchsian groups, automorphic forms	Developed in parallel with Klein
Relativity	Lorentz transformations, Poincaré group	Mathematical form of special relativity
Probability	Precursor of ergodic theory	Poincaré recurrence
Philosophy of science	Conventionalism	La Science et l’Hypothèse

Founding Topology and the Poincaré Conjecture

In a series of papers Analysis Situs (from 1895), Poincaré founded topology as a systematic discipline. Manifolds, homology, the fundamental group, higher-dimensional generalizations of the Euler characteristic — most of the basic concepts of modern topology appeared here.

Particularly famous: in 1904 he stated his conjecture on the characterization of the 3-sphere.

The Poincaré Conjecture

“Every simply connected closed 3-manifold is homeomorphic to the 3-sphere S³.”

It stood open for 100 years, until Grigori Perelman proved it using Ricci flow in 2002–2003. The greatest mathematical event of the early 21st century. Perelman declined the Fields Medal and the million-dollar prize — a theme of the next article.

The Three-Body Problem and the Birth of Chaos

For the prize of King Oscar II of Sweden (1887) on the three-body problem, Poincaré submitted a paper — noticed an error after printing, withdrew it, and issued a revised version (which in the process led to a new discovery). Poincaré found:

“Even a simple dynamical system like the solar system can have tiny differences in initial conditions amplified exponentially in time, making long-term prediction impossible in principle.”

This is the discovery of chaos — which led into Lorenz’s atmospheric model, fractal theory, and complex-systems science in the late 20th century. A counter-intuitive discovery: deterministic equations produce unpredictability.

Independent Path to Special Relativity

In 1905, Poincaré was the first to identify the Lorentz transformations as a group — the symmetry group now called the Poincaré group. In the same year Einstein independently published special relativity. The term “principle of relativity” was Poincaré’s, coined in 1904.

“Poincaré was ahead of Einstein by a few months,” it is sometimes said. But Poincaré was less bold in physical interpretation and did not fully abandon the ether. The historical verdict: “Special relativity’s discoverer is Einstein; the equal discoverer of its mathematical structure is Poincaré.”

The Flash on the Bus Step

A famous anecdote: Poincaré’s discovery of automorphic functions came to him as he was stepping onto a bus:

“Mathematical discovery is a crossing of conscious thought and unconscious fermentation.”

This is a theme of his philosophical essays La Science et l’Hypothèse (1902) and Science et Méthode (1908). “Creative leaps are at the heart of mathematics” — an intuitionist view, in contrast to Hilbert’s axiomatics.

Kurt Gödel — Breaking Hilbert’s Dream at 25

Kurt Friedrich Gödel (1906–1978) was an Austrian logician and mathematician. His 1931 “incompleteness theorems” rewrote 20th-century foundational mathematics from the ground up.

He took his doctorate at the University of Vienna and is remembered as the man who collapsed the Hilbert program from the inside. He later fled the Nazis to America and formed a close friendship with Einstein at the Institute for Advanced Study in Princeton.

Major Results

Result	Year	Content
Completeness theorem	1929	First-order logic is complete (doctoral thesis)
First incompleteness theorem	1931	Any consistent formal system containing arithmetic has undecidable statements
Second incompleteness theorem	1931	Any consistent formal system containing arithmetic cannot prove its own consistency
Relative consistency of CH	1940	Via the constructible universe L
Rotating universe	1949	Solution of general relativity permitting time travel

Completeness at 23, incompleteness at 25 — the ultimate case of “youth and dramatic discovery” in the history of mathematics.

First Incompleteness (1931) — Shattering Hilbert

The paper “On Formally Undecidable Propositions of Principia Mathematica and Related Systems” contained the proof.

At its heart is Gödel numbering: every symbol, formula, and proof of a formal system is assigned a natural number, and “provability” is expressed as a predicate of natural numbers. Then a self-referential statement:

“This statement cannot be proved.”

is constructed inside the system. If it could be proved, it would be false — contradiction. If it cannot be proved, it is true. So, if the system is consistent, this statement is undecidable.

A mathematical formalization of Richard’s paradox, the liar paradox, and Cantor’s diagonal method.

Second Incompleteness — Mathematics Cannot Prove Its Own Consistency

A corollary of the first theorem: “The statement expressing the consistency of the system, Con(T), cannot be proved within the system.”

Hilbert’s plan — “prove the consistency of a system inside that system (or a weaker one)” — meets its fundamental limit here. Mathematics cannot prove its own completeness or consistency from within itself — the greatest philosophical discovery of 20th-century mathematics.

Hilbert’s Lecture and Gödel’s Announcement — A 24-Hour Tragedy

• 8 September 1930 — Hilbert delivers his “We must know, we shall know” address in Königsberg
• 7 September 1930 — The day before, in the same Königsberg conference, Gödel had previewed the incompleteness theorems

Hilbert was at the conference but was not present at Gödel’s talk. Still believing “mathematics is complete,” he did not realize that his dream had been broken at the very same meeting. The most ironic timing in the history of mathematics.

Contributions to Set Theory

In 1938–1940, Gödel constructed the constructible universe L and proved that “if ZF is consistent, then ZFC + the continuum hypothesis + the axiom of choice is consistent.” The first relative consistency result in set theory.

Later, Cohen used forcing (1963) to prove the reverse (relative consistency of ¬CH), establishing the independence of the continuum hypothesis. Hilbert’s first problem was thus settled as undecidable.

The Rotating Universe and Einstein

In 1949, as a 70th-birthday gift to Einstein, Gödel presented a solution to Einstein’s field equations: a rotating universe containing closed timelike curves (CTCs) — meaning time travel is in principle possible. Not physically realistic, but an important solution showing what general relativity permits conceptually.

Princeton — Friendship with Einstein

Gödel emigrated to the United States in 1940 and stayed at the Institute for Advanced Study for life. He and Einstein walked together every day, and in his later years Einstein said:

“I go to the Institute to talk to Gödel.”

Both were from the German-speaking world (Gödel was not Jewish but fled Nazi rule). A friendship of two solitary geniuses. Their daily walks were a familiar sight at the Institute.

In his obituary, Einstein wrote:

“He was the last real genius I have known.”

The 20th century’s greatest physicist recognized its greatest logician — a rare moment.

The U.S. Citizenship Interview

Preparing for his citizenship interview, Gödel closely read the U.S. Constitution and discovered a “logical loophole that would permit a dictatorship.” Einstein and Morgenstern, who accompanied him, reportedly strained to keep him from raising this “discovery” during the interview. A famous anecdote.

Finding a logical loophole — the occupational hazard of a logician — extended even to the Constitution.

Gödel’s Tragic End

After Einstein’s death, Gödel became increasingly withdrawn, with paranoid fears (chiefly of being poisoned). While his wife Adele was hospitalized, he refused to eat and starved to death in 1978. He weighed 29 kg at death.

“He trusted only food his wife prepared, and could not eat when she was away” — extreme distrust of others broke down the greatest logician of the 20th century. The giant of logic defeated by the human fragility logic could not solve.

Modern Impact

Hilbert → modern mathematics

• Quantum mechanics — Hilbert space as the state space
• Computer science and logic — from the Hilbert program to proof theory, decision problems, computability
• Algebraic geometry — Hilbert’s Nullstellensatz
• Physics — Hilbert–Einstein action; general relativity’s field equations

Gödel → modern thought

• Computer science — Gödel numbering underlies Turing’s computability theory and explains why programs can be treated as data
• Mathematical logic — model theory, proof theory, recursion theory
• AI and philosophy — Penrose’s The Emperor’s New Mind argues, from Gödel, that “human intelligence exceeds formal computation”
• Hofstadter’s Gödel, Escher, Bach — the cult classic connecting Gödel’s self-reference to Escher’s images and Bach’s music

Poincaré → the 21st century

• Dynamical systems and chaos — weather, ecology, economics, neuroscience
• Topology and geometry — 4-manifolds, knot theory, gauge theory
• Physics — relativity, symplectic geometry
• Number theory — automorphic forms, the Langlands program

From This Article to the Next

We have traced the foundational moment of early 20th-century mathematics — Hilbert, Poincaré, Gödel. The next article turns to the women mathematicians of the same era — Emmy Noether (1882–1935) and Sophie Germain (1776–1831). Noether, whose rights Hilbert defended with “the university is not a bathhouse,” and Germain, who corresponded under a male name — the lineage of women who made mathematics at the intersection of institution and discipline.