Skip to main content
SpringerLink
Log in
Book cover

Perspectives on the History of Mathematical Logic pp 84–100Cite as

The Reception of Gödel’s Incompleteness Theorems

  • Chapter

Abstract

It is natural to invoke geological metaphors to describe the impact and the lasting significance of Gödel’s incompleteness theorems. Indeed, how better to convey the impact of those results-whose effect on Hilbert’s program was so devastating and whose philosophical reverberations have yet to subside- than to speak of tremors and shock waves? The image of shaken foundations is irresistible.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Barzin, M. (1940), Sur la Portée du Théorème de M. Gödel, Académie Royale de Belgique, Bulletin de la Classe des Sciences, Series 5, 26, 230–239.

    MATH  MathSciNet  Google Scholar 

  • Benacerraf, P. and Putnam, H. (eds.) (1964), Philosophy of Mathematics: Selected Readings, Prentice-Hall, Englewood Cliffs, NJ.

    Google Scholar 

  • Church, A. (1946), Review of Finsler (1944), J. Symbolic Logic 11, 131–132.

    Google Scholar 

  • Davis, M. (1965), The Undecidable. Raven Press, Hewlett, NY.

    Google Scholar 

  • Davis, M. (1982), Why Gödel didn’t have Church’s thesis, Inform, and Control 54, 3–24.

    Article  MATH  MathSciNet  Google Scholar 

  • Dawson, J.W., Jr. (1984), Discussion on the foundation of mathematics, Hist. Philos. Logic 5, 111–129.

    Article  MathSciNet  Google Scholar 

  • Dawson, J.W., Jr. (1985), Completing the Gödel-Zermelo correspondence, Historia Math. 12, 66–70.

    Article  MATH  MathSciNet  Google Scholar 

  • Feferman, S. (1985), Conviction and caution: A scientific portrait of Kurt Gödel, Philos. Natur. 21, 546–562.

    MathSciNet  Google Scholar 

  • Finsler, P. (1926), Formale Beweise und die Entscheidbarkeit, Math. Z. 25, 676–682. (English translation in van Heijenoort (1967), pp. 440–445.)

    Article  MATH  MathSciNet  Google Scholar 

  • Finsler, P. (1944), Gibt es unentscheidbare Sätze? Comment. Math. Helv. 16, 310–320.

    Article  MATH  MathSciNet  Google Scholar 

  • Gödel, K. (1930), Einige metamathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit, Anzeiger der Akademie der Wissenschaft in Wien 67, pp. 214–215. (English translation in van Heijenoort (1967), pp. 595–596.)

    Google Scholar 

  • Gödel, K. (1930/31), Über Vollständigkeit und Widerspruchsfreiheit, Ergebnisse eines mathematischen Kolloquiums 3, pp. 12–13. (English translation in van Heijenoort (1967), pp. 616–617.)

    Google Scholar 

  • Gödel, K. (1931), Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. Math. Phys. 38, 173–198. (English translation in van Heijenoort (1967), pp. 596–616.)

    Article  MathSciNet  Google Scholar 

  • Gödel, K. (1934), On Undecidable Propositions of Formal Mathematical Systems, Mimeographed notes by S.C. Kleene and J.B. Rosser of lectures by Kurt Godel at the Institute for Advanced Study. (As reprinted in Davis (1965), pp. 39–74.)

    Google Scholar 

  • Gonseth, F. (ed.) (1941), Les Entretiens de Zürich sur les Fondements et la methode des sciences mathématiques, 6–9 Decembre 1938, Leeman, Zurich.

    Google Scholar 

  • Grattan-Guinness, I. (1979), In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem, Historia Math. 6, 294–304.

    Article  MATH  MathSciNet  Google Scholar 

  • Grattan-Guinness, I. (1981), On the development of logics between the Two World Wars, Amer. Math. Monthly 88, 495–509.

    Article  MATH  MathSciNet  Google Scholar 

  • Grelling, K. (1937/38). Gibt es eine Gödelsche Antinomie? Theoria 3, 297–306. Zusätze und Berichtigungen, ibid. 4, 68–69.

    Google Scholar 

  • Hahn, H. et al. (1931), Diskussion zur Grundlegung der Mathematik, Erkenntnis 2, 135–151. (English translation in Dawson (1984), pp. 116–128.)

    Article  Google Scholar 

  • Helmer, O. (1937), Perelman versus Gödel, Mind 46, 58–60.

    Article  Google Scholar 

  • Kleene, S.C. (1937a), Review of Perelman (1936), J. Symbolic Logic 2, 40–41.

    Article  Google Scholar 

  • Kleene, S.C. (1937b), Review of Helmer (1937), J. Symbolic Logic 2, 48–49.

    Google Scholar 

  • Kleene, S.C. (1976/78), The Work of Kurt Gödel, J. Symbolic Logic 41, 761–778. Addendum, ibid. 43, 613.

    Article  MathSciNet  Google Scholar 

  • Kleene, S.C. (1981a), Origins of recursive function theory, Ann. Hist. Comput. 3, 52–67. (Corrigenda in Davis (1982), footnotes 10 and 12.)

    Article  MATH  MathSciNet  Google Scholar 

  • Kleene, S.C. (1981b), The theory of recursive functions, approaching its centennial, Bull. Amer. Math. Soc. (N.S.) 5,1, 43–61.

    Article  MATH  MathSciNet  Google Scholar 

  • Kreisel, G. (1979), Review of Kleene (1978). (Addendum to Kleene (1976).) Zentralblatt für Mathematik und ihre Grenzgebiete 366, 03001.

    Google Scholar 

  • Kuczyński, J. (1938), O Twierdzeniu Gödla, Kwartalnik Filozoficzny 14, 74–80.

    Google Scholar 

  • Ladrière, J. (1957), Les Limitations Internes des Formalismes, Nauwelaerte, Louvain; Gauthier-Villars, Paris.

    MATH  Google Scholar 

  • Menger, K. (1978), Selected Papers in Logic and Foundations, Didactics, Economics. (Vienna Circle Collection, Number 10.) Reidel, Dordrecht.

    Google Scholar 

  • Mostowski, A. (1938), Review of Kuczyński (1938), J. Symbolic Logic 3, 118.

    Google Scholar 

  • Perelman, C. (1936), L’Antinomie de M. Gödel, Académie Royale de Belgique, Bulletin de la Classe des Sciences, Series 5, 22, 730–736.

    MATH  Google Scholar 

  • Popper, K.R. (1980), Der wichtigste Beitrag seit Aristoteles, Wissenschaft aktuell 4/80, 50–51.

    Google Scholar 

  • Post, E.L. (1965), Absolutely unsolvable problems and relatively undecidable propositions: Account of an anticipation, in Davis (1965), pp. 338–433.

    Google Scholar 

  • Quine, W.V. (1978), Kurt Gödel (1906–1978). Year Book of the American Philosophical Society 1978, 81–84.

    Google Scholar 

  • Rosser, J.B. (1936), Extensions of some theorems of Gödel and Church, J. Symbolic Logic 1, 87–91. (Reprinted in Davis (1965), pp. 231–235.)

    Article  MATH  Google Scholar 

  • Rosser, J.B. (1938), Review of Grelling (1937/38), J. Symbolic Logic 3, 86.

    Google Scholar 

  • Tarski, A. (1956), Logic, Semantics, Metamathematics. Edited and translated by J.H. Woodger. Oxford University Press, Oxford.

    Google Scholar 

  • Turing, A.M. (1936/37), On computable numbers, with an application to the Entscheidungsproblem, Proc. London Math. Soc, Series 2, 42, 230–265. Corrigenda, ibid. 43, 544–546. (Reprinted in Davis (1965), pp. 115–154.)

    Article  MATH  Google Scholar 

  • van Heijenoort, J. (ed.) (1967), From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931, Harvard University Press, Cambridge, MA.

    MATH  Google Scholar 

  • Wang, H. (1981), Some facts about Kurt Gödel, J. Symbolic Logic 46, 653–659.

    Article  MATH  MathSciNet  Google Scholar 

  • Zermelo, E. (1932), Über Stufen der Quantifikation und die Logik des Unendlichen, Jahresber. Deutsch. Math. Verein. 41, part 2, 85–88.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Pennsylvania State University, York, Pennsylvania, 17403, USA

    John W. Dawson Jr.

Authors
  1. John W. Dawson Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Carlisle, PA, 17013, USA

    Thomas Drucker

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Philosophy of Science Association

About this chapter

Cite this chapter

Dawson, J.W. (1985). The Reception of Gödel’s Incompleteness Theorems. In: Drucker, T. (eds) Perspectives on the History of Mathematical Logic. Birkhäuser Boston. https://doi.org/10.1007/978-0-8176-4769-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-0-8176-4769-8_7

  • Publisher Name: Birkhäuser Boston

  • Print ISBN: 978-0-8176-4768-1

  • Online ISBN: 978-0-8176-4769-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation