|
gptkbp:instance_of
|
gptkb:philosopher
gptkb:Mathematician
|
|
gptkbp:bfsLayer
|
4
|
|
gptkbp:bfsParent
|
gptkb:Kurt_Gödel
|
|
gptkbp:affiliation
|
gptkb:Stanford_University
gptkb:Institute_for_Advanced_Study
|
|
gptkbp:alma_mater
|
gptkb:University
|
|
gptkbp:awards
|
Fellow of the American Academy of Arts and Sciences
Fellow of the Association for Symbolic Logic
|
|
gptkbp:birth_date
|
1928-01-01
|
|
gptkbp:children
|
gptkb:Daniel_Feferman
gptkb:David_Feferman
|
|
gptkbp:death_date
|
2021-07-26
|
|
gptkbp:field
|
gptkb:Mathematician
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Solomon Feferman
|
|
gptkbp:influenced
|
gptkb:Hermann_Weyl
gptkb:John_Bell
gptkb:Paul_Cohen
gptkb:Harvey_Friedman
gptkb:W._V._O._Quine
gptkb:Gerhard_Gentzen
gptkb:Stephen_Cole_Kleene
gptkb:Hugh_Woodin
gptkb:W._Hugh_Woodin
gptkb:Kurt_Gödel
gptkb:Richard_Montague
gptkb:Alfred_Tarski
|
|
gptkbp:influenced_by
|
gptkb:Alfred_Tarski
|
|
gptkbp:known_for
|
Foundational studies in mathematics
|
|
gptkbp:nationality
|
gptkb:Native_American_tribe
|
|
gptkbp:notable_alumni
|
gptkb:Solomon_Feferman
gptkb:W._Hugh_Woodin
gptkb:Richard_Montague
|
|
gptkbp:research_focus
|
Mathematical logic
Model theory
Set theory
Computability theory
Philosophy of mathematics
Proof theory
|
|
gptkbp:residence
|
gptkb:Stanford,_California
|
|
gptkbp:spouse
|
gptkb:Ruth_Feferman
|
|
gptkbp:work
|
Model theory
Set theory
Philosophy of mathematics
Proof theory
|