Solomon Feferman | |
---|---|
Születési dátum | 1928. december 13 |
Születési hely | |
Halál dátuma | 2016. július 26. [1] [2] (87 éves) |
Ország | |
Tudományos szféra | matematikai logika |
Munkavégzés helye | |
alma Mater | |
Akadémiai fokozat | Ph.D |
tudományos tanácsadója | Alfréd Tarski |
Díjak és díjak | Guggenheim-ösztöndíj Rolf Schock logikai és filozófiai díj ( 2003 ) Gödel előadó [d] ( 1997 ) Az Amerikai Matematikai Társaság tagja |
Solomon Feferman ( 1928 . december 13. , New York – 2016 . július 26. , Stanford , Kalifornia | Stanford , Kalifornia ) amerikai matematikai logikus és logikatörténész. Emeritus a Stanford Egyetem professzora és az Amerikai Művészeti és Tudományos Akadémia tagja . A logikai és filozófiai Rolf Schock-díj nyertese ( 2003).
A California Institute of Technology-n szerzett diplomát (B.S. Mathematics, 1948). 1957-ben szerzett Ph.D fokozatot matematikából a Kaliforniai Egyetemen, Berkeleyben Alfred Tarski vezetésével .
1956 óta a Stanford Egyetemen, ahol élete vége felé két emeritus professzori pozíciót töltött be (matematika és filozófia területén, valamint a névleges Patrick Suppes bölcsészet- és tudományok professzora ), majd 1985-től 1992-ig a Tanszéket vezette. Matematika. 1958 és 1985 között munkatársa a Stanfordon Georg Kreisel volt , Alfred Tarskival együtt Feferman legnagyobb befolyása volt. 1980-1982-ben. a Szimbolikus Logikai Szövetség elnöke . Meghívták a Princeton Institute for Advanced Study-ba, a Massachusetts Institute of Technology-ba, Párizsba, Amszterdamba, Oxfordba, Rómába és Berkeley-be.
Főszerkesztője volt Kurt Gödel 1986 és 2003 között megjelent ötkötetes összegyűjtött munkáinak . Julia Robinson művét is szerkesztette . Feleségével együtt megjelentette Alfred Tarski életrajzát ( Alfréd Tarski: Élet és logika , 2004).
Feleség - Anita Burdman Feferman (1927-2015), két lánya, unokája.
![]() | ||||
---|---|---|---|---|
Szótárak és enciklopédiák | ||||
|