Solomon Feferman | |
---|---|
Fødselsdato | 13. december 1928 |
Fødselssted | |
Dødsdato | 26. juli 2016 [1] [2] (87 år) |
Land | |
Videnskabelig sfære | matematisk logik |
Arbejdsplads | |
Alma Mater | |
Akademisk grad | Ph.D |
videnskabelig rådgiver | Alfred Tarski |
Priser og præmier | Guggenheim Fellowship Rolf Schock-prisen for logik og filosofi ( 2003 ) Gödel Lektor [d] ( 1997 ) Fellow fra American Mathematical Society |
Solomon Feferman ( 13. december 1928 , New York - 26. juli 2016 , Stanford, Californien | Stanford, Californien ) var en amerikansk matematisk logiker og logikhistoriker. Emeritus er professor ved Stanford University og medlem af American Academy of Arts and Sciences . Vinder af Rolf Schock-prisen i logik og filosofi (2003).
Uddannet fra California Institute of Technology (B.S. Mathematics, 1948). Han modtog sin ph.d.-grad i matematik i 1957 fra University of California, Berkeley under Alfred Tarski .
Siden 1956 ved Stanford University, hvor han mod slutningen af sit liv havde to emeritus professorstillinger (i matematik og filosofi, samt den nominelle Patrick Suppes professor i humaniora og videnskaber ), og fra 1985 til 1992 ledede han Institut for Matematik. Fra 1958 til 1985 var hans kollega hos Stanford Georg Kreisel , sammen med Alfred Tarski var Fefermans største indflydelse. I 1980-1982. formand for Association for Symbolic Logic . Han blev inviteret til Princeton Institute for Advanced Study, Massachusetts Institute of Technology, Paris, Amsterdam, Oxford, Rom og Berkeley.
Han var chefredaktør for de fem binds samlede værker af Kurt Gödel , udgivet fra 1986 til 2003 . Redigerede også værket af Julia Robinson . Sammen med sin kone udgav han en biografi om Alfred Tarski ( Alfred Tarski: Life and Logic , 2004).
Hustru - Anita Burdman Feferman (1927-2015), to døtre, børnebørn.
![]() | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
|