Paul Cohen

1934 - 2007


Cohen used a technique called forcing to prove the independence in set theory of the axiom of choice and of the generalised continuum hypothesis.

Go to the full MacTutor biography