SCS Faculty Awards|
School of Computer Science, Carnegie Mellon University
Pittsburgh PA 15213-3891
(412)268-8525 . (412)268-5576 (fax)
– The Fellows of the AMS designation recognizes members who have made outstanding contributions to the creation, exposition, advancement, communication, and utilization of mathematics. Among the goals of the program are to create an enlarged class of mathematicians recognized by their peers as distinguished for their contributions to the profession and to honor excellence.
– for his paper, A proof of the independence of the continuum hypothesis, Mathematical Systems Theory, volume 1 (1967), pp. 89-111.