- 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
On formally undecidable propositions of principia mathematica and related systems
Philosophical Books 4 (1):17-18 (1963)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Frege and Gödel: Two Fundamental Texts in Mathematical Logic.Jean Van Heijenoort - 1970 - Cambridge, MA: Harvard University Press. Edited by Gottlob Frege & Kurt Gödel.
Review: Georg Kreisel, Gaisi Takeuti, Formally Self-Referential Propositions for Cut Free Analysis and Related Systems; Peter Pappinghaus, A Version of the ∑1 1 -Reflection Principle for CFA Provable in PRA. [REVIEW]Carlo Cellucci - 1985 - Journal of Symbolic Logic 50 (1):244-246.
Review: Martin Davis, The Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.
The Triumph of Types: Principia Mathematica's Impact on Computer Science.Robert L. Constable - unknown
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
Finite combinatory processes. Formulation I.Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 289.
Principia mathematica, to *56.Alfred North Whitehead & Bertrand Russell - 1962 - New York: Cambridge University Press. Edited by Bertrand Russell & Alfred North Whitehead.
Review: Andrzej Mostowski, On Undecidable Propositions in Formalized Systems of Mathematics. [REVIEW]S. Ulam - 1947 - Journal of Symbolic Logic 12 (2):60-60.
Extensions of some theorems of Godel and church.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 230.
I wish to express here my gratitude to various members of the Department of Mathematics of Cornell University who obliged me by critically reading various drafts of this paper. Bibliography.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication. pp. 230.
Typos of Principia Mathematica.Gregory Landini - 2013 - History and Philosophy of Logic 34 (4):306 - 334.
Time dependent propositions and quantum logic.Peter Mittelstaedt - 1977 - Journal of Philosophical Logic 6 (1):463 - 472.
Analytics
Added to PP
2013-12-01
Downloads
12 (#996,020)
6 months
4 (#573,918)
2013-12-01
Downloads
12 (#996,020)
6 months
4 (#573,918)
Historical graph of downloads
Citations of this work
Chinese Landscape Aesthetics: the Exchange and Nurturing of Emotions.Claudia Westermann - 2020 - In Jutta Kehrer (ed.), New Horizons: Eight Perspectives on Chinese Landscape Architecture Today. Basel, Switzerland: pp. 34-37.
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-67c5d994d4-9fnpl uwo