This is a preview of subscription content, access via your institution.
REFERENCES
Chandrasekhar, S. and J. P. Wright: 1961, ‘The Geodesics in Gödel's Universe’, Proceedings of the National Academy of Sciences, U.S.A. 47(3), 341–7.
Dawson, J. W., Jr.: 1985a, ‘Completing the Gödel-Zermelo Correspondence’, Historia Mathematica 12, 66–70.
Dawson, J. W., Jr.: 1985b, ‘The Reception of Gödel's Incompleteness Theorems’, in Peter D. Asquith and Philip Kitcher (eds.), PSA 1984: Proceedings of the 1984 Biennial Meeting of the Philosophy of Science Association, vol. 2, pp. 253–271. Philosophy of Science Association, East Lansing.
Dawson, J. W., Jr.: 1993, ‘The Compactness of First-order Logic: From Gödel to Lindström’, History and Philosophy of Logic 14, 15–37.
Dowling, W. F.: 1989, ‘There are No Safe Virus Tests’, American Mathematical Monthly 96, 835–6.
Gödel, K.: 1936a, ‘Über die Länge von Beweisen’, Ergebnisse eines mathematischen Kolloquiums 7, 23–4.
Gödel, Kurt: 1944, ‘Russell's Mathematical Logic’, in Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, pp. 123–153. Northwestern University Press, Evanston.
Gödel, K.: 1947, ‘What is Cantor's Continuum Problem?’, American Mathematical Monthly 54, 515–25.
Gödel, K.: 1949, ‘An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation’, Reviews of Modern Physics 21, 447–50.
Gödel, K.: 1949a, ‘A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy’, in Paul Arthur Schilpp (ed.), Albert Einstein, Philosopher-Scientist, 2nd edn., Tudor Publishing Co., New York, pp. 555–562.
Gödel, K.: 1958, ‘Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes’, Dialectica 12, 280–7.
Gödel, K.: 1964, Revised and expanded version of ‘What is Cantor's Continuum Problem?’, in Paul Benacerraf and Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings, 258–73. Prentice-Hall, Englewood Cliffs, NJ.
Gödel, K.: 1986-, Collected Works. Solomon Feferman et al. (eds.), 3 vols. to date. Oxford University Press, New York and Oxford.
Grattan-Guinness, I.: 1979, ‘In Memoriam Kurt Gödel: His 1931 Correspondence With Zermelo on his Incompletability Theorem’, Historia Mathematica 6, 294–304.
Hartmanis, J.: 1989, ‘Gödel, von Neumann, and the P = ?NP Problem’, Bulletin of the European Association for Theoretical Computer Science 38, 101–107.
Kadvany, J.: 1989, ‘Reflections on the Legacy of Kurt Gödel: Mathematics, Skepticism, Postmodernism’, The Philosophical Forum 20, 161–81.
Kadvany, J.: 1991, ‘Dialectic and Diagonalization’, Inquiry 34, 3–25.
Kadvany, J.: 1995, ‘The Mathematical Present as History’, The Philosophical Forum 26, 263–287.
Kitcher, P.: 1984, The Nature of Mathematical Knowledge. Oxford University Press, New York and Oxford.
Maddy, P.: 1990, Realism in Mathematics. Clarendon Press, Oxford.
Malament, D.: 1985, ‘“Time Travel” in the Gödel Universe’, in Peter D. Asquith and Philip Kitcher (eds.), PSA 1984: Proceedings of the 1984 Biennial Meeting of the Philosophy of Science Association, 2, 91–100: Philosophy of Science Association, East Lansing, Mich., pp. 91–100.
Thomas, D. W.: 1995, ‘Gödel's Theorem and Postmodern Theory’, Publications of the Modern Language Association of America 110(2), 248–61.
Webb, J.: 1980, Mechanism, Mentalism, and Metamathematics. D. Reidel, Dordrecht.
Yourgrau, P.: 1991, The Disappearance of Time: Kurt Gödel and the Idealistic Tradition in Philosophy. Cambridge University Press, Cambridge.
Zermelo, E.: 1932, ‘Über Stufen der Quantifikation und die Logik des Unendlichen’, Jahresbericht der Deutschen Mathematiker-Vereinigung 41(2), 85–88.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dawson, J.W. What Hath Gödel Wrought?. Synthese 114, 3–12 (1998). https://doi.org/10.1023/A:1005046308451
Issue Date:
DOI: https://doi.org/10.1023/A:1005046308451