Solomon Feferman | |
---|---|
Syntymäaika | 13. joulukuuta 1928 |
Syntymäpaikka | |
Kuolinpäivämäärä | 26. heinäkuuta 2016 [1] [2] (87-vuotias) |
Maa | |
Tieteellinen ala | matemaattinen logiikka |
Työpaikka | |
Alma mater | |
Akateeminen tutkinto | Ph.D |
tieteellinen neuvonantaja | Alfred Tarski |
Palkinnot ja palkinnot | Guggenheim-apuraha Rolf Schockin logiikka- ja filosofiapalkinto ( 2003 ) Gödel luennoitsija [d] ( 1997 ) American Mathematical Societyn jäsen |
Solomon Feferman ( 13. joulukuuta 1928 , New York - 26. heinäkuuta 2016 , Stanford, Kalifornia | Stanford, Kalifornia ) oli amerikkalainen matemaattinen logiikka ja logiikan historioitsija. Emeritus on professori Stanfordin yliopistossa ja American Academy of Arts and Sciences -akatemian jäsen . Rolf Schock -palkinnon voittaja logiikassa ja filosofiassa (2003).
Valmistunut California Institute of Technologysta (B.S. Mathematics, 1948). Hän suoritti tohtorin tutkinnon matematiikassa vuonna 1957 Kalifornian yliopistosta Berkeleyssä Alfred Tarskin johdolla .
Vuodesta 1956 Stanfordin yliopistossa, jossa hän työskenteli elämänsä lopulla kahdessa emeritusprofessorivirassa (matematiikan ja filosofian alalla sekä nimellinen Patrick Suppes humanististen ja tieteiden professori ), ja vuosina 1985–1992 hän johti yliopiston laitosta. Matematiikka. Vuodesta 1958 vuoteen 1985 hänen kollegansa Stanfordissa oli Georg Kreisel , yhdessä Alfred Tarskin kanssa oli Fefermanin suurin vaikuttaja. Vuosina 1980-1982. Symbolisen logiikan yhdistyksen puheenjohtaja . Hänet kutsuttiin Princeton Institute for Advanced Study -instituuttiin, Massachusetts Institute of Technologyyn, Pariisiin, Amsterdamiin, Oxfordiin, Roomaan ja Berkeleyyn.
Hän oli vuosina 1986-2003 ilmestyneiden Kurt Gödelin viisiosaisten kokoelmateosten päätoimittaja . Toimittanut myös Julia Robinsonin teoksen . Yhdessä vaimonsa kanssa hän julkaisi Alfred Tarskin elämäkerran ( Alfred Tarski: Life and Logic , 2004).
Vaimo - Anita Burdman Feferman (1927-2015), kaksi tytärtä, tyttärentytärtä.
![]() | ||||
---|---|---|---|---|
Sanakirjat ja tietosanakirjat | ||||
|