Paul Cohen

Paul Cohen was an American mathematician whose groundbreaking work in mathematical logic and set theory fundamentally reshaped the foundations of mathematics. He is best known for inventing the technique of forcing, which he used to prove the independence of the continuum hypothesis and the axiom of choice from the standard Zermelo–Fraenkel set theory. His achievements were recognized with the highest honors in mathematics, including the Fields Medal and the National Medal of Science.

Early life and education

Born in Long Branch, New Jersey, he demonstrated exceptional mathematical talent from a young age. He attended Stuyvesant High School in New York City, a specialized school known for its rigorous STEM curriculum. He completed his undergraduate studies at Brooklyn College before pursuing graduate work at the University of Chicago. Under the supervision of Antoni Zygmund, a leading figure in mathematical analysis, he earned his Ph.D. in 1958 with a dissertation on harmonic analysis.

Mathematical career

After brief positions at the University of Rochester and the Massachusetts Institute of Technology, he joined the faculty of Stanford University in 1961, where he remained for the rest of his career. His early research interests were in analysis, including differential equations and Fourier analysis. However, his focus shifted decisively toward mathematical logic and the deep foundational questions surrounding set theory, particularly those formulated during the early 20th century by Georg Cantor and David Hilbert.

Forcing and the continuum hypothesis

In the early 1960s, he achieved a monumental breakthrough by developing the method of forcing. This novel technique allowed him to construct models of Zermelo–Fraenkel set theory that demonstrated the logical independence of two of its most famous statements. In 1963, he proved that the continuum hypothesis, a conjecture about the sizes of infinite sets first posed by Cantor, could not be proven true or false using the standard axioms. He similarly showed the independence of the axiom of choice. This work resolved the first of Hilbert's problems, establishing that the continuum hypothesis was undecidable within the prevailing framework of mathematics.

Later work and recognition

Following his seminal results, he received the Bôcher Memorial Prize in 1964 and was awarded the Fields Medal at the International Congress of Mathematicians in Moscow in 1966. In 1967, President Lyndon B. Johnson presented him with the National Medal of Science. His later research explored connections between set theory and other areas, including number theory and the study of differential equations. He also authored the influential book *Set Theory and the Continuum Hypothesis*. He was elected to both the National Academy of Sciences and the American Academy of Arts and Sciences.

Personal life and legacy

He was married to Christina, with whom he had three children. Known for his intense focus and intellectual independence, he was also an accomplished pianist with a deep appreciation for classical music. He passed away in Stanford, California in 2007. His creation of forcing remains one of the most powerful and widely used tools in modern set theory, permanently altering the landscape of mathematical logic and our understanding of mathematical truth. The Paul Cohen Award is given periodically to recognize outstanding work in the field.

Category:American mathematicians Category:Fields Medal winners Category:1934 births Category:2007 deaths