Paul Cohen: The Man Who Unlocked the Infinite
Paul Joseph Cohen (1934–2007) was one of the most singular minds in 20th-century mathematics. While many mathematicians spend their entire careers refining a single niche, Cohen achieved the rare feat of solving one of the most profound problems in the history of logic—the independence of the Continuum Hypothesis—by inventing an entirely new mathematical universe-building tool known as "forcing." He remains the only person to ever win a Fields Medal for a work in mathematical logic.
1. Biography: From Brooklyn to Stanford
Paul Cohen was born on April 2, 1934, in Long Branch, New Jersey, into a family of Jewish immigrants from Poland. He grew up in Brooklyn, where his mathematical precocity was evident early on. He attended the legendary Stuyvesant High School, a crucible for New York’s intellectual elite.
Education and Early Career:
- University of Chicago: Cohen bypassed much of the traditional undergraduate curriculum, earning his Master’s degree in 1954 and his Ph.D. in 1958 at the age of 23.
- Mentorship: His doctoral advisor was Antoni Zygmund, a titan of harmonic analysis. Cohen’s early work was focused on classical analysis, specifically the study of trigonometric series.
- Academic Positions: After brief stints at the Massachusetts Institute of Technology (MIT) and the Institute for Advanced Study (IAS) in Princeton, Cohen joined the faculty at Stanford University in 1961. He remained at Stanford for the rest of his career, becoming a Professor Emeritus until his death on March 23, 2007.
2. Major Contributions: The Continuum Hypothesis and Forcing
Cohen is best known for resolving the first of Hilbert’s 23 Problems: the Continuum Hypothesis (CH).
The Continuum Hypothesis (CH)
Proposed by Georg Cantor in 1878, CH asks: Is there a set whose size is strictly between that of the integers and the real numbers? Cantor conjectured the answer was "no." In 1940, Kurt Gödel proved that CH could not be disproved using the standard axioms of set theory (Zermelo-Fraenkel set theory with the Axiom of Choice, or ZFC).
In 1963, Cohen completed the puzzle. He proved that CH could not be proved either. This established that the Continuum Hypothesis is undecidable—it is independent of the standard axioms of mathematics.
The Invention of "Forcing"
To prove this independence, Cohen invented a revolutionary technique called Forcing.
- The Concept: Forcing allows a mathematician to take a "model" of set theory and carefully expand it by adding new "generic" sets. By controlling the properties of these new sets, Cohen was able to construct a universe where the Continuum Hypothesis was false.
- The Axiom of Choice: Using the same method, Cohen also proved that the Axiom of Choice (AC) is independent of Zermelo-Fraenkel (ZF) set theory. This showed that one can have a perfectly consistent version of mathematics where the Axiom of Choice does not hold.
Harmonic Analysis
Before his work in logic, Cohen made significant strides in analysis. He solved the Idempotent Measure Problem on locally compact abelian groups, a feat that won him the Bôcher Memorial Prize.
3. Notable Publications
- "On a conjecture of Littlewood and idempotent measures" (1960): A breakthrough paper in harmonic analysis published in the American Journal of Mathematics.
- "The Independence of the Continuum Hypothesis" (1963 & 1964): Published in two parts in the Proceedings of the National Academy of Sciences. These papers are considered among the most important in the history of 20th-century mathematics.
- "Set Theory and the Continuum Hypothesis" (1966): A monograph that provided a detailed exposition of his forcing method. It remains a foundational text for graduate students in logic.
4. Awards & Recognition
Cohen’s work was met with immediate and profound acclaim:
- Fields Medal (1966): Awarded at the International Congress of Mathematicians in Moscow. This is often cited as the highest honor in mathematics.
- Bôcher Memorial Prize (1964): Awarded by the American Mathematical Society for his work in analysis.
- National Medal of Science (1967): Presented by President Lyndon B. Johnson.
- Wolf Prize in Mathematics (1988): For his fundamental contributions to set theory and the foundations of mathematics.
5. Impact & Legacy
Cohen’s legacy is twofold. First, he ended a century of speculation regarding the nature of the infinite. His proof changed the philosophical landscape of mathematics; it suggested that there is not one "true" set theory, but a "multiverse" of set theories, each as valid as the next.
Second, Forcing became the dominant tool in set theory. Since 1963, thousands of independence results have been proven using Cohen's method. It transformed set theory from a field focused on descriptive properties into a dynamic area of "model building," where mathematicians can tailor-make universes to test the limits of logic.
6. Collaborations and Students
While Cohen was known for being a "lone wolf" who preferred to think through problems from first principles rather than reading the literature, he was a dedicated teacher at Stanford.
- Notable Student: Peter Sarnak, one of the world’s leading number theorists and a recipient of the Wolf Prize, was a student of Cohen. This highlights Cohen’s breadth, as he mentored students far outside the realm of pure logic.
- Intellectual Peers: He maintained a respectful but distant relationship with Kurt Gödel. When Cohen first sent his proof to Gödel in 1963, Gödel praised it as the
"greatest advance in foundational research"
since his own work in 1931.
7. Lesser-Known Facts
- The "Brute Force" Intellectual: Cohen was famous for his "aggressive" style of learning. He would often ask a colleague to explain the basic definitions of a field he knew nothing about, and by the end of the afternoon, he would be suggesting new theorems or finding flaws in existing proofs.
- Polyglot and Musician: He was a gifted linguist, speaking English, Swedish, French, Spanish, German, and Yiddish. He was also an accomplished pianist and violinist.
- Late-Career Ambition: In his later years, Cohen spent a great deal of time attempting to solve the Riemann Hypothesis, arguably the most famous unsolved problem in mathematics. Though he did not succeed, his colleagues noted that he approached it with the same radical, "from-scratch" mindset that led to his discovery of forcing.
- The Logic Outsider: When Cohen solved the Continuum Hypothesis, he was not considered a "logician." He was an analyst. Many professional logicians were stunned that an "outsider" had solved the field's most daunting problem in less than a year of focused effort.