# Paul Joseph Cohen

### Born: 2 April 1934 in Long Branch, New Jersey, USA

Died: 23 March 2007 in Palo Alto, California, USA

Click the picture above

to see eight larger pictures

to see eight larger pictures

Main Index | Biographies index |

**Paul Cohen**'s parents, Abraham and Minnie Cohen, were Jewish immigrants to the United States from their native land of Poland. Abraham Cohen was basically an odd job man, turning his hand to a variety of different jobs, while his wife brought in some much needed money to the family from dressmaking. Paul was the youngest of his parents' four children and he was brought up in Brooklyn, New York. He was brought up by his mother from the age of nine since at that time his parents separated. Interested in mathematics from childhood, he began to study advanced mathematics from a young age. He [4]:-

Throughout his teenage years he was regarded as a mathematical prodigy, amazing all around him with the abilities he displayed in mathematics competitions. He attended Stuyvesant High School in New York City, graduating in 1950 at the young age of sixteen years. This school, with a high reputation for mathematics and science, accepted only the best students after taking an entrance examination. After graduating from Stuyvesant High School, Cohen was a student at Brooklyn College from 1950 until 1953 but left without taking a degree having been admitted to graduate studies at the University of Chicago after making a visit to discuss his research options at Chicago. He studied for his master's degree at Chicago, taking courses to fit in with his aim at the time which was to undertake research in number theory. His knowledge of number theory before arriving in Chicago was from a number of classic texts that he had read on his own while at College. To fit in with this aim he began to work on number theory supervised by André Weil. He was awarded his Master's degree in 1954 but he came to be more interested in the fact that certain results in number theory were undecidable than in number theory itself, Number theory, however, remained a topic of interest to him throughout his career [14]:-... was only nine years old when his sister Sylvia checked out a book about calculus from a New York library for him. Librarians were reluctant to let her have the book, much less for her younger brother, arguing that even some college professors didn't understand calculus.

Continuing to study at Chicago for his doctorate under the supervision of Antoni Zygmund he was awarded his PhD in 1958 for his doctoral thesisHe made a habit of asking the faculty and fellow students what the most important problems were in their fields because those were the only problems he wanted to solve.

*Topics in the Theory of Uniqueness of Trigonometric Series*. In this thesis, Cohen states that he [6]:-

He begins the Introduction by putting the topic of the thesis into context [6]:-... wishes to express his deepest gratitude to Professor A Zygmund for his constant aid and encouragement during the preparation of this dissertation.

The years as a research student were good ones for Cohen and he made many friendships with fellow students, friendships that would last throughout his life. John Thompson was one such fellow research student at Chicago. Cohen, through these friendships, had also begun to take an interest in logic [14]:-The theory of uniqueness of trigonometrical series can be regarded as arsing from the question of deciding in what sense the Fourier series of a function may be considered as the legitimate expansion of the function in an infinite trigonometrical series. We know, of course, that if the series converges boundedly to the function, then indeed the coefficients of the series must be given by the Euler-Fourier Formulas. However, in the absence of such a condition, we may ask ourselves whether two trigonometrical series may converge to the same function everywhere. The answer to this question is in the negative and was essentially proved so by Riemann, the proof being completed by Cantor. It is with the replacement of the condition of convergence everywhere with that of convergence almost everywhere, that the theory of sets of uniqueness is concerned.

In 1957, before the award of his doctorate, Cohen was appointed as an Instructor in Mathematics at the University of Rochester for a year. He then spent the academic year 1958-59 at the Massachusetts Institute of Technology before spending 1959-61 as a fellow at the Institute for Advanced Study at Princeton. These were years in which Cohen made a number of significant mathematical breakthroughs. InAs a graduate student Cohen's connection with logic were his friendships with a lively group of students who became logicians; Michael Morley, Anil Nerode, Bill Howard, Ray Smullyan, and Stanley Tennenbaum. For a while he lived in Tennenbaum's house and absorbed logic by osmosis, for there were no courses in logic in the Chicago mathematics department.

*Factorization in group algebras*(1959) he showed that any integrable function on a locally compact group is the convolution of two such functions, solving a problem posed by Walter Rudin. In

*On a conjecture of Littlewood and idempotent measures*(1960) Cohen made a significant breakthrough in solving the Littlewood Conjecture. He had earlier written to Harold Davenport telling him about this result and Davenport replied [16]:-

