On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Gödel, Kurt

ISBN 10: 0486669807 / ISBN 13: 9780486669809

Published by Dover Publications, 1992

About this Item

The item is very worn but is perfectly usable. Signs of wear can include aesthetic issues such as scratches, dents, worn and creased covers, folded page corners and minor liquid stains. All pages and the cover are intact, but the dust cover may be missing. Pages may include moderate to heavy amount of notes and highlighting, but the text is not obscured or unreadable. Page edges may have foxing age related spots and browning . May NOT include discs, access code or other supplemental materials.

Seller Inventory # BVV.0486669807.A

Bibliographic Details

• Title: On Formally Undecidable Propositions of Principia Mathematica and Related Systems
• Publisher: Dover Publications
• Publication Date: 1992
• Language: English
• ISBN 10: 0486669807
• ISBN 13: 9780486669809
• Binding: Soft cover
• Condition: acceptable

About this title

Synopsis

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.