✦ LIBER ✦

On Formally Undectdable Propositions of Principia Mathematica and Related Systemsby B. Meltzer

✍ Scribed by Review by: Alonzo Church

Book ID: 124963081
Publisher: Association for Symbolic Logic
Year: 1965
Tongue: English
Weight: 488 KB
Volume: 30
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2269628

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Formally Undecidable Propositions of

On Formally Undecidable Propositions of Principia Mathematica and Related Systems Iby Kurt Gödel; B. Meltzer

✍ Review by: Stefan Bauer-Mengelberg 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 583 KB

ON FORMALLY UNDECIDABLE PROPOSITIONS OF

ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS

📂 Article 📅 1963 🏛 John Wiley and Sons ⚖ 143 KB

On Formally Undecidable Propositions of

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

✍ Kurt Gödel 📂 Library 📅 1992 🏛 Dover Publications 🌐 English ⚖ 657 KB

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduct