SOLOMON FEFERMAN

Date of Birth:    December 13, 1928

Place of Birth:    New York, New York

Education:

B.S. California Institute of Technology, 1948 (Mathematics)

Ph.D. University of California, Berkeley, 1957 (Mathematics)
Ph.D. Advisor: Alfred Tarski

Military Service: U.S. Army, 1953-55

Professional Record

1956-58    Instructor of Mathematics and Philosophy, Stanford University

1958-62    Assistant Professor of Mathematics and Philosophy, Stanford University

1959-60    NSF Post-doctoral Fellow at the Institute for Advanced Study, Princeton

1958-63    Consultant, Stanford Research Institute

1962-68    Associate Professor of Mathematics and Philosophy, Stanford University

1964-65    NSF Senior Post-doctoral Fellow, University of Paris and University of Amsterdam

1967-68    Visiting Associate Professor, Massachusetts Institute of Technology

1968-2003  Professor of Mathematics and Philosophy, Stanford University (Emeritus, 2004)

1972-73    Guggenheim Fellow, University of Oxford and University of Paris

1979-80    Visiting Fellow at All Souls and Wolfson Colleges, University of Oxford

1985-92    Chairman, Department of Mathematics, Stanford University (on leave 1986-87 and 1989-90)

1986-87    Guggenheim Fellow, Stanford University, ETH Zürich, University of Rome

1989-90    Fellow, Stanford Humanities Center

1993-2003   Patrick Suppes Family Professor in the School of Humanities and Sciences, Stanford University (Emeritus, 2004)

1995-96    Fellow, Center for Advanced Study in the Behavioral Sciences, Stanford University

2001      Fellow (April and May, 2001), Mittag-Leffler Institute, Djursholm, Sweden

 

Honors

Elected Fellow, American Academy of Arts and Sciences, 1990

University of California at Irvine Chancellor's Distinguished Fellow, Oct. 1999

Rolf Schock Prize in Logic and Philosophy for 2003

Activities

Member, Executive Committee and Council, Association for Symbolic Logic, 1964-67

Editor, Transactions and Memoirs, American Mathematical Society, 1976-79

Editor, Ergebnisse der Mathematik (Springer-Verlag), 1986-2003

Editor, Perspectives in Mathematical Logic (ASL/Springer-Verlag), 1986-2003

Member, AMS Committee on Translations, 1980-82

President, Association for Symbolic Logic, 1980-82

Advisory Editor, Studies in Proof Theory (Bibliopolis), 1983-

Member, Steering Committee, 1986 International Congress of Mathematicians, 1983-86

Editor-in-Chief, Kurt Gödel Collected Works, 1982-2003