|
Solomon Feferman
Professor of Mathematics and Philosophy
Patrick Suppes Family Professor of Humanities and Sciences
Office: Room 383-Z, Building 380
Mailing:
Department of Mathematics,
Stanford University,
Stanford CA 94305-2125
Phone: 650-723-2439
Fax: 650-725-4066
Email: sf@csli.stanford.edu
|
|
|
Education History
|
B.S. California Institute of Technology, 1948 (Mathematics)
Ph.D. University of California, Berkeley, 1957 (Mathematics)
|
|
|
Areas of Interest
|
Mathematical logic, especially proof theory and theory of computation; Foundations of mathematics, especially constructive and predicative foundations; Philosophy of mathematics; History of modern logic.
|
|
|
Selected Bibliography
|
|
|
|
Recent Courses
|
- FS 12. Godel's theorem, minds and machines
- 160B. Computability and logic
- 162/262. Philosophy of Mathematics
- 168/268. Philosophy of Logic (Theories of truth)
- 290A,B. Model Theory
- 291A,B. Recursion Theory
- 292A,B. Set Theory
- 293A,B. Proof Theory
|
|
|
Links and Online Papers
|
Personal Homepage with many online papers, including:
Challenges to predicative foundations of arithmetic
Does mathematics need new axioms?
Godel's functional ("Dialectica") interpretation
Highlights in proof theory
Logic, logics, and logicism
Mathematical intuition vs. mathematical monsters
Relationships between constructive, predicative and classical systems of analysis
The significance of Hermann Weyl's "Das Kontinuum"
The unfolding of non-finitist arithmetic
Logic at Stanford
|
© 1999 The Board of Trustees of The Leland Stanford Junior University. All Rights Reserved.
|
