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
|