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

