On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Free Download

Authors:

ISBN: 0486669807, 9780486669809

Size: 657 kB (673024 bytes)

Pages: 79/79

File format:

Language:

Publishing Year:

Category: Tags: ,

Kurt Gödel0486669807, 9780486669809

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.

Reviews

There are no reviews yet.

Be the first to review “On Formally Undecidable Propositions of Principia Mathematica and Related Systems”
Shopping Cart
Scroll to Top