In 1961 Cohen was appointed to the faculty at Stanford University as an assistant professor of mathematics. He was promoted to associate professor in mathematics in the following year and, also in 1962, was awarded an Alfred P Sloan research fellowship. In August 1962 Cohen participated in the International Congress of Mathematicians in Stockholm. He was an invited speaker giving the address... to Paul saying that if Paul's proof held up, he would have bettered a generation of British analysts who had worked hard on this problem. Paul's proof did hold up; in fact, Davenport was the first to improve on Paul's result.

*Idempotent measures and homomorphisms of group algebras*. On a cruise from Stockholm to Leningrad, following the Congress, Cohen met Christina Karls from Malung, Sweden. They married on 10 October 1963 and had three sons, twins Eric and Steven, and Charles.

He was promoted to full professor at Stanford University in 1964 having, by this time, solved one of the most challenging open problems in mathematics. Cohen used a technique called "forcing" to prove the independence in set theory of the axiom of choice and of the generalised continuum hypothesis. Angus MacIntyre writes [13]:-

In [7] Cohen explains how he came to the idea of forcing from reading Kurt Gödel'sA dramatic aspect of the continuum hypothesis work is that Cohen was a self-taught outsider in logic. His work on set theory and p-adic fields has a very characteristic style, combinatorial and rather free of general theory.

*The Consistency of the Continuum Hypothesis*, a book consisting of notes of a course given at the Institute for Advanced Study in 1938-39. The continuum hypothesis problem was the first of David Hilbert's famous 23 problems delivered to the Second International Congress of Mathematicians in Paris in 1900. Hilbert's famous speech

*The Problems of Mathematics*challenged (and today still challenges) mathematicians to solve these fundamental questions and Cohen has the distinction of solving Problem 1.

He had begun working on the independence of the continuum hypothesis towards the end of 1962. By April 1963 he felt things click into place [7]:-

After reading Cohen's proof which he sent in a letter of 9 May 1963, Kurt Gödel replied to him:-There are certain moments in any mathematical discovery when the resolution of a problem takes place at such a subconscious level that, in retrospect, it seems impossible to dissect it and explain its origin. Rather, the entire idea presents itself at once, often perhaps in a vague form, but gradually becomes more precise.

Cohen spoke about his work on the independence of the axiom of choice and the continuum hypothesis from the axioms of Zermelo-Fraenkel set theory in a lectureLet me repeat that it is really a delight to read your proof of the independence of the continuum hypothesis. I think that in all essential respects you have given the best possible proof and this does not happen frequently. Reading your proof had a similarly pleasant effect on me as seeing a really good play.

*Independence results in set theory*delivered at the international symposium on the 'Theory of Models' at Berkeley on 4 July 1963. His proof appeared in the two papers

*The independence of the continuum hypothesis*(1963) and

*The independence of the continuum hypothesis. II*(1964). Andrzej Mostowski, reviewing the first of these, writes:-

Angus MacIntyre, who was a graduate student at Stanford from 1964 to 1967, writes [4]:-These results present the long-awaited solutions of the most outstanding open problems of axiomatic set theory and should be rated as the most important advance in the study of axiomatic set theory since the publication of Gödel's1940monograph 'The consistency of the continuum hypothesis'(1940). ... to this reviewer it seems more than probable that the influence of Cohen's discovery will be at least as deep in metamathematics as in the general philosophy of mathematics(and perhaps not only of mathematics).

See an article by Paul Cohen on mathematics and teaching at THIS LINKHe inspired me when I was a young mathematician. I never heard him lecture on set theory, but rather on algebraic geometry and p-adic fields. He had a very special style, full of enthusiasm and very 'hands on.' He used as little general theory as possible and always conveyed a sense that he got to the heart of things. His techniques, even in something as abstract as set theory, were very constructive. He was dauntingly clever, and one would have had to be naive or exceptionally altruistic to put one's 'hardest problem' to the Paul I knew in the '60s.

In 1966 Cohen published the monograph

