George Boolos

amerikansk logiker och filosof

George Stephen Boolos, född 4 september 1940 i New York, död 27 maj 1996, var en logiker och filosof som föreläste vid Massachusetts Teknologiinstitut.

George Boolos
Född4 september 1940[1][2]
New York, USA
Död27 maj 1996[1][2] (55 år)
Cambridge, USA
Medborgare iUSA
Utbildad vidPrinceton University
Massachusetts Institute of Technology[3]
SysselsättningMatematiker[4], filosof, universitetslärare[5]
ArbetsgivareColumbiauniversitetet
Massachusetts Institute of Technology
Utmärkelser
Guggenheimstipendiet[6]
Redigera Wikidata

Biografi redigera

Boolos utexaminerades från Princetons Universitet 1961 med en fil. kand i matematik. År 1966, efter att ha belönats med en examen i filosofi från universitetet i Oxford fick han sin första doktorandexamen i filosofi, den enda som getts ut av institutet, under ledning av Hilary Putnam. Efter att ha föreläst under 3 år vid universitetet i Colombia återvände han till MIT 1969 där han arbetade resten av sin karriär.

Han var en karismatisk talare, känd för sin klarhet och humor. Under en föreläsning om Gödels andra ofullständighetsteorem använde han uteslutande ord med en enda stavning. Vid slutet av den ska Hilary Putnam ha frågat; "Berätta, Mr. Boolos, vad har den analytiska hierarkin med den verkliga världen att göra?" Boolos ska då kvickt ha svarat; "Den är en del av den".

Boolos var också expert på alla sorters pussel och nådde 1993 Londons regionfinal i tidskriftens Times korsordstävling. Hans poäng var en av de högsta som någonsin nåtts av en amerikan. Han skrev ett arbete om "the hardest logic puzzle ever" som var ett av många pussel skapade av Raymond Smullyan.

Arbeten redigera

Boolos var Richard Jeffreys medförfattare för de tre första utgåvorna av den klassiska universitetstexten om matematisk logik, Computability and Logic.

Kurt Gödel skrev det första arbetet om sannolikhetslogik, som applicerar modallogik med teorin om matematiska bevis, men han utvecklade inte sina tankar nämnvärt. Istället var det Boolos som blev en av ämnets största pionjärer i och med publicerandet av den bok-långa avhandlingen vid namn The Unprovability of Consistency (1979). Lösningen på ett stort problem några år senare resulterade i en ny avhandling vid namn The Logic of Provability (1993).

Strax före sin död valde Boolos ut trettio av sina texter för publicering. Resultatet av detta urval är kanske hans mest uppskattade verk Logic, Logic, and Logic.

Bibliografi redigera

  • 2002 (1974) (med Richard Jeffrey). Computability and Logic. Cambridge: Cambridge University Press.
  • 1979 The Unprovability of Consistency: An Essay in Modal Logic. Cambridge University Press.
  • 1990 (editor). Meaning and Method: Essays in Honor of Hilary Putnam. Cambridge University Press.
  • 1993 The Logic of Provability. Cambridge University Press. En revidering av Boolos (1979).
  • 1998 (Richard Jeffrey och John P. Burgess, eds.). Logic, Logic, and Logic. Harvard University Press.

Referenser redigera

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia.
  • Peter Simons (1982) "On understanding Lesniewski," History and Philosophy of Logic.

Noter redigera

  1. ^ [a b] Bibliothèque nationale de France, BnF Catalogue général : öppen dataplattform, George Boolos, licens: öppen licens.[källa från Wikidata]
  2. ^ [a b] Internet Philosophy Ontology project, thinker/2686, George Boolos, läst: 9 oktober 2017.[källa från Wikidata]
  3. ^ Mathematics Genealogy Project.[källa från Wikidata]
  4. ^ Tjeckiska nationalbibliotekets databas, läst: 28 september 2023.[källa från Wikidata]
  5. ^ Tjeckiska nationalbibliotekets databas, läst: 15 december 2022.[källa från Wikidata]
  6. ^ Guggenheim Fellows-databasen, george-boolos.[källa från Wikidata]

Externa länkar redigera