Date of Birth: December 13, 1928
Place of Birth: New York, New York
B.S. California Institute of Technology, 1948 (Mathematics)
Ph.D. University of California, Berkeley, 1957 (Mathematics)
Ph.D. Advisor: Alfred Tarski
Military Service: U.S. Army, 1953-55
1956-58 Instructor of Mathematics and Philosophy, Stanford University
1958-62 Assistant Professor of Mathematics and Philosophy, Stanford University
1959-60 NSF Post-doctoral Fellow at the Institute for Advanced Study, Princeton
1958-63 Consultant, Stanford Research Institute
1962-68 Associate Professor of Mathematics and Philosophy, Stanford University
1964-65 NSF Senior Post-doctoral Fellow, University of Paris and University of Amsterdam
1967-68 Visiting Associate Professor, Massachusetts Institute of Technology
1968-2003 Professor of Mathematics and Philosophy, Stanford University (Emeritus, 2004)
1972-73 Guggenheim Fellow, University of Oxford and University of Paris
1979-80 Visiting Fellow at All Souls and Wolfson Colleges, University of Oxford
1985-92 Chairman, Department of Mathematics, Stanford University (on leave 1986-87 and 1989-90)
1986-87 Guggenheim Fellow, Stanford University, ETH Zürich, University of Rome
1989-90 Fellow, Stanford Humanities Center
1993-2003 Patrick Suppes Family Professor in the School of Humanities and Sciences, Stanford University (Emeritus, 2004)
1995-96 Fellow, Center for Advanced Study in the Behavioral Sciences, Stanford University
2001 Fellow (April and May, 2001), Mittag-Leffler Institute, Djursholm, Sweden
2003 Visiting Professor of Philosophy, UC Berkeley, Spring Semester
Elected Fellow, American Academy of Arts and Sciences, 1990
University of California at Irvine Chancellor's Distinguished Fellow, Oct. 1999
Rolf Schock Prize in Logic and Philosophy for 2003
Member, Executive Committee and Council, Association for Symbolic Logic, 1964-67
Editor, Transactions and Memoirs, American Mathematical Society, 1976-79
Editor, Ergebnisse der Mathematik (Springer-Verlag), 1986-2003
Editor, Perspectives in Mathematical Logic (ASL/Springer-Verlag), 1986-2003
Member, AMS Committee on Translations, 1980-82
President, Association for Symbolic Logic, 1980-82
Advisory Editor, Studies in Proof Theory (Bibliopolis), 1983-
Member, Steering Committee, 1986 International Congress of Mathematicians, 1983-86
Editor-in-Chief, Kurt Gödel Collected Works, 1982-2003
Association for Symbolic Logic Retiring Presidential Address, "Reflecting on incompleteness", 30 Dec 1983, Boston University.
Thoralf Skolem Lectures, "New life for Skolem's finitist program", 4 Sept 1989, "Foundational ways", 5 Sept 1989, University of Oslo.
E. W. Beth Lectures, "Logics for termination and correctness of functional programs", 20 March 1990, Delft University of Technology, and "Infinity in mathematics: Where is it necessary?", 21March 1990, University of Amsterdam.
Association for Symbolic Logic Annual Gödel Lecture, "Occupations and preoccupations with Gödel: His Works and the work", 22 March 1997, Massachusetts Institute of Technology.
Spinoza Lecture at ESSLLI, "What is a logical operation? (According to Tarski, McGee, and me.)", 13 August 1997, Université de Provence.
Alfred Tarski Lectures, "Truth unbound", 3 April 2006, "The 'logic' question", 5 April 2006, "Real computation", 7 April 2006, University of California at Berkeley.
Ernest Nagel Lectures, "Gödel, Nagel, minds and machines", 27 Sept 2007, Columbia University.
Martin Löb Lectures (inaugural), "Operational set theory and 'small' large cardinals", 12 May 2008, "Gödel, Nagel, minds and machines", 13 May 2008, University of Leeds.
Paul Bernays Lectures (inaugural), "Bernays, Gödel and Hilbert's consistency program", 11 Sept 2012, "Is the continuum hypothesis a definite mathematical problem?", 12 Sept 2012, "Foundations of unlimited category theory", 12 Sept 2012, ETH Zürich.