nLab Paul J. Cohen

Paul J. Cohen (1934-2007) was an American mathematician who received the Fields medal in 1966 for his groundbreaking work in set theory.

In his proof of the independence of the continuum hypothesis from the ZFC axioms of set theory he introduced forcing into the arsenal of mathematical logic and model theory:

It was in 1963 that we were hit by a real bomb, however, when Paul J. Cohen discovered his method of ‘forcing’… Set theory could never be the same after Cohen, and there is simply no comparison whatsoever in the sophistication of our knowledge about models for set theory today as contrasted to the pre-Cohen area. One of the most striking consequences of his work is the realization of the extreme relativity of the notion of cardinal number. Dana Scott in (Bell 2005, p.xiv)

From a broader perspective Cohen’s results fit nicely into the landscape of relativising set theory and the rise of ‘variable sets’in the work of Grothendieck, Lawvere and Tierney on topos theory in the 60s and afterwards.

References

  • J. L. Bell, Set Theory - Boolean-Valued Models and Independence Proofs , Oxford Logic Guides 47 3rd ed. Oxford UP 2005.

  • A. Church, Paul J. Cohen and the Continuum Problem, pp.15-20 in Proceedings ICM Moscow 1966. (pdf)

  • P. J. Cohen, The independence of the continuum hypothesis I , Proc.Nat.Acad.Sci. 50 (1963) pp.1143-1148. (pdf)

  • P. J. Cohen, The independence of the continuum hypothesis II , Proc.Nat.Acad.Sci. 51 (1963) pp.105-110. (pdf)

  • P. J. Cohen, Set Theory and the Continuum Hypothesis , Benjamin New York 1966. (Dover reprint 2008)

category: people

Created on August 16, 2014 at 02:40:21. See the history of this page for a list of all contributions to it.