Solomon Feferman(1928–2016)
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, computability theory, and set theory, he was known for his contributions to the history of logic and as a vocal proponent of the philosophy of mathematics known as predicativism, notably from an anti-platonist stance.
United States
1
Major Awards
6
Publications
108
Citations
4
h-index
N/A
i10-index
18
Avg Citations/Paper
Awards & Recognition
Most Cited Works
Top publications by citation count#3
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
Journal of Symbolic Logic (JSL)(1987)
0
citations
#4
1 — Consistency and faithful interpretations
Archiv für mathematische Logik und Grundlagenforschung(1962)
21
citations
#5
Representability op recursively enumerable sets in formal theories
Archiv für mathematische Logik und Grundlagenforschung(1960)
24
citations
Recent Publications
View all works28citations
Open Access35citations
European Summer Meeting of the Association for Symbolic Logic, Paris, 1985
Journal of Symbolic Logic (JSL)1987
0citations
1 — Consistency and faithful interpretations
Archiv für mathematische Logik und Grundlagenforschung1962
21citations
Representability op recursively enumerable sets in formal theories
Archiv für mathematische Logik und Grundlagenforschung1960
24citations
Index To Names
International Review for Social History1930
0citations
Open AccessEducation
University of California, Berkeley
Doctoral Advisors
Carolyn TalcottJon BarwiseBienvenido NebresUlrik BuchholtzPaolo MancosuAlan Holder LarsonJoseph Arthur HarrisonJeffery Ian ZuckerRichard William WeyhrauchElena PezzoliGianluigi BellinMasaru ShirahataDarko SarenacWilfried SiegTomohiro HoshiIngrid Birgitta LindströmIan Alistair MasonTim FernandoAlfred Tarski
Career Timeline
Stanford University Philosophy Department?–present
Stanford University?–present
Academy Memberships
American Academy of Arts and Sciences
Related Laureates
Other winners of the same award(s)
TW
Timothy Williamson
Schock Prize in Logic (2022)
SS
Saharon Shelah
Schock Prize in Logic (2018)
RB
Ruth Barcan Marcus
Schock Prize in Logic (2015)
DP
Derek Parfit
Schock Prize in Logic (2014)
HP
Hilary Putnam
Schock Prize in Logic (2011)
TN
Thomas Nagel
Balzan Prize (2008)
JH
Jaakko Hintikka
Schock Prize in Logic (2005)
SK
Saul Kripke
Schock Prize in Logic (2001)
Data Sources
Profile data aggregated from Semantic Scholar, Wikidata, and curated award records. Citation metrics may vary between sources.