Skip to main content

What Hath Gödel Wrought?

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.

    Google Scholar 

  • Dawson, J. W., Jr.: 1985a, ‘Completing the Gödel-Zermelo Correspondence’, Historia Mathematica 12, 66–70.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Dowling, W. F.: 1989, ‘There are No Safe Virus Tests’, American Mathematical Monthly 96, 835–6.

    Google Scholar 

  • Gödel, K.: 1936a, ‘Über die Länge von Beweisen’, Ergebnisse eines mathematischen Kolloquiums 7, 23–4.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gödel, K.: 1947, ‘What is Cantor's Continuum Problem?’, American Mathematical Monthly 54, 515–25.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gödel, K.: 1958, ‘Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes’, Dialectica 12, 280–7.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gödel, K.: 1986-, Collected Works. Solomon Feferman et al. (eds.), 3 vols. to date. Oxford University Press, New York and Oxford.

    Google Scholar 

  • Grattan-Guinness, I.: 1979, ‘In Memoriam Kurt Gödel: His 1931 Correspondence With Zermelo on his Incompletability Theorem’, Historia Mathematica 6, 294–304.

    Google Scholar 

  • Hartmanis, J.: 1989, ‘Gödel, von Neumann, and the P = ?NP Problem’, Bulletin of the European Association for Theoretical Computer Science 38, 101–107.

    Google Scholar 

  • Kadvany, J.: 1989, ‘Reflections on the Legacy of Kurt Gödel: Mathematics, Skepticism, Postmodernism’, The Philosophical Forum 20, 161–81.

    Google Scholar 

  • Kadvany, J.: 1991, ‘Dialectic and Diagonalization’, Inquiry 34, 3–25.

    Google Scholar 

  • Kadvany, J.: 1995, ‘The Mathematical Present as History’, The Philosophical Forum 26, 263–287.

    Google Scholar 

  • Kitcher, P.: 1984, The Nature of Mathematical Knowledge. Oxford University Press, New York and Oxford.

    Google Scholar 

  • Maddy, P.: 1990, Realism in Mathematics. Clarendon Press, Oxford.

    Google Scholar 

  • 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.

    Google Scholar 

  • Thomas, D. W.: 1995, ‘Gödel's Theorem and Postmodern Theory’, Publications of the Modern Language Association of America 110(2), 248–61.

    Google Scholar 

  • Webb, J.: 1980, Mechanism, Mentalism, and Metamathematics. D. Reidel, Dordrecht.

    Google Scholar 

  • Yourgrau, P.: 1991, The Disappearance of Time: Kurt Gödel and the Idealistic Tradition in Philosophy. Cambridge University Press, Cambridge.

    Google Scholar 

  • Zermelo, E.: 1932, ‘Über Stufen der Quantifikation und die Logik des Unendlichen’, Jahresbericht der Deutschen Mathematiker-Vereinigung 41(2), 85–88.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005046308451