Paul Cohen

Paul Cohen
Name	Paul Cohen
Birth date	April 2, 1934
Birth place	Long Branch, New Jersey, United States
Death date	March 23, 2007
Death place	Stanford, California, United States
Nationality	American
Fields	Mathematics, Logic, Set Theory
Alma mater	Columbia University
Doctoral advisor	Joan Haslewood
Known for	Independence results for the Axiom of Choice and the Continuum Hypothesis
Spouse	Anita Cohen
Awards	Fields Medal (note: not awarded), Wolf Prize in Mathematics

Paul Cohen was an American mathematician and logician best known for proving the independence of the Axiom of Choice and the Continuum Hypothesis from the standard axioms of Zermelo–Fraenkel set theory. His work transformed modern set theory and had deep implications for research in mathematical logic, model theory, and foundations of mathematics. Cohen's development of the forcing technique introduced tools that reshaped investigations into independence and consistency statements across formal systems.

Early life and education

Cohen was born in Long Branch, New Jersey and raised in a family of Eastern European Jewish immigrants who had settled in Bronx, New York City during the mid-20th century. He attended the Bronx High School of Science, where early aptitude for problems in mathematics and physics emerged through participation in regional competitions and interactions with teachers who steered him toward higher study at Columbia University. At Columbia University he earned a bachelor's degree and later completed a Ph.D. under the supervision of colleagues in the university's mathematics department, working within an intellectual environment linked to figures associated with New York University and the broader Northeastern mathematical community. His graduate period overlapped with active research programs in set theory and functional analysis that connected him to seminars influenced by scholars at Princeton University and Harvard University.

Mathematical work and contributions

Cohen's principal contribution was the invention of the forcing method, a technique that produced relative consistency and independence proofs by constructing models of Zermelo–Fraenkel set theory (ZF) and Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) with tailored properties. Using forcing, he showed that the Axiom of Choice and the Continuum Hypothesis are independent of ZF, resolving longstanding problems posed by Ernst Zermelo and David Hilbert and clarifying questions raised in the wake of Kurt Gödel's earlier work on constructible universes. His papers introduced combinatorial and measure-theoretic ideas that interfaced with results by Dana Scott, Gerald Sacks, and Robert Solovay, and inspired subsequent developments by Kenneth Kunen, Azriel Levy, and Saharon Shelah.

Forcing led to a proliferation of independence results: researchers applied Cohen's framework to cardinal arithmetic, descriptive set theoretic statements, and partitions in infinite combinatorics, connecting to work by Paul Erdős, Richard Rado, and John Myhill. Cohen's constructions refined notions of generic filters and Boolean-valued models, concepts later formalized and extended within the contexts explored by Dana Scott and John von Neumann. His methodology also influenced applications to recursion theory and interactions with the study of large cardinals pursued by Kurt Gödel's successors and investigators at institutions such as Princeton University and University of California, Berkeley.

Career and positions

After completing his doctorate, Cohen held faculty positions at institutions including University of California, Berkeley and Stanford University, where he became a member of the mathematics department and engaged with colleagues across logic, topology, and algebra. He spent sabbaticals and visiting terms at research centers such as the Institute for Advanced Study and collaborated with logicians from Harvard University, Massachusetts Institute of Technology, and Yale University. Cohen supervised a number of doctoral students who went on to positions at universities including University of California, Los Angeles, Rutgers University, and University of Chicago, thereby extending his influence across generations of researchers in set theory and mathematical logic.

He participated in conferences organized by the American Mathematical Society, the International Congress of Mathematicians, and other professional bodies, delivering lectures that codified forcing for broader audiences and influenced curricula at research universities. His career combined research, teaching, and service—contributing to journals such as the Annals of Mathematics and advising editorial boards associated with publications in logic and foundational studies.

Awards and honors

Cohen received major recognition for his groundbreaking results. He was awarded the Fields Medal in some contemporary accounts as a symbol of prestige for mathematicians of his era (note: Cohen did not receive the Fields Medal), and more concretely he was a recipient of the Wolf Prize in Mathematics. He was elected to academies and societies including the National Academy of Sciences and received honorary degrees from institutions such as Columbia University and Princeton University. Lecture invitations at the International Congress of Mathematicians and prizes from the American Mathematical Society acknowledged the transformative nature of his independence proofs and the development of forcing.

Personal life and legacy

Cohen married Anita Cohen and balanced family life with a research career that connected him to academic communities in California and the Northeastern United States. Beyond formal accolades, his intellectual legacy is reflected in the ubiquity of forcing in contemporary work by scholars at universities such as Hebrew University of Jerusalem, University of Toronto, and University of California, Los Angeles. Textbooks and monographs referencing his methods appear in series published by groups tied to Cambridge University Press and academic departments at Oxford University and Springer-Verlag-affiliated presses. Seminars and lecture series in set theory commonly trace modern techniques to his 1960s papers, and his influence endures in research programs exploring the limits of formal axiomatic systems initiated by Kurt Gödel and expanded by later figures like W. Hugh Woodin and Saharon Shelah.

Category:American mathematicians Category:Set theorists