- Take an Extra 30% Off Any Book: Use promo code HOLIDAY30 at checkout to get an extra 30% off any book for a limited time. Excludes Kindle eBooks and Audible Audiobooks. Restrictions apply. Learn more.
In my humble opinion one of the most important discoveries of the 20th century. In fact it means that to describe the world with a consistent and complete logical theory, we need... Read morePublished 2 months ago by Egon Wojciulewitsch
Writing doesn't matter. This is a must for everyone in foundatoins.Published 2 months ago by Curious Reader
For math gnurds only. If you don't understand the symbolic logic, no big deal. Your friends probably won't understand it either.Published 15 months ago by Peter Schwartz
As other reviewers have noted, there are numerous easier expositions of the work Godel reports in his 1931 paper. Read morePublished on March 2, 2011 by Victor A. Vyssotsky
It is very hard to find faults in what may be the most famous proof of the 20th century.
For those not familiar with the Russell-Whitehead Principia Mathematica... Read more
As indicated in two other reviews of mine here, my comprehension of Goedel's work is opposite to the general one. Read morePublished on October 24, 2006 by Paul Vjecsner
Gödel proves that a formal system containing arithmetic must be incomplete (i.e. incapable of proving all true statements). Read morePublished on October 15, 2006 by Viktor Blasjo
Godel's incompleteness theorem's are without a doubt genious. However, this day in age, no logician actually reads Godel's original work unless they are only interested in the... Read morePublished on July 23, 2005 by steve