The following pages link to George Boolos
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Algorithm (links | edit)
- Axiom of regularity (links | edit)
- Berry paradox (links | edit)
- Empty set (links | edit)
- First-order logic (links | edit)
- Liar paradox (links | edit)
- Mathematical logic (links | edit)
- Primitive recursive function (links | edit)
- Roger Penrose (links | edit)
- General recursive function (links | edit)
- Theorem (links | edit)
- George Boole (links | edit)
- Gottlob Frege (links | edit)
- Gödel's incompleteness theorems (links | edit)
- Hilary Putnam (links | edit)
- Use–mention distinction (links | edit)
- Indicator function (links | edit)
- Knights and Knaves (links | edit)
- Crispin Wright (links | edit)
- Supertask (links | edit)
- Hume's principle (links | edit)
- Second-order logic (links | edit)
- Diagonal lemma (links | edit)
- List of logicians (links | edit)
- Well-formed formula (links | edit)
- Index of philosophy articles (D–H) (links | edit)
- Set-theoretic definition of natural numbers (links | edit)
- Axiom of dependent choice (links | edit)
- Plural quantification (links | edit)
- Register machine (links | edit)
- Random-access machine (links | edit)
- Tarski's undefinability theorem (links | edit)
- Nonfirstorderizability (links | edit)
- Provability logic (links | edit)
- Element (mathematics) (links | edit)
- Löb's theorem (links | edit)
- Μ operator (links | edit)
- Orchestrated objective reduction (links | edit)
- Quine's paradox (links | edit)
- Begriffsschrift (links | edit)
- Cut-elimination theorem (links | edit)
- Bachelor of Philosophy (links | edit)
- List of Princeton University people (links | edit)
- Switch statement (links | edit)
- List of set theory topics (links | edit)
- Kurt Gödel Society (links | edit)
- Robinson arithmetic (links | edit)
- List of Jewish American philosophers (links | edit)
- Association for Symbolic Logic (links | edit)
- List of philosophers born in the 20th century (links | edit)