Hostname: page-component-586b7cd67f-t7czq Total loading time: 0 Render date: 2024-11-23T20:48:33.487Z Has data issue: false hasContentIssue false
  • English
  • Français

In Memoriam: George Stephen Boolos 1940–1996

Published online by Cambridge University Press:  15 January 2014

Warren Goldfarb
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Obituary
Information
Bulletin of Symbolic Logic , Volume 2 , Issue 4 , December 1996 , pp. 444 - 447
Copyright
Copyright © Association for Symbolic Logic 1996

References

CITED WRITINGS OF GEORGE BOOLOS

[1968] Degrees of unsolvability of constructible sets of integers, Journal of Symbolic Logic, vol. 33, pp. 497–313, with Putnam, Hilary.Google Scholar
[1971] The iterative conception of set, Journal of Philosophy, vol. 68, pp. 215–231.Google Scholar
[1974] Computability and logic, Cambridge University Press, Cambridge, with Jeffrey, Richard C..Google Scholar
[1975] On second-order logic, Journal of Philosophy, vol. 72, pp. 509–527.Google Scholar
[1976] On deciding the truth of certain statements involving thenotion of consistency, Journal ofSymbolic Logic, vol. 41, pp. 779–781.Google Scholar
[1979] The unprovability ofconsistency: An essay in modal logic, Cambridge University Press, Cambridge.Google Scholar
[1980] Omega-consistency and the diamond, Studia Logica, vol. 39, pp. 237–243.Google Scholar
[1980a] Provability in arithmetic and a schema of Grzegorczyk, Fundamenta Mathematicae, vol. 106, pp. 41–45.Google Scholar
[1984] To be is to be a value of a variable (or to be some values of some variables), Journal of Philosophy, vol. 81, pp. 430–450.Google Scholar
[1984a] Dont eliminate cut, Journal of Philosophical Logic, vol. 13, pp. 373–378.Google Scholar
[1985] Nominalistic platonism, The Philosophical Review, vol. 94, pp. 327–344.Google Scholar
[1987] The degree ofthe set ofsentences ofpredicate provability logic that are true under every interpretation, Journal of Symbolic Logic, vol. 52, pp. 165–171, with McGee, Vann.Google Scholar
[1987a] A curious inference, Journal of Philosophical Logic, vol. 16, pp. 1–12.Google Scholar
[1989] A new proof of the Gödel incompleteness theorem, Notices of the American Mathematical Society, vol. 36, p. 676.Google Scholar
[1991] Provability: the emergence of a mathematical modality, Studia Logica, vol. 50, pp. 1–23, with Sambin, Giovanni.Google Scholar
[1993] The logic of provability, Cambridge University Press, Cambridge.Google Scholar
[1994] Gödel's incompleteness theorem explained in words of one syllable, Mind, vol. 103, pp. 1–3.Google Scholar
[1994a] 1879?, Reading Putnam (Clark, P. and Hale, R., editors), Blackwell, Oxford, pp. 31–48.Google Scholar
[1995] Quotational ambiguity, On Quine (Leonardi, P. and Santambrogio, M., editors), Cambridge University Press, Cambridge, pp. 283–296.Google Scholar
[1995] Demopoulos, W. (editor), Frege's philosophy of mathematics, Harvard University Press, Cambridge, Massachusetts.Google Scholar
[1975] Friedman, H., 102 problems in mathematical logic , Journal of Symbolic Logic, vol. 40, pp. 113–129.Google Scholar