born April 22, 1929, London Did joint work with Hirzebruch in K-theory; proved jointly with Singer the index theorem of elliptic operators on complex manifolds; worked in collaboration with Bott to prove a fixed point theorem related to the "Lefschetz formula". born April 2, 1934, Long Branch, New Jersey 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.
Michael Francis ATIYAH
Oxford University
Paul Joseph COHEN
Stanford University