On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover Books on Mathematics)

Ranked #54 in Logic, Ranked #70 in Logical Reasoning

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

Similar Books

If you like On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover Books on Mathematics), check out these similar top-rated books:


Learn: What makes Shortform summaries the best in the world?