On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Read a fragment
Instant download
after payment (24/7)
Wide range of formats
(for all gadgets)
Full book
(including for Apple and Android)
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.
LF/530239/R
Data sheet
- Name of the Author
- Kurt Gödel
- Language
- English
- ISBN
- 9780486669809
- Release date
- 1992
