永続的な影響を与える作品に対する表彰
受賞者
1934–2007 · 米国 · 男性
Wikipedia ↗ WDATA ↗ OpenAlex ↗
1966
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.