On Formally Undecidable Propositions of Principia Mathematica and Related Systems
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
Download or read book On Formally Undecidable Propositions of Principia Mathematica and Related Systems 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. 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.