Feferman, Solomon

Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 9. maaliskuuta 2021 tarkistetusta versiosta . tarkastukset vaativat 2 muokkausta .
Solomon Feferman
Syntymäaika 13. joulukuuta 1928( 1928-12-13 )
Syntymäpaikka
Kuolinpäivämäärä 26. heinäkuuta 2016( 26.7.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).

Elämäkerta

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ä.

Linkit

Muistiinpanot

  1. Solomon Feferman (1928-2016  )
  2. Solomon Feferman // Solomon Guggenheim -museo - 1937.
  3. LIBRIS - 2016.