On Formally Undecidable Propositions of Principia Mathematica and Related Systems I

Journal of Symbolic Logic 30 (3):359-362 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269629

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

On formally undecidable propositions of principia mathematica and related systems.R. L. Goodstein - 1963 - Philosophical Books 4 (1):17-18.
On Formally Undectdable Propositions of Principia Mathematica and Related Systems.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):357-359.
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.
Principia Mathematica, De Philosophiae Naturalis Principia Mathematica, Les principes mathématiques de la philosophie naturelle.Isaac Newton, Stephen Hawking & F. Biarnais - 1986 - Revue Philosophique de la France Et de l'Etranger 176 (1):119-120.
Formally Self-Referential Propositions for Cut Free Analysis and Related Systems.Georg Kreisel & Gaisi Takeuti - 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 Undecidable Basic Papers on Undecidable Basic Propositions, Unsolvable propositions and Unsolvable Problems and Computable Funtions.Martin Davis - 1966 - Journal of Symbolic Logic 31 (3):484-494.
Proper Definition in "Principia Mathematica".C. G. Morgan - 1973 - International Logic Review 7:80.
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.
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.
Theologiae Christianae Principia Mathematica.Joannis Craig - 1964 - History and Theory 4:1-31.
Principia mathematica, to *56.Alfred North Whitehead & Bertrand Russell - 1962 - New York: Cambridge University Press. Edited by Bertrand Russell & Alfred North Whitehead.
On Undecidable Propositions in Formalized Systems of Mathematics.Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (2):60-60.
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.

Analytics

Added to PP
2017-02-21

Downloads
19 (#803,993)

6 months
3 (#984,214)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth in Frege.Richard Heck & Robert May - forthcoming - In M. Glanzberg (ed.), Oxford Handbook of Truth. Oxford University Press.

Add more citations

References found in this work

No references found.

Add more references