On Formally Undectdable Propositions of Principia Mathematica and Related Systems

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269628

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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

B. Meltzer. Preface. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. vii–viii. - R. B. Braithwaite. Introduction. On formally undecidable propositions of Principia mathematica and related systems, by Kurt Gödel, translated by B. Meltzer, with Introduction by R. B. Braithwaite, Oliver & Boyd, Edinburgh and London1962, pp. 1–32. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (3):357-359.
Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by B. Meltzer. Oliver & Boyd, Edinburgh and London1962, pp. 37–72. [REVIEW]Stefan Bauer-Mengelberg - 1965 - Journal of Symbolic Logic 30 (3):359-362.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):359-362.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.
On formally undecidable propositions of principia mathematica and related systems.R. L. Goodstein - 1963 - Philosophical Books 4 (1):17-18.
Martin Davis. On formally undecidable propositions of the Principia Mathematica and related systems. I. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, p. 4. - Kurt Gödel. On formally undecidable propositions of Principia Mathematica and related systems I. English translation of 4183 by Elliott Mendelson. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 5–38. - Martin Davis. On undecidable propositions of formal mathematical systems. The undecidable, Basic papers on undecidable propositions, unsolvable problems and computable functions, edited by Martin Davis, Raven Press, Hewlett, New York, 1965, pp. 39–40. - Kurt Gödel. On undecidable propositions of formal mathematical systems. A revised reprint of 41814. The undecidable, Basic papers on undecida. [REVIEW]Stefan Bauer-Mengelberg - 1966 - Journal of Symbolic Logic 31 (3):484-494.
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.
Formally Self-Referential Propositions for Cut Free Analysis and Related Systems.Georg Kreisel & Gaisi Takeuti - 1985 - Journal of Symbolic Logic 50 (1):244-246.
Bernstein B. A.. Remark on Nicod's reduction of Principia mathematica. [REVIEW]Ernest Nagel - 1938 - Journal of Symbolic Logic 3 (1):50-50.
Review: B. Meltzer, The Third Possibility; B. Meltzer, I. J. Good, Two Forms of the Prediction Paradox; William H. Halberstadt, In Defence of Euclid: A Reply to B. Meltzer. [REVIEW]Alan Ross Anderson - 1970 - Journal of Symbolic Logic 35 (3):458-459.

Analytics

Added to PP
2015-02-05

Downloads
16 (#908,022)

6 months
3 (#1,206,820)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intentional gaps in mathematical proofs.Don Fallis - 2003 - Synthese 134 (1-2):45 - 69.
Great Philosophy: Discovery, Invention, and the Uses of Error.Christopher Norris - 2014 - International Journal of Philosophical Studies 22 (3):349-379.
Putnam, Peano, and the Malin Génie: could we possibly bewrong about elementary number-theory?Christopher Norris - 2002 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 33 (2):289-321.

Add more citations

References found in this work

No references found.

Add more references