Feferman, Solomon

Versiunea actuală a paginii nu a fost încă examinată de colaboratori experimentați și poate diferi semnificativ de versiunea revizuită la 9 martie 2021; verificările necesită 2 modificări .
Solomon Feferman
Data nașterii 13 decembrie 1928( 13.12.1928 )
Locul nașterii
Data mortii 26 iulie 2016( 26.07.2016 ) [1] [2] (87 de ani)
Țară
Sfera științifică logica matematica
Loc de munca
Alma Mater
Grad academic Ph.D
consilier științific Alfred Tarski
Premii și premii Bursa Guggenheim Premiul Rolf Schock pentru logică și filosofie ( 2003 ) Lector Gödel [d] ( 1997 ) Fellow al Societății Americane de Matematică

Solomon Feferman ( 13 decembrie 1928  , New York  – 26 iulie 2016  , Stanford, California | Stanford, California ) a fost un logician matematician și istoric al logicii american. Emeritus este profesor la Universitatea Stanford și membru al Academiei Americane de Arte și Științe . Câștigător al Premiului Rolf Schock pentru logică și filosofie (2003).

Biografie

Absolvent al Institutului de Tehnologie din California (B.S. Mathematics, 1948). Și-a luat doctoratul în matematică în 1957 la Universitatea din California, Berkeley, sub conducerea lui Alfred Tarski .

Din 1956, la Universitatea Stanford, unde spre sfârșitul vieții a ocupat două posturi de profesor emerit (în matematică și filozofie, precum și profesor nominal Patrick Suppes de Științe Umaniste și științe ), iar din 1985 până în 1992 a condus Departamentul de Matematică. Din 1958 până în 1985, colegul său de la Stanford a fost Georg Kreisel , , împreună cu Alfred Tarski, a fost cea mai mare influență a lui Feferman. În 1980-1982. președinte al Asociației pentru Logica Simbolică . A fost invitat la Princeton Institute for Advanced Study, Massachusetts Institute of Technology, Paris, Amsterdam, Oxford, Roma și Berkeley.

A fost redactor-șef al lucrărilor colectate în cinci volume ale lui Kurt Gödel , publicate între 1986 și 2003 . A editat, de asemenea, lucrarea lui Julia Robinson . Împreună cu soția sa a publicat o biografie a lui Alfred Tarski ( Alfred Tarski: Life and Logic , 2004).

Soție - Anita Burdman Feferman (1927-2015), două fiice, nepoate.

Link -uri

Note

  1. ↑ Solomon Feferman (1928-2016  )
  2. ↑ Solomon Feferman // Muzeul Solomon Guggenheim - 1937.
  3. ↑ LIBRIS - 2016.
  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii