On Formally Undecidable Propositions of Principia Mathematica and Related Systems

New York, NY, USA: Basic Books (1931)
  Copy   BIBTEX

Abstract

First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

Categories

Add categories

Keywords

Reprint years

1962, 2012

ISBN(s)

9780486158402   0486158403   0486669807   1773237535
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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.
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.
On formally undecidable propositions of principia mathematica and related systems.R. L. Goodstein - 1963 - Philosophical Books 4 (1):17-18.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems I.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):359-362.
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 Undectdable Propositions of Principia Mathematica and Related Systems.B. Meltzer - 1965 - Journal of Symbolic Logic 30 (3):357-359.
On a Perceived Expressive Inadequacy of Principia Mathematica.Burkay T. Öztürk - 2011 - Florida Philosophical Review 12 (1):83-92.
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.
Completeness and the Ends of Axiomatization.Michael Detlefsen - 2014 - In Juliette Cara Kennedy (ed.), Interpreting Gödel. New York: Cambridge University Press. pp. 59-77.
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.
Theologiae Christianae Principia Mathematica.Joannis Craig - 1964 - History and Theory 4:1-31.
Essay Review: Newton's Principia: Introduction to Newton's ‘Principia’, Isaac Newton's ‘Philosophiae Naturalis Principia Mathematica’Introduction to Newton's ‘Principia’. CohenI. Bernard . Pp. xxviii + 380. £13.00.Isaac Newton's ‘Philosophiae Naturalis Principia Mathematica’. Edited by KoyréAlexandre and CohenI. Bernard with the assistance of WhitmanAnne . Two vols. Pp. xl + 916. £25.00.E. J. Aiton - 1973 - History of Science 11 (3):217-230.
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.

Analytics

Added to PP
2021-11-17

Downloads
48 (#331,327)

6 months
12 (#213,779)

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.
Communication and strong compositionality.Peter Pagin - 2003 - Journal of Philosophical Logic 32 (3):287-322.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.
The computational theory of mind.Steven Horst - 2005 - Stanford Encyclopedia of Philosophy.

View all 48 citations / Add more citations

References found in this work

No references found.

Add more references