Solomon Feferman

GPTKB entity
AI-created image of Solomon Feferman
AI-created image

Statements (52)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_California,_Berkeley
gptkbp:author gptkb:From_Dedekind_to_Gödel:_Essays_on_the_Development_of_the_Foundations_of_Mathematics
gptkb:In_the_Light_of_Logic
gptkb:Proof_Theory:_A_Personal_Report
gptkb:The_Number_Systems:_Foundations_of_Algebra_and_Analysis
gptkbp:awardReceived gptkb:Rolf_Schock_Prize_in_Logic_and_Philosophy
gptkb:Lévi-Strauss_Prize
gptkbp:birthDate 1928-12-13
gptkbp:birthPlace gptkb:New_York_City
gptkbp:deathDate 2016-07-26
gptkbp:deathPlace gptkb:Stanford,_California
gptkbp:doctoralAdvisor gptkb:Alfred_Tarski
gptkbp:doctoralStudent gptkb:Charles_Parsons
gptkb:Gerald_E._Sacks
gptkb:Harvey_Friedman
gptkb:John_Steel
gptkb:John_W._Dawson_Jr.
gptkb:Penelope_Maddy
gptkb:Richard_Zach
gptkb:Wilfried_Sieg
gptkb:William_Reinhardt
gptkb:William_Tait
gptkb:William_W._Tait
gptkbp:editor gptkb:Collected_Works_of_Kurt_Gödel
gptkbp:employer gptkb:Stanford_University
gptkbp:field gptkb:logic
gptkb:set_theory
proof theory
recursion theory
history of logic
https://www.w3.org/2000/01/rdf-schema#label Solomon Feferman
gptkbp:influenced gptkb:John_W._Dawson_Jr.
gptkb:Penelope_Maddy
gptkb:Wilfried_Sieg
gptkbp:influencedBy gptkb:Alfred_Tarski
gptkb:Kurt_Gödel
gptkbp:memberOf gptkb:American_Academy_of_Arts_and_Sciences
gptkb:American_Mathematical_Society
gptkbp:nationality gptkb:United_States
gptkbp:notableWork gptkb:Feferman–Schütte_ordinal
contributions to proof theory
contributions to philosophy of mathematics
contributions to set theory
editor of Kurt Gödel's collected works
work on predicativity
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkb:philosopher
gptkbp:spouse gptkb:Anita_Burdman_Feferman
gptkbp:bfsParent gptkb:Alfred_Tarski
gptkbp:bfsLayer 4