On Formally Undecidable Propositions Of Principia Mathematica And Related Systems - Kurt Gödel
Dover Publications (1992)
In Collection

Read It:
Gödel's Theorem, Mathematics / General, MATHEMATICS / Logic

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.

Product Details
LoC Classification QA248 .G573 1992
Dewey 511.3
Format Paperback
Cover Price 6,99 €
No. of Pages 80
Height x Width 201 x 137 mm