The Crisis and Rebirth of 20th Century Mathematics
Russell's 1901 paradox exposed an inconsistency in a logicist foundation. Hilbert's 1920s program, Gödel's limit theorems, and Turing's work on computability trace the new disciplines that emerged from the foundational crisis.
Select a card to move the map to that location.
Georg Cantor
A mathematician at Halle who made infinite sets comparable through one-to-one correspondence, proved that the naturals and reals have different cardinalities, and developed transfinite numbers. His ideas met serious opposition but also gained supporters during his lifetime. His recurrent depression should not be reduced to one opponent or one unsolved problem.
Gottlob Frege
In June 1902, when a letter arrived from 30-year-old Bertrand Russell in Cambridge, volume II of Frege's Grundgesetze der Arithmetik was in press. Russell's briefly stated paradox exposed an inconsistency tied to Basic Law V. Earlier, while Frege taught at Jena, Louis Nebert had published Begriffsschrift in Halle in 1879. It formalized quantification and function–argument analysis, laying foundations for modern predicate logic. Frege did not use the modern ∀/∃ glyphs there, and his mature treatment of truth-values belongs to later work. Few contemporaries read the book, but Russell, Husserl, and others carried its ideas forward.
Bertrand Russell
"Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true." — Russell discovered his paradox at Cambridge in 1901 and explained it to Frege in a letter dated 16 June 1902. The brief formal statement — R contains R iff R does not contain R — exposed an inconsistency in Frege's system. With Alfred North Whitehead he later wrote the three volumes of Principia Mathematica (1910–1913), attempting to derive mathematics from logic. Volume I famously reaches the result corresponding to 1+1=2 only late in the book, but this account does not attach it to a page without naming an edition. A philosopher, anti-war activist, and 1950 Nobel laureate in Literature, Russell died on 2 February 1970 aged 97.
L. E. J. Brouwer
In his 1907 Amsterdam doctoral thesis On the Foundations of Mathematics, 26-year-old Brouwer laid foundations for intuitionism. He rejected unrestricted use of excluded middle over infinite domains and demanded explicit construction for mathematical existence. His early topology used classical, non-constructive methods, which he later reassessed from his mature intuitionist standpoint. The 1911 fixed-point theorem — every continuous f: D^n → D^n has some x with f(x)=x — is a central result of classical topology. Brouwer opposed Hilbert's formalism in the 1920s Grundlagenstreit, and the Mathematische Annalen editorial conflict marked an institutional and academic climax of that dispute. Intuitionism later influenced constructive analysis, type theory, and proof-assistant research.
David Hilbert
A towering figure of twentieth-century mathematics. At the 1900 Paris ICM he discussed ten problems orally; the published paper contained the full list of twenty-three that helped chart a century of research. On 8 September 1930 in Königsberg he ended an address with "We must know — we will know" and soon recorded a shortened radio version. Gödel had informally announced his first incompleteness result in the same city the previous day.
Kurt Gödel
A logician who established mathematical limits of formal systems. At age 24, Gödel informally announced his first incompleteness result in a Königsberg discussion on 7 September 1930; the paper stating both theorems appeared in January 1931. Under their stated assumptions, effectively axiomatized systems strong enough for arithmetic contain sentences they cannot decide and generally cannot prove their own consistency.
Alfred Tarski
In Warsaw in 1933, 32-year-old Tarski published Pojęcie prawdy w językach nauk dedukcyjnych. He showed how to construct recursive truth definitions for specified formal languages in a stronger metalanguage. Convention T is not the definition itself but a material-adequacy condition that a satisfactory definition must meet; “Snow is white” is true iff snow is white is one T-sentence instance. The Polish original appeared in 1933, an expanded German version in 1935, and the English translation of that work in 1956. The 1944 article The Semantic Conception of Truth and the Foundations of Semantics is a separate publication. Tarski came to the United States in 1939 to attend a Unity of Science congress and could not return after the invasion of Poland. He joined UC Berkeley in 1942 and helped build a major research community in logic and model theory.
Alonzo Church
A logician who turned the ordinary phrase “computable by an algorithm” into a mathematical question where several formal systems meet. In the early 1930s Church developed lambda notation and the lambda calculus, expressing computation through functions, substitution, and reduction. In 1936 he used lambda-definability to give a negative solution to the decision problem, while Turing independently proposed an abstract machine model. The fact that these models and general recursive functions determine the same class of computable functions is a mathematical equivalence theorem. The claim that every intuitively effective procedure belongs to that class is the Church–Turing thesis, not a theorem proved from physical law. A Turing machine is also an abstract mathematical model, not a physical machine. Lambda calculus later strongly influenced functional programming and programming-language semantics, while Church helped build the logic community through journal editing and the supervision of students including Kleene, Rosser, and Turing.
Alan Turing
A mathematician who changed what it means to ask whether a problem is mechanically solvable. His 1936 abstract machine clarified computability and its limits. At Bletchley Park he made central contributions to Bombe design and Enigma cryptanalysis within a large collaborative effort; exact claims about years shortened or lives saved are estimates, not settled measurements. He later worked on computers, machine intelligence, and morphogenesis in Manchester. Convicted in 1952 for a homosexual relationship, he was forced to undergo hormonal treatment. He died from cyanide poisoning in 1954. The inquest ruled suicide, while his mother maintained that it was an accident; the apple beside him was never tested.
Paul Cohen
Born in 1934 in Long Branch, New Jersey, into a Polish-Jewish immigrant family, Cohen grew up in New York. He earned a PhD in analysis at the University of Chicago under Antoni Zygmund, then worked at MIT and the IAS before joining Stanford in 1961. After turning intensively to set theory in 1962, he invented forcing and established the relative consistency of adjoining ¬CH in 1963. Combined with Gödel’s 1940 CH direction, this established independence of the continuum hypothesis from ZFC. The forcing work earned Cohen a Fields Medal in 1966; he remained at Stanford and died in 2007.
EXPERT → RESEARCH FRONTIER
The expert stage ends with a better question.
Separate proved results from conjectures, inspect current evidence, and choose a boundary where your own inquiry can begin.
Next takeaway · One open question worth following
Explore open problems