George Boolos

URI: https://gptkb.org/entity/George_Boolos
GPTKB entity
Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:Princeton_University
gptkb:University_of_Oxford
gptkbp:awardReceived gptkb:Fellow_of_the_American_Academy_of_Arts_and_Sciences
gptkbp:birthDate 1940-09-04
gptkbp:causeOfDeath pancreatic cancer
gptkbp:deathDate 1996-05-27
gptkbp:doctoralAdvisor gptkb:Raymond_Smullyan
gptkbp:employer gptkb:Massachusetts_Institute_of_Technology
gptkbp:field gptkb:logic
https://www.w3.org/2000/01/rdf-schema#label George Boolos
gptkbp:knownFor work on Gödel's incompleteness theorems
work on plural quantification
work on provability logic
gptkbp:language English
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Computability_and_Logic
gptkb:The_Logic_of_Provability
gptkb:The_Unprovability_of_Consistency
gptkbp:occupation gptkb:logic
gptkb:mathematician
gptkb:philosopher
gptkbp:placeOfBirth gptkb:New_York_City
gptkbp:placeOfDeath gptkb:Cambridge,_Massachusetts
gptkbp:spouse gptkb:Marian_Counihan
gptkbp:bfsParent gptkb:A._N._Prior
gptkbp:bfsLayer 5