- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Discussion on the foundation of mathematics
History and Philosophy of Logic 5 (1):111-129 (1984)
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.My notes
Similar books and articles
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:183-196.
Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Category theory as an autonomous foundation.Øystein Linnebo & Richard Pettigrew - 2011 - Philosophia Mathematica 19 (3):227-254.
The conceptual roots of mathematics: an essay on the philosophy of mathematics.John Randolph Lucas - 2000 - New York: Routledge.
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Intuitionistic mathematics and wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Foundations of Mathematics: Metaphysics, Epistemology, Structure.Stewart Shapiro - 2004 - Philosophical Quarterly 54 (214):16 - 37.
Analytics
Added to PP
2010-08-10
Downloads
52 (#299,008)
6 months
6 (#522,885)
2010-08-10
Downloads
52 (#299,008)
6 months
6 (#522,885)
Historical graph of downloads
Citations of this work
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems.Paolo Mancosu - 1999 - History and Philosophy of Logic 20 (1):33-45.
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems.Rod J. L. Adams & Roman Murawski - 1999 - Dordrecht, Netherland: Springer Verlag.
Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics.Thomas E. Uebel - 2005 - History and Philosophy of Logic 26 (3):175-209.
Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship.I. Grattan-Guinness - 1999 - History and Philosophy of Logic 20 (3-4):159-167.
Von Neumann's Methodology of Science: From Incompleteness Theorems to Later foundational Reflections.Giambattista Formica - 2010 - Perspectives on Science 18 (4):480-499.
References found in this work
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-hc2g5 uwo