On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Download or Read eBook On Formally Undecidable Propositions of Principia Mathematica and Related Systems PDF written by Kurt Gödel and published by Courier Corporation. This book was released on 2012-05-24 with total page 82 pages. Available in PDF, EPUB and Kindle.
Author | : Kurt Gödel |
Publisher | : Courier Corporation |
Total Pages | : 82 |
Release | : 2012-05-24 |
ISBN-10 | : 9780486158402 |
ISBN-13 | : 0486158403 |
Rating | : 4/5 (02 Downloads) |
Book Synopsis On Formally Undecidable Propositions of Principia Mathematica and Related Systems by : Kurt Gödel
Book excerpt: 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. Introduction by R. B. Braithwaite.