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



    Upload a copy of this work     Papers currently archived: 100,665

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.
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.
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 (ed.), Landmark Writings in Mathematics. North-Holland. pp. 917-925.
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 (eds.), Wittgenstein and the Creativity of Language. Palgrave Macmillan. pp. 76-116.
Interpreting Gödel: Critical Essays.Juliette Kennedy (ed.) - 2014 - Cambridge: Cambridge University Press.

Analytics

Added to PP
2010-08-10

Downloads
61 (#343,704)

6 months
6 (#820,766)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 11 citations / Add more citations

References found in this work

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.
Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
Philosophy of Mathematics: Selected Readings.Paul Benacerraf & Hilary Putnam (eds.) - 1964 - Englewood Cliffs, NJ, USA: Cambridge University Press.

View all 14 references / Add more references