No CrossRef data available.
Article contents
In Memoriam: George Stephen Boolos 1940–1996
Published online by Cambridge University Press: 15 January 2014
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.
- Type
- Obituary
- Information
- 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
[1974] Computability and logic, Cambridge University Press, Cambridge, with Jeffrey, Richard C..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
[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
[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
[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
[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
You have
Access