Items related to On Formally Undecidable Propositions of "Principia...

On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems: viii (Dover Books on MaTHEMA 1.4tics) - Softcover

Book 82 of 302: Dover Books on Mathematics

Godel, Kurt

 
9780486669809: On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems: viii (Dover Books on MaTHEMA 1.4tics)

Synopsis

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. Introduction by R. B. Braithwaite.

"synopsis" may belong to another edition of this title.