Solomon Feferman
Solomon Feferman (born December 13, 1928 in New York City - † July 26, 2016 ) was an American mathematician who studied mathematical logic and the philosophy of mathematics .
life and work
Feferman studied mathematics at Caltech (Bachelor 1948), served in the US Army for two years from 1953 to 1955 and received his doctorate in 1957 under Alfred Tarski at the University of California, Berkeley ( Formal Consistency Proofs and Interpretability of Theories ). From 1956 he was at Stanford University , first as an instructor, from 1958 as an assistant professor of mathematics and philosophy, from 1962 as an associate professor and from 1968 as a professor. From 2004 he has been Professor Emeritus there. He was visiting professor at the University of Oxford , the University of Paris, the Massachusetts Institute of Technology (1967/68), the University of Amsterdam, the University of Rome, the ETH Zurich , Stanford University, the Mittag-Leffler Institute in Stockholm.
Feferman deals with mathematical logic ( proof theory , computability theory ), fundamentals of mathematics, philosophy of mathematics and history of logic. In the 1960s, he was the first after Paul Cohen to use his forcing method for proofs of independence in set theory (and was also frequently consulted by Cohen when he developed his forcing method at Stanford).
Feferman introduced the Feferman-Schütte ordinal number in proof theory independently of Kurt Schütte in the mid-1960s .
His lecture Does mathematics need new axioms? the 1997 meeting of the American Mathematical Society gave rise to debate.
In 1972/73 and 1986/87 he was a Guggenheim Fellow. In 1990 he became a Fellow of the American Academy of Arts and Sciences . In 2003 he received the Rolf Schock Prize . In 2006 he gave the Tarski Lectures in Berkeley. In 1970 he was invited speaker at the International Congress of Mathematicians (ICM) in Nice ( Ordinals and functionals in proof theory ). He is a fellow of the American Mathematical Society .
From 1982 to 2003 he was editor of Kurt Gödel's collected works . He also edited the works of Julia Robinson and wrote a biography of Alfred Tarski, together with his wife, the writer Anita Burdman Feferman (* 1927), for whose biography of Jean Van Heijenoort he also wrote an appendix. Both knew this personally.
Jon Barwise is one of his PhD students .
literature
- W. Sieg, R. Sommer, C. Talcott (Editor): Reflections on the foundations of mathematics-essays in honor of Solomon Feferman, AKPeters 2002
Fonts
- with Anita Burdman Feferman: Alfred Tarski - Life and Logic, Cambridge University Press 2004
- In the light of Logic, Oxford University Press 1998 (essays)
Web links
- Literature by and about Solomon Feferman in the catalog of the German National Library
- Videos by and about Solomon Feferman in the AV portal of the Technical Information Library
- Homepage in Stanford
- Solomon Feferman in the Mathematics Genealogy Project (English)
Individual evidence
- ↑ American Mathematical Monthly, Vol. 106, 1999, pp. 99-111
- ^ Solomon Feferman, Harvey Friedman , Penelope Maddy , John R. Steel : Does mathematics need new axioms? Bulletin of Symbolic Logic, Vol. 6, 2000, pp. 401-446
- ↑ Biography of Anita Burdman Feferman ( Memento of the original from August 5, 2010 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice.
| personal data | |
|---|---|
| SURNAME | Feferman, Solomon |
| BRIEF DESCRIPTION | American mathematician |
| DATE OF BIRTH | December 13, 1928 |
| PLACE OF BIRTH | New York City |
| DATE OF DEATH | July 26, 2016 |