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.
ISBN: | 9780486669809 |
Publication date: | 28th March 2003 |
Author: | Kurt Gödel |
Publisher: | Search Press an imprint of Dover Publications Inc |
Format: | Paperback |
Pagination: | 72 pages |
Series: | Dover Books on MaTHEMA 1.4Tics |
Genres: |
Mathematical logic |