About: George Boolos

Property	Value
dbo:description	ریاضی‌دان و فیلسوف آمریکایی (fa) US-amerikanischer Philosoph und Logiker (de) lógico e filósofo estadunidense conhecido por suas contribuições em lógica matemática e filosofia da lógica (pt) Amerikaans wiskundige (1940-1996) (nl) Philosopher and mathematical logician (1940-1996) (en) amerikansk logiker och filosof (sv) 哲學家和數理邏輯學家 (zh)
dbo:thumbnail	wiki-commons:Special:FilePath/George_Boolos.jpg?width=300
dbo:wikiPageExternalLink	https://books.google.com/books/about/Computability_and_Logic.html%3Fid=8BY9AAAAIAAJ https://books.google.com/books/about/The_Logic_of_Provability.html%3Fid=WekaT3OLoUcC http://www.hcs.harvard.edu/~hrp/issues/1996/Boolos.pdf http://web.mit.edu/philos/www/boolos.html http://www2.kenyon.edu/Depts/Math/Milnikel/boolos-godel.pdf
dbo:wikiPageWikiLink	dbr:Hume's_Principle dbr:General_set_theory dbc:1940_births dbr:Peano_axioms dbr:MIT_School_of_Humanities,_Arts,_and_Social_Sciences dbc:American_logicians dbr:Mathematics dbr:The_Hardest_Logic_Puzzle_Ever dbr:Peano_arithmetic dbr:John_P._Burgess dbr:Richard_Jeffrey dbc:History_of_mathematics dbr:Americans dbr:Analytic_philosophy dbr:Bertrand_Russell dbr:Columbia_University dbr:David_Hume dbr:Jews dbr:Massachusetts_Institute_of_Technology dbr:Mathematical_logic dbr:Ontology dbr:Richard_Dedekind dbr:Western_philosophy dbr:Crossword dbr:Philosophy_of_mathematics dbc:Philosophy_writers dbc:Puzzle_designers dbr:Cambridge,_Massachusetts dbr:Greeks dbr:Mathematical_proof dbr:Princeton_University dbr:Set_theory dbr:Solomon_Feferman dbr:Wit dbr:Russell's_paradox dbr:Georg_Cantor dbr:Pancreatic_cancer dbr:The_Times dbr:Zermelo–Fraenkel_set_theory dbr:Proof_theory dbr:Crispin_Wright dbr:Robert_M._Solovay dbr:Provability_logic dbr:American_philosophy dbr:Philosopher dbr:Sidney_Hook dbr:Begriffsschrift dbr:Peter_Simons_(academic) dbr:Gödel's_incompleteness_theorems dbr:Kurt_Gödel dbr:Mathematical_induction dbr:Hilary_Putnam dbr:Nonfirstorderizability dbr:Paul_Benacerraf dbr:Analytical_hierarchy dbr:Löwenheim–Skolem_theorem dbr:John_Etchemendy dbr:Raymond_Smullyan dbr:Evert_Willem_Beth dbr:Modal_logic dbr:Jon_Barwise dbr:Charles_Parsons_(philosopher) dbr:First-order_logic dbr:Gottlob_Frege dbr:Hume's_principle dbr:Second-order_logic dbr:David_Lewis_(philosopher) dbc:Jewish_philosophers dbr:Plural_quantification dbc:20th-century_American_mathematicians dbc:Alumni_of_the_University_of_Oxford dbc:American_historians_of_philosophy dbc:Princeton_University_alumni dbr:Robinson_arithmetic dbr:Michael_Dummett dbr:Harvey_Friedman dbc:1996_deaths dbr:List_of_American_philosophers dbc:Set_theorists dbc:20th-century_American_philosophers dbc:Analytic_philosophers dbc:Deaths_from_pancreatic_cancer dbc:American_Jews dbc:Columbia_University_faculty dbc:Mathematical_logicians dbc:Philosophers_of_mathematics dbc:Jewish_historians dbc:American_male_essayists dbc:Game_theorists dbc:History_of_logic dbc:20th-century_American_essayists dbc:20th-century_American_historians dbc:Jewish_American_non-fiction_writers dbc:20th-century_American_male_writers dbr:Frege dbc:Jewish_non-fiction_writers dbc:20th-century_American_educators dbc:MIT_School_of_Humanities,_Arts,_and_Social_Sciences_faculty dbc:20th-century_American_Jews dbc:American_historians_of_mathematics dbc:Philosophers_of_logic dbc:American_male_non-fiction_writers dbr:20th-century_philosophy dbr:MIT dbr:New_York_City,_New_York dbr:Oxford_University dbr:PhD dbr:A.B. dbr:B.Phil. dbr:Gödel's_Incompleteness_Theorem dbr:Gödel's_second_incompleteness_theorem dbr:Gödel_incompleteness_theorem dbr:Raymond_M._Smullyan dbr:S_(Boolos_1989) dbr:Harvard_Review_of_Philosophy dbr:Modal_Logic dbr:Stanislaw_Leśniewski dbr:Vann_McGee
dbp:birthDate	1940-09-04 (xsd:date)
dbp:birthName	George Stephen Boolos (en)
dbp:birthPlace	New York City, U.S. (en)
dbp:date	2007-01-19 (xsd:date)
dbp:deathDate	1996-05-27 (xsd:date)
dbp:deathPlace	Cambridge, Massachusetts, U.S. (en)
dbp:doctoralAdvisor	dbr:Hilary_Putnam
dbp:education	dbr:University_of_Oxford dbr:Princeton_University Massachusetts Institute of Technology (en)
dbp:era	20 (xsd:integer)
dbp:mainInterests	dbr:Mathematical_logic dbr:Philosophy_of_mathematics
dbp:name	George Boolos (en)
dbp:notableIdeas	dbr:The_Hardest_Logic_Puzzle_Ever dbr:Nonfirstorderizability dbr:Hume's_principle
dbp:region	dbr:Western_philosophy
dbp:schoolTradition	dbr:Analytic_philosophy
dbp:thesisTitle	The Hierarchy of Constructible Sets of Integers (en)
dbp:thesisYear	1966 (xsd:integer)
dbp:url	https://web.archive.org/web/20070119035558/http:/web.mit.edu/philos/www/boolos.html
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Birth_date dbt:Citation_needed dbt:Cite_journal dbt:Death_date_and_age dbt:Distinguish dbt:IPAc-en dbt:ISBN dbt:Infobox_philosopher dbt:Reflist dbt:Short_description dbt:Use_dmy_dates dbt:Webarchive
dct:subject	dbc:1940_births dbc:History_of_mathematics dbc:Puzzle_designers dbc:Jewish_philosophers dbc:20th-century_American_mathematicians dbc:Alumni_of_the_University_of_Oxford dbc:American_historians_of_philosophy dbc:American_people_of_Greek-Jewish_descent dbc:Princeton_University_alumni dbc:1996_deaths dbc:Set_theorists dbc:20th-century_American_philosophers dbc:Analytic_philosophers dbc:Columbia_University_faculty dbc:Mathematical_logicians dbc:Jewish_American_historians dbc:American_male_essayists dbc:History_of_logic dbc:20th-century_American_essayists dbc:20th-century_American_historians dbc:Jewish_American_non-fiction_writers dbc:20th-century_American_male_writers dbc:American_philosophers_of_mathematics dbc:20th-century_American_educators dbc:MIT_School_of_Humanities,_Arts,_and_Social_Sciences_faculty dbc:American_game_theorists dbc:American_philosophy_writers dbc:Deaths_from_pancreatic_cancer_in_Massachusetts dbc:20th-century_American_Jews dbc:American_historians_of_mathematics dbc:American_male_non-fiction_writers dbc:American_philosophers_of_logic
gold:hypernym	dbr:Philosopher
schema:sameAs	http://viaf.org/viaf/34530215
rdf:type	owl:Thing owl:Thing dbo:Person dbo:Animal dbo:Eukaryote dbo:Species
rdfs:label	George Boolos (en) George Boolos (de) George Boolos (es) George Boolos (fr) 조지 불로스 (ko) George Boolos (pt) George Boolos (sv)
owl:differentFrom	dbr:George_Boole
owl:sameAs	freebase:George Boolos http://viaf.org/viaf/34530215 yago-res:George Boolos http://d-nb.info/gnd/171984196 wikidata:George Boolos dbpedia-de:George Boolos dbpedia-es:George Boolos dbpedia-fr:George Boolos dbpedia-pt:George Boolos dbpedia-sv:George Boolos dbpedia-ko:George Boolos https://dblp.org/pid/70/3097 http://data.bibliotheken.nl/id/thes/p068193939 dbpedia-arz:George Boolos dbpedia-fa:George Boolos dbpedia-fi:George Boolos dbpedia-no:George Boolos dbpedia-sr:George Boolos dbpedia-global:George Boolos
prov:wasDerivedFrom	wikipedia-en:George_Boolos?oldid=1298455192&ns=0
foaf:depiction	wiki-commons:Special:FilePath/George_Boolos.jpg
foaf:isPrimaryTopicOf	wikipedia-en:George_Boolos
is dbo:wikiPageRedirects of	dbr:G._Boolos dbr:Boolos,_George
is dbo:wikiPageWikiLink of	dbr:General_set_theory dbr:List_of_important_publications_in_philosophy dbr:1996_in_philosophy dbr:Supertask dbr:List_of_logicians dbr:List_of_philosophers_born_in_the_20th_century dbr:Liar_paradox dbr:The_Hardest_Logic_Puzzle_Ever dbr:John_P._Burgess dbr:Richard_Jeffrey dbr:Philosophy_of_logic dbr:Switch_statement dbr:Berry_paradox dbr:Set-theoretic_definition_of_natural_numbers dbr:Scott–Potter_set_theory dbr:Crispin_Wright dbr:Provability_logic dbr:Axiom_of_regularity dbr:Begriffsschrift dbr:Boulos dbr:Diagonal_lemma dbr:Gödel's_incompleteness_theorems dbr:Menachem_Magidor dbr:Empty_set dbr:Hilary_Putnam dbr:Association_for_Symbolic_Logic dbr:Nonfirstorderizability dbr:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbr:Delia_Graff_Fara dbr:Register_machine dbr:Tarski's_undefinability_theorem dbr:Primitive_recursive_function dbr:Kurt_Gödel_Society dbr:Random-access_machine dbr:List_of_set_theory_topics dbr:Ancestral_relation dbr:Cut-elimination_theorem dbr:First-order_logic dbr:Gottlob_Frege dbr:Hume's_principle dbr:Second-order_logic dbr:Doxastic_logic dbr:Plural_quantification dbr:Bachelor_of_Philosophy dbr:List_of_people_by_Erdős_number dbr:Element_(mathematics) dbr:List_of_Massachusetts_Institute_of_Technology_faculty dbr:Andrzej_Grzegorczyk dbr:List_of_Guggenheim_Fellowships_awarded_in_1996 dbr:List_of_Jewish_American_philosophers dbr:Algorithm_characterizations dbr:List_of_American_philosophers dbr:Deaths_in_May_1996 dbr:Outline_of_algebraic_structures dbr:Quine's_paradox dbr:Counter_machine dbr:S_(set_theory) dbr:Index_of_philosophy_articles_(D–H) dbr:Japaridze's_polymodal_logic dbr:Turing_machine_gallery dbr:Counter-machine_model dbr:Bertrand_Russell's_philosophical_views dbr:Random-access_stored-program_machine dbr:G._Boolos dbr:Boolos,_George
is dbp:doctoralAdvisor of	dbr:Delia_Graff_Fara
is owl:differentFrom of	dbr:George_Boole
is foaf:primaryTopic of	wikipedia-en:George_Boolos