George Boolos | Academic Influence

George Boolos's AcademicInfluence.com Rankings

George Boolos

Philosophy

#194

World Rank

#471

Historical Rank

#91

USA Rank

Mathematical Logic

#7

World Rank

#13

Historical Rank

#6

USA Rank

Logic

#28

World Rank

#94

Historical Rank

#12

USA Rank

philosophy Degrees

Download Badge

Philosophy

George Boolos's Degrees

PhD Philosophy Princeton University

Why Is George Boolos Influential?

(Suggest an Edit or Addition)

According to Wikipedia, George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology. Life Boolos was of Greek-Jewish descent. 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. 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.

(See a Problem?)

George Boolos's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Computability and logic (1974) (658)
To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables) (1984) (494)
Self-Reference and Modal Logic (1985) (359)
Logic, Logic, and Logic (2000) (304)
The logic of provability (1993) (269)
The Iterative Conception of Set (1971) (196)
On ‘syllogistic inference’ (1984) (169)
The Unprovability of Consistency: An Essay in Modal Logic (1979) (124)
Computability and logic: 3rd ed. (1989) (123)
What is the name of this book? : the riddle of Dracula and other logical puzzles (1979) (98)
Don't eliminate cut (1984) (78)
On second-order logic (1975) (66)
A curious inference (1987) (65)
Degrees of unsolvability of constructible sets of integers (1969) (59)
IX—Saving Frege from Contradiction (1987) (51)
Reading the Begriffsschrift (1985) (45)
Provability: the emergence of a mathematical modality (1991) (42)
Between Logic and Intuition: Must We Believe in Set Theory? (2000) (36)
Extremely undecidable sentences (1982) (28)
On “seeing” the truth of the Gödel sentence (1990) (24)
BASIC LAW (V) (1993) (24)
The Hardest Logic Puzzle Ever (1996) (24)
An incomplete system of modal logic (1985) (24)
On deciding the truth of certain statements involving the notion of consistency (1976) (22)
The degree of the set of sentences of predicate provability logic that are true under every interpretation (1987) (20)
Review: Robert M. Solovay, Provability Interpretations of Modal Logic (1981) (20)
Computability and logic (2. ed.) (1987) (19)
Frege's Theorem and the Peano Postulates (1995) (19)
Philosophy of mathematics: The iterative concept of set (1984) (18)
Provability, truth, and modal logic (1980) (17)
Reflection principles and iterated consistency assertions (1979) (15)
Trees and finite satisfiability: proof of a conjecture of Burgess (1984) (15)
Constructing Cantorian counterexamples (1997) (14)
On the Semantics of the Constructible Levels (1970) (14)
Provability in arithmetic and a schema of Grzegorczyk (1980) (13)
Zooming Down the Slippery Slope (1991) (12)
Gödel's Second Incompleteness Theorem Explained in Words of One Syllable (1994) (10)
The Analytical Completeness of Dzhaparidze's Polymodal Logics (1993) (9)
Omega-consistency and the diamond (1980) (9)
Review: Yu. I. Manin, A Course in Mathematical Logic (1986) (5)
Review: J. R. Lucas, Minds, Machines and Godel; Paul Benacerraf, God, the Devil, and Godel (1968) (5)
6. Whence the Contradiction (1996) (4)
The Justification of Mathematical Induction (1984) (4)
On Kalmar's consistency proof and a generalization of the notion of ω-consistency (1975) (3)
On the nonexistence of certain normal forms in the logic of provability (1982) (3)
Manin Yu. I.. A course in mathematical logic. Translated from the Russian by Koblitz Neal. Graduate texts in mathematics, vol. 53. Springer-Verlag, New York, Heidelberg, and Berlin, 1977, xiii + 286 pp. (1986) (2)
Alphabetical order (1988) (2)
J. R. Lucas. Minds, machines and Gödel. Philosophy , vol. 36 (1961), pp. 112–127. - Paul Benacerraf. God, the devil, and Gödel. The Monist , vol. 51 (1967), pp. 9–32. (1969) (1)
The Logic of Provability: Frontmatter (1994) (1)
A proof of the Löwenheim-Skolem theorem (1970) (1)
On deciding the provability of certain fixed point statements (1977) (1)
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994 (1995) (1)
1-consistency and the Diamond (1985) (1)
Robert M. Solovay. Provability interpretations of modal logic. Israel journal of mathematics , vol. 25 (1976), pp. 287–304. (1981) (1)
Quantified provability logic with one one-place predicate letter (1994) (0)
Computability and Logic: The Craig Interpolation Theorem (2002) (0)
Computability and Logic: Decidability of Arithmetic without Multiplication (2002) (0)
Review: V. A. Uspensky, Neal Koblitz, Godel's Incompleteness Theorem (1990) (0)
Annual Meeting of the Association for Symbolic Logic (1984) (0)
Barwise Jon and Etchemendy John. Turing's world. Kinko's Academic Courseware Exchange, Santa Barbara 1986, viii + 68 pp. + disk.Barwise Jon and Etchemendy John. Tarski's world. Kinko's Academic Courseware Exchange, Santa Barbara 1987, vii + 85 pp. + disk. (1990) (0)
Computability and Logic: The Undecidability of First-Order Logic (2002) (0)
The Logic of Provability: Completeness and decidability of GL and K, K4, T, B, S4, and S5 (1994) (0)
Equivalent Definitions of Computability (2002) (0)
Modal Logic and Provability (2002) (0)
The Logic of Provability: The box as Bew( x ) (1994) (0)
JSL volume 50 issue 4 Cover and Back matter and Errata (1985) (0)
Mostowski Andrzej. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 178–194. (1970) (0)
The Logic of Provability: Canonical models (1994) (0)
Computability and Logic: A Précis of First-Order Logic: Syntax (2002) (0)
The fixed point theorem (1994) (0)
The Dreben Panel (1994) (0)
Review: J. R. Shoenfield, The Problem of Predicativity (1969) (0)
Meeting of the Association for Symbolic Logic, New York, 1979 (1981) (0)
Contents of Volume 17 (1984) (0)
The Logic of Provability: The arithmetical completeness theorems for GL and GLS (1994) (0)
On GLB: The fixed point theorem, letterless sentences, and analysis (1994) (0)
Computability and Logic: Diagonalization (2002) (0)
Review: Andrzej Mostowski, On Various Degrees of Constructivism (1970) (0)
Thanks to our guest reviewers (1990) (0)
The Boolos Panel (1994) (0)
The Logic of Provability: Modal logic within analysis (1994) (0)
Erratum: Frege's Theorem and the Peano Postulates (1996) (0)
The Logic of Provability: Trees for GL (1994) (0)
Notation and symbols (1994) (0)
The Logic of Provability: The joint provability logic of consistency and ω-consistency (1994) (0)
The Logic of Provability: Bibliography (1994) (0)
Computability and Logic: Abacus Computability (2002) (0)
An S4-preserving proof-theoretical treatment of modality (1994) (0)
Modal logic within set theory (1994) (0)
Association for Symbolic Logic (1991) (0)
Recursive Sets and Relations (2002) (0)
C. Smoryński. Self-reference and modal logic. Universitext. Springer-Verlag, New York, Berlin, etc., 1985, xii + 333 pp. (1988) (0)
GL and other systems of propositional modal logic (1994) (0)
The Logic of Provability: An incomplete system of modal logic (1994) (0)
A Précis of First-Order Logic: Semantics (2002) (0)
JSL volume 49 issue 4 Cover and Back matter and Errata (1984) (0)
REVIEWS-Articles in Logic, logic, and logic (2001) (0)
Computability and Logic: Modal Logic and Provability (2002) (0)
Computability and Logic: Arithmetical Definability (2002) (0)
Arithmetical Functions and Minimalization (1974) (0)
The Logic of Provability: Preface (1994) (0)
Association for Symbolic Logic (1993) (0)
Hints for Selected Problems (2002) (0)
Review: C. Smorynski, Self-Reference and Modal Logic (1988) (0)
The Logic of Provability: Peano arithmetic (1994) (0)
The Logic of Provability: Quantified provability logic (1994) (0)
Semantics for GL and other modal logics (1994) (0)
Computability and Logic: Turing Computability (2002) (0)
Thanks to our guest reviewers (1984) (0)

This paper list is powered by the following services:

Other Resources About George Boolos

en.wikipedia.org

What Schools Are Affiliated With George Boolos?

George Boolos is affiliated with the following schools:

Image Attributions

Image Source for George Boolos