Discussion on the foundation of mathematics

History and Philosophy of Logic 5 (1):111-129 (1984)
  Copy   BIBTEX

Abstract

This article provides an English translation of a historic discussion on the foundations of mathematics, during which Kurt GÖdel first announced his incompleteness theorem to the mathematical world. The text of the discussion is preceded by brief background remarks and commentary.

Categories

Keywords

Reprint years

DOI

10.1080/01445348408837065

Other Versions

No versions found

Links

PhilArchive

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

Philosophy of Mathematics: Selected Readings.Paul Benacerraf & Hilary Putnam (eds.) - 1964 - Englewood Cliffs, NJ, USA: Cambridge University Press.
An Introduction to Gödel's Theorems.Peter Smith - 2007 - New York: Cambridge University Press.
Kurt Gödel, paper on the incompleteness theorems (1931).Richard Zach - 2004 - In Ivor Grattan-Guinness, Landmark Writings in Mathematics. North-Holland. pp. 917-925.
Mathematical Logic in Vienna.Kurt Gödel & Hans Hahn - 2024 - Cham: Springer Nature Switzerland.
Kurt Gödel and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Wittgenstein on Gödelian 'Incompleteness', Proofs and Mathematical Practice: Reading Remarks on the Foundations of Mathematics, Part I, Appendix III, Carefully.Wolfgang Kienzler & Sebastian Sunday-Grève - 2016 - In Sebastian Sunday-Grève & Jakub Mácha, Wittgenstein and the Creativity of Language. Palgrave-Macmillan. pp. 76-116.
Mathematics. Systematical Concepts.Paola Cantù - 2018 - In Robert Theis & Alexander Aichele, Handbuch Christian Wolff. Wiesbaden: Springer Fachmedien Wiesbaden. pp. 357-379.
Interpreting Gödel: Critical Essays.Juliette Kennedy (ed.) - 2014 - Cambridge: Cambridge University Press.
Maximen V / Maxims V.Kurt Gödel - 2023 - Berlin, Boston: De Gruyter.

Analytics

Added to PP
2010-08-10

Downloads
111 (#438,255)

6 months
21 (#498,551)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Reception of Gödel's Incompleteness Theorems.John W. Dawson Jr - 1984 - PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984 (2):252-271.

View all 13 citations / Add more citations

References found in this work

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Philosophy of Mathematics: Selected Readings.Paul Benacerraf & Hilary Putnam (eds.) - 1964 - Englewood Cliffs, NJ, USA: Cambridge University Press.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.

View all 17 references / Add more references