10% off all books and free delivery over £50
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

View All Editions (1)

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

On Formally Undecidable Propositions of Principia Mathematica and Related Systems 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.

About This Edition

ISBN: 9780486669809
Publication date:
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