George Boolos

George Stephen Boolos (4. syyskuuta 1940 New York – 27. toukokuuta 1996 Cambridge, Massachusetts) oli yhdysvaltalainen analyyttinen filosofi ja matemaattinen loogikko, joka opetti Massachusetts Institute of Technologyssä.

Boolos tunnetaan ennen kaikkea toisen kertaluvun predikaattilogiikan kehittäjänä muun muassa Stewart Shapiron ohella. Boolos oli myös Gottlob Frege -asiantuntija.

Teoksia

  • Computability and Logic (yhdessä Richard Jeffreyn kanssa) (1974, 2002)
  • The Unprovability of Consistency: An Essay in Modal Logic (1979)
  • Meaning and Method: Essays in Honor of Hilary Putnam (toim.) (1990)
  • The Logic of Provability (1993; uusittu versio teoksesta Boolos 1979)
  • Logic, Logic, and Logic (toim. Richard Jeffrey ja John P. Burgess) (1998)

Aiheesta muualla

  • George Boolosin muistosivu, MIT (englanniksi)
Auktoriteettitunnisteet Muokkaa Wikidatassa
Kansainväliset
  • ISNI
  • VIAF
  • WorldCat
Kansalliset
  • Ranska
  • BnF data
  • Saksa
  • Israel
  • Belgia
  • Yhdysvallat
  • Ruotsi
  • Tšekki
  • Korea
  • Alankomaat
  • Puola
Tieteilijät
  • CiNii
  • DBLP
  • MathSciNet
  • Mathematics Genealogy Project
  • Scopus
  • zbMATH
Muut
  • IdRef
Tämä filosofiaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.
Käännös suomeksi
Käännös suomeksi
Tämä artikkeli tai sen osa on käännetty tai siihen on haettu tietoja muunkielisen Wikipedian artikkelista.
Alkuperäinen artikkeli: en:George Boolos