𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Review by: Stefan Bauer-Mengelberg

Book ID
124963082
Publisher
Association for Symbolic Logic
Year
1965
Tongue
English
Weight
583 KB
Volume
30
Category
Article
ISSN
0022-4812

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
✍ 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