Solomon Feferman

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