On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Author: Kurt Gödel
Publisher: Courier Corporation
Total Pages: 82
Release: 2012-05-24
Genre: Mathematics
ISBN: 0486158403
GET BOOK

Download On Formally Undecidable Propositions of Principia Mathematica and Related Systems Book in PDF, Epub and Kindle

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.