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