George Boolos - Wikipedia
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"
Explore this link on the map →related reading
- Gödel's incompleteness theorems - Wikipediaen.wikipedia.org
- Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Bernard Bolzano - Wikipediaen.wikipedia.org
- Open Logic Project Buildsbuilds.openlogicproject.org
- Intuitionistic logic - Wikipediaen.wikipedia.org
- First-order logic - Wikipediaen.wikipedia.org
- Eat. Sleep. Math.eatsleepmath.tumblr.com
- Gödel’s Incompleteness Theorems (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
- Formalism in the Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Alexander Paseau | Faculty of Philosophyphilosophy.ox.ac.uk
- What Gödel Discoveredstopa.io