
Professor of Mathematics and Philosophy, Em.
Patrick Suppes Professor of Humanities and Sciences, Em.
Stanford University
Interests:
-
Mathematical logic, especially proof theory and theory of computation
-
Foundations of mathematics, especially constructive and predicative foundations
-
Philosophy of mathematics
-
History of modern logic
Schock Prize in Logic and Philosophy