Paul Joseph Cohen
Used technique called "forcing" to prove the independence in set theory of the axiom of choice and of the generalized continuum hypothesis. The latter problem was the first of Hilbert's problems of the 1900 Congress.
Affiliated at time of winning
Stanford, United States