Philosopher
George Boolos
Overview
George Stephen Boolos (; September 4, 1940 – May 27, 1996) was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed George Boolos
Ideas George Boolos discusses
- First-order logic
- Georg Cantor
- Sidney Hook
- Paul Benacerraf
- Zermelo–Fraenkel set theory
- Kurt Gödel
- Proof theory
- Mathematics
- Massachusetts Institute of Technology
- Mathematical logic
- Doctor of Philosophy
- Ontology
- Richard Dedekind
- Princeton University
- Peano axioms
- Jews
- Set theory
- Crispin Wright
- Michael Dummett
- University of Oxford
- Modal logic
- Second-order logic
- Löwenheim–Skolem theorem
- Solomon Feferman
Place in the tradition
Part of First-order logic.