Gödel turned out to be an unadulterated Platonist, and apparently believed that an eternal “not” was laid up in heaven, where virtuous logicians might hope to meet it hereafter. On this Gödel commented: Concerning my “unadulterated” Platonism, it is no more unadulter

, , &
Bulletin of Symbolic Logic 1 (1) (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Platonism and mathematical intuition in Kurt gödel's thought.Charles Parsons - 1995 - Bulletin of Symbolic Logic 1 (1):44-74.
Kurt Gödel. Review of Hahn's Reelle Funktionen. by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 332– 336. , Literaturberichte, pp. 20– 22.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 odd pp. 333– 337. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-347.
Kurt Gödel. Review of Church's A set of postulates for the foundation of logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 256, 258. , pp. 145–146.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 257, 259. - Kurt Gödel. Review of Church's A set of postulates for the foundation of logic . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon P. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):345-345.
Kurt Gödel. Collected Works. Volume 4: Correspondence, A–G. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xix + 662 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $110 .Kurt Gödel. Collected Works. Volume 5: Correspondence, H–Z. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xxiii + 664 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $130. [REVIEW]Albert C. Lewis - 2004 - Isis 95 (1):162-163.
John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 37– 43. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.
Kurt Gödel. Review of Hilbert's Die Grundlegung der elementaren Zahlentheorie . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 212, 214. , p. 260.) - Kurt Gödel. English translation by John Dawson of this review. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 213, 215. - Solomon Feferman. Introductory note to 1931C. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York a. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):344-344.
Kurt Gödel. Diskussion zur Grundlegung der Mathematik . A reprint of 4184. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 200, 202. - Kurt Gödel. Discussion on providing a foundation for mathematics . English translation by John Dawson of the preceding. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 201, 203. , pp. 125-126.) - Kurt Gödel. Nachtrag. A reprint of 4185. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):343-343.
Kurt Gödel. Review of Skolem's Über die Unmöglichkeit einer vollständigen Charakterisierung der Zahlenreihe mittels eines endlichen Axiomensystems . Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 378, 380. , pp. 193–194.) - Kurt Gödel. English translation by John Dawson of this review. Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986 pp. 379, 381. - Kurt Gödel. Review of Skolem's Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mil ausschlieβlich Zahlenvariablen . Reelle Funktionen, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregor. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):347-348.
Collected Works Volume I:Publications, 1929-1936. Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort. [REVIEW]Joseph Dauben - 1986 - Isis 77 (4):691-692.
Kurt Gödel. Collected Works. Volume 1: Publications, 1929–1936. Edited by, Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort. xviii + 474 pp., frontis., illus., bibl., index. 1986. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 2: Publications, 1938–1974. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, Robert M. Solovay, and Jean van Heijenoort. xv + 407 pp., frontis., illus., bibl., index. 1990. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 3: Unpublished Essays and Lectures. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, and Robert M. Solovay. xx + 532 pp., frontis., illus., bibl., index. 1995. Oxford/New York: Oxford University Press, 2001. $39.95. [REVIEW]Louise Golland - 2002 - Isis 93 (3):517-518.

Analytics

Added to PP
2014-01-21

Downloads
75 (#278,597)

6 months
7 (#698,214)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Robert Solovay
University of California, Berkeley
Warren Goldfarb
Harvard University

Citations of this work

Add more citations

References found in this work

What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
The Independence of Moral Theory.John Rawls - 1974 - Proceedings and Addresses of the American Philosophical Association 48:5 - 22.
Logical Syntax of Language.Rudolf Carnap - 1937 - London,: Routledge. Edited by Amethe Smeaton.
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory.Kurt Gödel - 1940 - Princeton university press;: Princeton University Press;. Edited by George William Brown.

View all 12 references / Add more references