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.
受賞時の所属
Stanford, 米国