George Boolos

URI: https://gptkb.org/entity/George_Boolos

GPTKB entity

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
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
https://www.w3.org/2000/01/rdf-schema#label	George Boolos