*Set theory and the continuum hypothesis*based on a course he gave at Harvard in spring 1965. Azriel Lévy (who first heard Cohen's results at the Berkeley model theory conference) writes:-

In the same year Cohen was awarded a Fields Medal for his fundamental work on the foundations of set theory. It was presented to him by Mstislav Vsevolodovich Keldysh, President of the USSR Academy of Sciences, at the 1966 International Congress of Mathematicians in Moscow. Only one Fields Medalist (Lars Ahlfors) has been awarded the Fields Medal at a younger age. Alonzo Church gave an address to the Congress onThis monograph is mostly an exposition of the celebrated results of the author, namely the independence of the continuum hypothesis and the axiom of choice. In addition it presents also the main classical results in logic and set theory. ... This book presents a fresh and intuitive approach and it gives some glimpses into the mental process that led the author to his discoveries. The reader will find in this book just the right amount of philosophical remarks for a mathematical monograph.

*Paul J Cohen and the continuum problem*describing Cohen's remarkable achievements. The Fields Medal, however, was not the first award that Cohen received. In 1964 he was awarded the Bôcher Memorial Prize from the American Mathematical Society:-

Three years later, in 1967, Cohen received the National Medal of Science:-...for his paper, On a conjecture of Littlewood and idempotent measures, American Journal of Mathematics82(1960),191-212.

He received the award from President Lyndon B Johnson in a ceremony in the White House on 13 February 1968. He has also been elected to the National Academy of Sciences, the American Academy of Arts and Sciences, and as an honorary foreign member of the London Mathematical Society.For epoch-making results in mathematical logic which have enlivened and broadened investigations in the foundation of mathematics.

In addition to his work on set theory, Cohen worked on differential equation and harmonic analysis. Dawn Levy reports in [12] comments made about Cohen by Peter Sarnak (professor of mathematics at Princeton and a former doctoral student of Cohen's with the thesis

*Prime Geodesic Theorems*(1980)):-

Macintyre writes about the important papers Cohen produced after his outstanding results on the continuum hypothesis [13]:-Paul Cohen was one of the most brilliant mathematicians of the2072^{th}century. Like many great mathematicians, his mathematical interests and contributions were very broad, ranging from mathematical analysis and differential equations to mathematical logic and number theory. This breadth was highlighted in a conference held at Stanford last September celebrating Cohen's work and his^{nd}birthday. The gathering consisted of leading experts in different fields who normally would not find themselves listening to the same set of lectures. ... Cohen was a dynamic and enthusiastic lecturer and teacher. He made mathematics look simple and unified. He was always eager to share his many ideas and insights in diverse fields. His passion for mathematics never waned.

Kathy Owen, who spent time at Stanford in the 1970s, wrote about Cohen at that time [16]:-In1969Cohen published a highly original paper on p-adic cell decomposition, giving a constructive version of the famous results of Ax-Kochen-Ersov. It is now fundamental for logical analysis of motivic integration. From1969on Cohen devoted himself to some of the most challenging and unyielding problems, such as the Riemann Hypothesis. He was a passionate and inspiring mathematician.

Cohen was named Marjorie Mhoon Fair Professor in Quantitative Science at Stanford in 1972, being the first holder of this chair. He formally retired in 2004, but continued teaching at Stanford until shortly before his death. He died of a rare lung disease at Stanford Hospital in Palo Alto.Paul was an astonishing man. Impatient, restless, competitive, provocative and brilliant. He was a regular at coffee hour for the graduate students and the faculty. He loved the cut-and-thrust of debate and argument on any topic and was relentless if he found a logical weakness in an opposing point of view. There was simply nowhere to hide! He stood out for his razor-sharp intellect, his fascination for the big questions, his strange interest in "perfect pitch"(he brought a tuning fork to coffee hour and tested everyone)and his mild irritation with the few who do have perfect pitch. He was a remarkable man, a dear friend who had a big impact on my life, a light with the full spectrum of colours.

As to Cohen's interests outside mathematics, he played both the piano and violin, sang in a Stanford chorus, and was a member of a Swedish folk group. He was an accomplished linguist speaking Swedish, French, Spanish, German and Yiddish. He and his wife hosted frequent dinner parties for students, colleagues and friends. He loved showing visitors round San Francisco and the surrounding area.

Let us end this biography by quoting Cohen's reminiscences about his work on the continuum hypothesis [11]:-

... it's somewhat curious that in a certain sense the continuum hypothesis and the axiom of choice are not really difficult problems - they don't involve technical complexity; nevertheless, at the time they were considered difficult. One might say in a humorous way that the attitude toward my proof was as follows. When it was first presented, some people thought it was wrong. Then it was thought to be extremely complicated. Then it was thought to be easy. But of course it is easy in the sense that there is a clear philosophical idea. There were technical points, you know, which bothered me, but basically it was not really an enormously involved combinatorial problem; it was a philosophical idea.

**Article by:** *J J O'Connor* and *E F Robertson*

**Click on this link to see a list of the Glossary entries for this page**

**List of References** (16 books/articles)

**A Quotation**

**Mathematicians born in the same country**

**Additional Material in MacTutor**

Honours awarded to Paul Cohen(Click below for those honoured in this way) | ||

1. | AMS Bôcher Prize | 1964 |

2. | Fields Medal | 1966 |

3. | LMS Honorary Member | 1973 |

4. | Popular biographies list | Number 185 |

**Cross-references in MacTutor**

**Other Web sites**