✦ LIBER ✦

On Undecidable Propositions in Formalized Systems of Mathematicsby Andrzej Mostowski

✍ Scribed by Review by: S. Ulam

Book ID: 124945554
Publisher: Association for Symbolic Logic
Year: 1947
Tongue: English
Weight: 210 KB
Volume: 12
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267266

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

📂 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

On Undecidable Statements in Enlarged Sy

On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truthby Alfred Tarski;Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheitby Andrzej Mostowski

✍ Review by: Barkley Rosser 📂 Article 📅 1940 🏛 Association for Symbolic Logic 🌐 English ⚖ 302 KB

On the Independence of the Definitions o

On the Independence of the Definitions of Finiteness in a System of Logicby Andrzej Mostowski

✍ Review by: Alfred Tarski 📂 Article 📅 1938 🏛 Association for Symbolic Logic 🌐 English ⚖ 349 KB

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