On Formally Undecidable Propositions of Principia Mathematica and Related Systems

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

by
4.4 of 5 stars 4.40  ·  rating details  ·  88 ratings  ·  6 reviews
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.
Paperback, 80 pages
Published April 1st 1992 by Dover Publications
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Community Reviews

(showing 1-30 of 257)
filter  |  sort: default (?)  |  rating details
David Joseph
This review has been hidden because it contains spoilers. To view it, click here.
Nick Black
The greatest achievement in human thought to date, IMHO. Every family ought have a copy on their coffee table. I read this the summer after high school, and have gone back a few times. In less than one hundred pages, that silent madman Gödel will shatter your mind, put it back together with turing tape, and leave you changed forever. Minimal mathematical background is required.
Vladimir
This is the hardest text that I have ever read in my life. The result is revolutionary, and it is worth all the effort. Because of the conceptual density of the book, I needed to read it many times to get acquainted with the notation and to realize indeed how beautiful the proof is: all concepts introduced are so cleverly used that the proof is minimalistic and inevitable and its main result is compelling in its force and implications.
Kory
Godel gives one of the most interesting proofs I have seen. The proof itself is hard to read and understand, to say the least. However, the consequences of his proof are incredible.
Leigh Jackson
I totally understood this book and I am not lying at all.
Nigel Sequeira
Although the proof suffers from old and somewhat clunky notation, the beauty of Godel's numbering still manages to shine through. A work of massive historical value, and well introduced as well.
Miss Ashlee  M
Jun 13, 2013 Miss Ashlee M marked it as to-read
nawir nawir
Jun 02, 2013 nawir nawir marked it as to-read
Justin
May 25, 2013 Justin marked it as to-read
Fill
May 23, 2013 Fill marked it as to-read
Chintan Gupta
May 21, 2013 Chintan Gupta marked it as to-read
Sam Winslett
May 18, 2013 Sam Winslett marked it as to-read
K Smith
Apr 11, 2013 K Smith marked it as to-read
Oubadah
Apr 03, 2013 Oubadah marked it as to-read
William Love
Mar 29, 2013 William Love marked it as to-read
Njpb
Mar 27, 2013 Njpb marked it as to-read
Shelves: science
Rajiv
Mar 18, 2013 Rajiv marked it as to-read
Laura Lippincott
Mar 08, 2013 Laura Lippincott added it
Shelves: ny
John
Feb 28, 2013 John marked it as to-read
Chris
Feb 27, 2013 Chris marked it as to-read
« previous 1 3 4 5 6 7 8 9 next »
There are no discussion topics on this book yet. Be the first to start one »
Collected Works Consistency of the Continuum Hypothesis. (Am-3) Collected Works: Volume IV: Correspondence, A-G Kurt Godel Collected Works: Volume I: Publications 1929-1936 Collected Works: Volume II, Publications 1938-1974

Share This Book

Your website