Solomon Feferman

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

• Office: Room 382-G, Building 380
• Email: feferman@stanford.edu
• Mailing address:
  Department of Mathematics
  Stanford University
  Stanford CA 94305-2125
  
• Fax: 650-725-4066
• Telephone: 650-723-2439
  
  
• Vita
• Publications
• Papers Available in PDF Format
• Books
• More Photographs
• Courses
  
  
• Mathematics Department
• Philosophy Department
• Center for the Study of Language and Information (CSLI)
• Logic at Stanford
  
  
• Schock Prize in Logic and Philosophy
• Reflections Symposium
• U.C.Irvine Chancellor's Distinguished Fellow