flâneur

George Boolos - Wikipedia

en.wikipedia.org · 2,661 words · saved by 1 readers

George Stephen Boolos (/ˈbuːloʊs/;[1] 4 September 1940 – 27 May 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.[2] Boolos was of Greek-Jewish descent.[3] He graduated with an A.B. in mathematics from Princeton University after completing a senior thesis, titled "A simple proof of Gödel's first incompleteness theorem", under the supervision of Raymond Smullyan.[4] Oxford University awarded him the B.Phil. in 1963. In 1966, he obtained the first PhD in philosophy ever awarded by the Massachusetts Institute of Technology, under the direction of Hilary Putnam. After teaching three years at Columbia University, he returned to MIT in 1969, where he spent the rest of his career. A charismatic speaker well known for his clarity and wit, he once delivered a lecture (1994b) giving an account of Gödel's second incompleteness theorem, employing only words of one syllable. At the end of his viva, Hilary Putnam asked him, "And te

George Boolos - Wikipedia Jump to content From Wikipedia, the free encyclopedia American philosopher and logician (1940–1996) Not to be confused with George Boole . [[Oxford University]]<br>[[Massachusetts Institute of Technology]] ([[Doctor of Philosophy|PhD]])"},"institutions":{"wt":"Massachusetts Institute of Technology"},"school_tradition":{"wt":"[[Analytic philosophy]]"},"main_interests":{"wt":"[[Philosophy of mathematics]], [[mathematical logic]]"},"notable_ideas":{"wt":"[[Hume's principle]]<br />[[Nonfirstorderizability]]<br />[[The Hardest Logic Puzzle Ever]]"},"doctoral_advisor":{"wt"

related reading