On Formally Undecidable Propositions of Principia Mathema... and over one million other books are available for Amazon Kindle. Learn more
Qty:1
  • List Price: $8.95
  • Save: $0.45 (5%)
FREE Shipping on orders over $35.
Only 13 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
On Formally Undecidable P... has been added to your Cart
FREE Shipping on orders over $35.
Used: Acceptable | Details
Condition: Used: Acceptable
Comment: This book has already been well loved by someone else and that love shows. It MIGHT have highlighting, underlining, be missing a dust jacket, or SLIGHT water damage, but over-all itâ€TMs still a good book at a great price! (if it is supposed to contain a CD or access code, that may be missing)
Access codes and supplements are not guaranteed with used items.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

On Formally Undecidable Propositions of Principia Mathematica and Related Systems Paperback – April 1, 1992

ISBN-13: 978-0486669809 ISBN-10: 0486669807

Buy New
Price: $8.50
39 New from $4.31 38 Used from $1.27
Amazon Price New from Used from
Kindle
"Please retry"
Hardcover
"Please retry"
$25.00
Paperback
"Please retry"
$8.50
$4.31 $1.27
Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student



Editorial Reviews

Language Notes

Text: English (translation)
Original Language: German
NO_CONTENT_IN_FEATURE

Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • Series: Dover Books on Mathematics
  • Paperback: 80 pages
  • Publisher: Dover Publications (April 1, 1992)
  • Language: English
  • ISBN-10: 0486669807
  • ISBN-13: 978-0486669809
  • Product Dimensions: 5.4 x 0.2 x 8 inches
  • Shipping Weight: 2.4 ounces (View shipping rates and policies)
  • Average Customer Review: 4.7 out of 5 stars  See all reviews (18 customer reviews)
  • Amazon Best Sellers Rank: #261,443 in Books (See Top 100 in Books)

More About the Authors

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

4.7 out of 5 stars
5 star
15
4 star
0
3 star
3
2 star
0
1 star
0
See all 18 customer reviews
So wade in and enjoy!
dan kandahl
By unique prime factorisation one can recreate the formula from its number.
Viktor Blasjo
This makes up his Incompleteness Theorem.
Ben Rothke

Most Helpful Customer Reviews

215 of 227 people found the following review helpful By J. Alfonso on August 3, 2004
Format: Paperback
Reading through the reviews of self-proclaimed math geniuses (see some of the below unhelpful reviews for examples) is hardly edifying, so I feel compelled to lend a hand. Here are a few comments about this publication:

First, the introduction does a poor job in explicating the theory. I suppose it gives you the basic idea, but this is hardly the first account of the theory one should read. Brathwaite does not connect all of the dots, and it will take a long time to figure out how the proof works from his intro, if you can do it all. (And that's not a challenge or insult; it simply isn't that well written.)

Second, forget about wading through Godel's proof on your own. The reviewer who claimed to do so with two years of algebra and a really good dictionary is simply lying. You do not wade through difficult theorems in mathematical logic without the appropriate tools. And the appropriate tools include having done similar but simpler proofs on your own and having a solid background in mathematical logic. Without this background, it doesn't matter whether you have the ability to be a mathematics professor at Princeton or place top five in the Putnam - you simply will not understand the proof in a rigorous manner. By all means, take a look at it to get a general feel for what's going on, but if you want a semi-technical account read Smullyan's "Godel's Incompleteness Theorems."

Third, as one reviewer pointed out, there are multiple errors in this printing of the proof. This makes what was a tall task virtually impossible.

So what did Godel do that was so interesting?

He proved that there were certain arithmetical statements about whole numbers that were not provable but true.
Read more ›
5 Comments Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
90 of 98 people found the following review helpful By dan kandahl on December 24, 2000
Format: Paperback
Anyone who wants to trace this proof is free to do so. Though the formal logic can be formidable, and must be learned before tackling the proof, only the basic structure is necessary and it is not difficult to learn. It is also necessary to know a little about prime numbers, specifically that every composite number can be decomposed into some unique group of prime factors. Otherwise, all the technical aspects of the proof (barring the conclusion of theorem VI and a bit of the recursion) can be perfectly understood by someone outside of the world of formal mathmatics.
The proof itself is meant for a professional mathmatician. If you are interested and willing this will not dissuade you. To say Godel was not a master of exposition is misleading for he is ,if nothing else, just that. I have heard working through the proof compared to a mystical experience and the proof itself to a symphony. It is truly beautiful to even the mere math enthusiast. Godel is not, however, a college professor and does not wish to explain what need not be explained. This will not be of much consolation when he prefaces a statement with, "of course," for the twentieth time and you have no idea what he is talking about. But if you are not afraid to go ahead when you have tried and failed to understand, and are not afraid to return when you have gained some small piece of the puzzle and try again, everything will come clear. This is the original. All the commentaries are great, and some are even helpful before you get to the conclusion, but they are not the proof and should not be taken as a substitute. They do not suffice the way a generic drug does. There is no way to understand the full scope of the proof if you are not willing to immerse yourself in it and the language it uses.
Read more ›
1 Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
38 of 39 people found the following review helpful By A Customer on September 26, 2000
Format: Paperback
This book is a translation of one of the most important papers in 20th-century mathematics. It's wonderful that Dover has published it at such a cheap price, so everyone interested in the incompleteness theorems can take a look at it. However, I should warn potential readers that it is _not_ the best introduction, for three reasons:
(1) Goedel was not the world's greatest expositor.
(2) We now have nearly 70 years worth of insight Goedel didn't have when writing this paper.
(3) Goedel never intended the paper to be read by anyone but professional mathematicians.
Non-mathematicians who really want to understand this material should also take a look at "Goedel's Proof" by Nagel and Newman (and perhaps Hofstadter's "Goedel, Escher, Bach: An Eternal Golden Braid" for cultural background). Mathematicians can find lots of more technical expositions.
The original paper should not be the only source one tries to learn from, but I think it can be very valuable to take a look at it side-by-side with more modern treatments to get a feeling for how the ideas really arose. In principle one could learn everything straight from the source, but it just isn't the most efficient way. (I say this as a professional who has read the original paper and lots of other accounts of the proof, as well as written one of my own.)
Net recommendation: this book is so cheap that one should buy it and a modern treatment.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
32 of 35 people found the following review helpful By Juan Pablo Pira on October 31, 2001
Format: Paperback Verified Purchase
THE proof as Goedel wrote it (plus typos). I have seen modern proofs of this theorem which are much easier to follow (as an example, a Mir book on mathematical logic by a Russian mathematician whose name I cannot recall), but this one is the REAL thing.
Modern proofs can be much clearer, but the original always has an added value. The writing style is not the best, but by reading this version you get a clearer idea of how Goedel came up with his theorem and the many difficulties he faced. Remember, by the time most of us read or heard about this for the first time, mathematical logic had advanced quite a few decades.
1 Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Most Recent Customer Reviews


What Other Items Do Customers Buy After Viewing This Item?


Frequently Bought Together

On Formally Undecidable Propositions of Principia Mathematica and Related Systems + Gödel's Proof + Gödel, Escher, Bach: An Eternal Golden Braid
Price for all three: $31.98

Buy the selected items together