Solomon Feferman
Use attributes for filter ! | |
Gender | Male |
---|---|
Death | 7 years ago |
Date of birth | December 13,1928 |
Zodiac sign | Sagittarius |
Born | The Bronx |
New York | |
United States | |
Date of died | July 26,2016 |
Died | Stanford |
California | |
United States | |
Influenced by | Kurt Gödel |
Job | Scientist |
Logician | |
Education | University of California, Berkeley |
California Institute of Technology | |
Books | Alfred Tarski: Life and Logic |
In the light of logic | |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | |
The number systems | |
Collected Works | |
Awards | Guggenheim Fellowship for Natural Sciences, US & Canada |
Rolf Schock Prize in Logic and Philosophy | |
Academic advisor | Alfred Tarski |
School | Analytic; Predicativism |
Date of Reg. | |
Date of Upd. | |
ID | 554168 |
Solomon Feferman Life story
Solomon Feferman was an American philosopher and mathematician who worked in mathematical logic. In addition to his prolific technical work in proof theory, recursion theory, and set theory, he was ...