Goodreads helps you keep track of books you want to read.
Start by marking “Gödel's Proof” as Want to Read:
Gödel's Proof
Enlarge cover
Rate this book
Clear rating
Open Preview

Gödel's Proof

4.15  ·  Rating details ·  4,045 Ratings  ·  206 Reviews
In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in ...more
Hardcover, 129 pages
Published October 1st 2001 by New York University Press (first published 1958)
More Details... edit details

Friend Reviews

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

Reader Q&A

To ask other readers questions about Gödel's Proof, please sign up.

Be the first to ask a question about Gödel's Proof

Community Reviews

(showing 1-30)
Rating details
Sort: Default
|
Filter
WarpDrive
Oct 09, 2017 rated it it was amazing
Highly entertaining and thoroughly compelling, this little gem represents a semi-technical but comprehensive and mathematically accurate elucidation of the famous (and so often misused and misunderstood) Godel's meta-mathematical results concerning the limits of provability in formal axiomatic theories.

Being relatively short, this book does not expand on the important correspondences and similarities with the concepts of computability originally introduced by Turing (in theory of computability,
...more
Riku Sayuj
This Statement is False.

How can anyone wrap oneself around that ancient paradox? A true statement whose unprovability resulted precisely from its truth!

With this self-undermining formula as his hammer, Godel knocked down the fortress of Principia Mathematica (PM), so painstakingly constructed by Russell and Whitehead.

He also showed that his method applied to any system whatsoever that tried to accomplish the goals of Principia Mathematica. In effect, then, Godel destroyed the hopes of those who
...more
Matt
May 25, 2009 rated it really liked it
I don't read much math these days, so when I do read it, it's a little like climbing a steep wall following a winter of sitting in front of a computer. You discover a lot of soreness in muscles you scarcely remember you ever had in the first place.

The long and the short of it is that once upon a time, I sorta understood Godel's incompleteness theorem, and after this modest reading, I sorta understand it again. Success!

More importantly for me, it was fun to try to connect neurons in my poor fuzzy
...more
Szplug
Feb 20, 2011 rated it really liked it
My thanks to AC for convincing me to take the plunge and purchase this little gem: who'd have thought that one-hundred-and-thirteen pages of mathematical logic could have been so entertainingly informative? It was little touches like the chess analogy for describing the relationship between mathematics and metamathematics, the placing of the Richard paradox in terms that were more pellucid than the valiant effort attempted by Rebecca Goldstein, and the tricky, but effective, explanation of how G ...more
Yann
Ce livre comporte trois ouvrages distincts. Premièrement un texte de vulgarisation visant à présenter le théorème d'incomplétude de Kurt Gödel, et à expliciter autant que possible pour le tout venant comme moi les grandes étapes du raisonnements, ainsi que les techniques employées par Gödel. C'est pas mal, les notions sont introduites par degré, les grandes étapes sont exposées, ainsi que les techniques employées. Il me semble que l'on vise un public de philosophes plutôt que de matheux.

En secon
...more
Ali Reda
Sep 02, 2014 rated it it was amazing  ·  review of another edition
Shelves: philosophy
The Book is the best to explain Godel's Proof of the Incompleteness Theorem.

Gödel showed that Principia, or any other system within which arithmetic can be developed, is essentially incomplete. In other words, given any consistent set of arithmetical axioms, there are true arithmetical statements that cannot be derived from the set.

Godel showed that it is impossible to give a meta-mathematical proof of the consistency of a system comprehensive enough to contain the whole of arithmetic—unless the
...more
Sam Ritchie
Nov 11, 2015 rated it it was amazing
Other reviews here do an excellent job of going over the book's subject matter. I'd encountered the proof before in "Gödel, Escher, Bach" - this book gives a really deep, clear dive into the main thrust of Gödel's proof that it's not possible to write an absolute proof of consistency for a formal system that can describe number theory inside that theory itself. (The book will teach you what everything in that phrase means, so don't be scared!)

Here's my more personal review.

I'm a functional progr
...more
David Olmsted
May 04, 2012 rated it it was amazing
This book is one of those rare creations in which its clarity and succinctness of presentation highlights the most important concepts. Even if one is not interested in the theory itself the first half of the book is a must read by anyone dealing with mathematics or interested in the nature of truth. It ultimately describes the 1931 paper Kurt Godel published in German entitled “On Formally Undecidable Propositions of Principia Mathematica and Related Systems”. The “Principia Mathematica” was the ...more
Joshua Nomen-Mutatio
This was an extremely difficult book for me. I understood so little of it on my own but luckily was reading it in school where I had people around me who were more mathematically fluent than myself to explain what the hell was going on. It was fascinating and frustrating and the basic ideas I gleaned from it were worth the headaches
David
Nov 16, 2011 rated it it was ok
This proves nothing.
Sarip Dol
Jun 05, 2017 rated it really liked it
Untuk sebuah karya (pemudah) matematik, buku ini sebenarnya sangat mudah untuk dibaca; lebih mudah daripada apa yang aku bayangkan. Aku fikir, ada dua sebab: (1) penulis berjaya memberikan gambaran jelas tentang apa yang Godel telah usahakan, dan penulis telah abaikan sejumlah pembuktian formula yang ia rasakan tak perlu; dan (2) aku membaca buku ini dengan maksud meninjau apa yang Godel katakan, dan bukan kenapa apa yang Godel katakan itu benar. Jadinya, sepanjang pembacaan, aku tidak begitu te ...more
Chayan Ghosh
Oct 30, 2016 rated it really liked it
Shelves: mathematics
How do I come up with a fair review for this book, without having my judgement clouded by the genius of Godel? On one hand I am speechless by the ingenuity of the proof devised by Godel and what it signifies, while on the other I am disappointed with the authors for how insufficiently the legend's mind has been probed and represented in these pages. For a book named Godel's Proof, this one barely scratches the surface.

On the plus side, it was a very involved and difficult topic, and it was a bol
...more
Adam
Oct 18, 2011 rated it really liked it
Excellent explication of Godel's proof. I appreciate both the simplicity and accuracy of the account this book gives, and the fact that it does not take Godel and make ridiculous assertions about what is suggested by his conclusions, using Godel to endorse a vague mysticism or intuitionism. Wonderful book.
Jodh Singh
Apr 24, 2017 rated it it was amazing
The first 80 pages are a breeze, but pages 80-92 need many re-reads.

P.S. Remember to not miss-use the incompleteness proof to give sweeping and profound statements about nature of the world or other mumbo jumbo. Godel went to a great deal of trouble to write a very exact and general proof, do not desecrate his work to prove weird stuff.
Jafar
Aug 07, 2017 rated it really liked it
This book makes you feel smart for understanding (a dumbed-down version of) the proof of Gödel's incompleteness theorem.
Sandys Nunes
Sep 22, 2014 rated it really liked it  ·  review of another edition
Shelves: math


Até a parte preliminar à explicação da prova de Gödel eu entendi, já quanto a prova em si... nãããããooo.

Mas tenho algumas observações.

1ª. **Consistência de um sistema**.
Dado um sistema formado por um conjunto finito de axiomas, provando-se que esse sistema jamais produzirá teoremas contraditórios, então o sistema é consistente.

2ª. No fim das contas (que contas!) a prova de Gödel mostra que, se um sistema é consistente ele terá algumas proposições verdadeiras que não podem ser demostradas nem nega
...more
Mahdi Dibaiee
Feb 28, 2017 rated it it was amazing
Shelves: science, favorites
A fun and thought provoking read indeed, would recommend it to anyone who
* loves paradoxical statements
* would like to know more about mathematical logic
Mengsen Zhang
Jan 20, 2013 rated it really liked it
If you have watched the movie “Inception” and thought it was not bad, then there is a higher chance that you will like this book. I would also give this book another name: “Gödel’s Trick in two parts, Part 2: proof by inception”. An imaginary “Part 1” refers to what has been omitted, i.e. the proof of why the correspondence between activities in different levels of inception is guaranteed to be valid. However, this point does not at all undermine the fact that this is a great and fun book, and a ...more
Nathan Glenn
Apr 29, 2013 rated it really liked it
This book is about a revolutionary mathematical paper by Kurt Godel. Godel showed that general mathematical statements could be represented using plain ol' numbers, and through this statement-to-number mapping proved that there will always exist an infinite number of true mathematical statements that are not provable using mathematical reasoning, no matter how many new rules one adds. This holds within any axiomatic system which encompasses the whole of number theory.

The book dumbs down the proo
...more
Bob Finch
May 18, 2013 rated it really liked it
Recommends it for: geeks
I have pondered Gödel's famous proof since first hearing of it, but I could never manage the original paper. This compact, enlightening little gem shines a bright light on that remarkable piece of work, and on logical thinking in general. In a stunning surprise to the the status quo, Gödel shook the foundations of mathematics by demonstrating it to be incomplete or inconsistent. Hofstadter's edition with his excellent forward is particularly helpful for understanding the continued impact of Göde ...more
Ed
Aug 03, 2011 rated it really liked it
I recommend this book for readers who want a clear and concise introduction to Godel's proof. The book will be especially useful for readers whose interests lie primarily in mathematics or logic, but who do not have very much prior knowledge of this important proof. Readers with broader interests, who would like to explore the larger implications of the proof for science or philosophy, may be disappointed that the book ends where it does. Godel's Incompleteness Theorem is cited by many scholars ...more
Aysja Johnson
Jul 16, 2017 rated it it was amazing
I've encountered Gödel's proof(s) in various settings -- once in a formal logic course and once in a philosophy of mathematics course. Both times I was too far in the weeds to really glean the huge importance of his work. This book does incredible justice to the intellectual masterpiece Gödel constructed, and it does so in a very incisive way. It also places his work in the context of the mathematic research at the time which gives it much more meaning.

I found this book fairly easy to read with
...more
Sherwin
Aug 12, 2007 added it
Recommends it for: everybody
Shelves: philosophy
Once there was a boy, a newcommer to university, who wished to construct a logical paradigm to explain everything in a crystal clear rational proposeitional structure. Then, when he seemed to be mostly achieved his goal, this book came out of nowhere and learned him the humbleness essential for an incomplete mind. It is a brief, very easy to read, and even pop/ordinary book. But I am deeply in debt of it, because I knew Godel through this, and he changed my life...
Gabe Koss
Sep 09, 2017 rated it really liked it
Shelves: philosphy
This was an unexpectedly quick read. I dove right in an found it to be quite rewarding and moderately accessible. It does a great about framing Gödels Incompleteness Theorem but also introduced me to a lot of the history of logic and many important concepts.
KarLuis
Sep 06, 2016 rated it it was amazing  ·  review of another edition
A gently accessible and highly readable exegesis of what I feel is the most difficult text a student of philosophy can attempt to read. (Yes, much more so than Kant.)
Arefeh
Nov 02, 2017 rated it it was ok  ·  review of another edition
قسمتی از جملات و مفاهیم که شاید در حدود ۳۰ مورد باشند به دلیل پدیدهترجمه، برای خوانندگان فارسی زبان کتاب به سختی قابل فهم باشند

بعضی از حکایات چند بار تکرار شدند ....

برای افرادی که با ریاضیات مسئله روبرو بودهاند، این کتاب از این رو میتواند جالب توجه باشد که بعد کیفی بیان مسئله را برایشان پر رنگتر میکند

هرچند روشن است که این کتاب بهترین کتاب بیان قضیهیگودل نخواهد بود

اما نه برای زبان فارسی....

بدین ترتیب این کتاب فعلا اهمیت ویژه ای دارد

***
انگیزهمند ترین بخش این کتاب، برای من
که باعثشد به بیهودهنبودن خ
...more
Crito
May 19, 2018 rated it really liked it
Shelves: nonfiction
Very accessible for mathlets such as myself.
Gary
Feb 14, 2018 rated it it was amazing
Learning a new language. Fascinating.
Mihir
Mar 07, 2018 rated it it was amazing  ·  review of another edition
Delightful read, dumbed down perfectly to my comfort level. You can see glimpses of what inspired GEB as you go through the book and marvel at how Douglas Hofstadter was able to build on those ideas.
« previous 1 3 4 5 6 7 8 9 next »
  • Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)
  • Proofs and Refutations: The Logic of Mathematical Discovery
  • Introduction to Mathematical Philosophy
  • On Formally Undecidable Propositions of Principia Mathematica and Related Systems
  • The Princeton Companion to Mathematics
  • Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics
  • The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number
  • Metamagical Themas: Questing for the Essence of Mind and Pattern
  • Mathematics: The Loss of Certainty
  • An Imaginary Tale: The Story of the Square Root of Minus One
  • Journey through Genius: The Great Theorems of Mathematics
  • The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
  • How to Prove It: A Structured Approach
  • The Society of Mind
  • A Mathematician's Apology
  • Naive Set Theory
  • Proofs from THE BOOK
  • The Mathematical Theory of Communication

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Nonfiction Deals

  • Masters of the Air: America's Bomber Boys Who Fought the Air War Against Nazi Germany
    $15.99 $3.99
  • The Monster of Florence
    $10.99 $2.99
  • The Westies: Inside New York's Irish Mob
    $9.99 $1.99
  • April 1865 (P.S.)
    $11.74 $1.99
  • Jesus Is ______: Find a New Way to Be Human
    $7.99 $0.99
  • Scent of the Missing: Love and Partnership with a Search-and-Rescue Dog
    $17.99 $1.99
  • Lab 257
    $8.74 $1.99
  • How Not to Hate Your Husband After Kids
    $9.99 $2.99
  • Girl in the Woods: A Memoir
    $11.99 $1.99
  • The Power of When: Discover Your Chronotype--and the Best Time to Eat Lunch, Ask for a Raise, Have Sex, Write a Novel, Take Your Meds, and More
    $14.99 $2.99
  • The Last Lecture
    $10.99 $2.99
  • Love Wins: A Book About Heaven, Hell, and the Fate of Every Person Who Ever Lived
    $12.74 $1.99
  • Not Tonight, Honey: Wait 'Til I'm A Size 6
    $10.99 $1.99
  • The Defining Decade: Why Your Twenties Matter--And How to Make the Most of Them Now
    $11.99 $2.99
  • Heroes, Gods and Monsters of the Greek Myths
    $9.99 $1.99
  • Ladies of Liberty: The Women Who Shaped Our Nation
    $5.99 $1.99
  • The Ends of the World: Volcanic Apocalypses, Lethal Oceans, and Our Quest to Understand Earth's Past Mass Extinctions
    $12.99 $1.99
  • Feast: True Love in and out of the Kitchen
    $4.99 $1.99
  • The Last of the Doughboys: The Forgotten Generation and Their Forgotten World War
    $15.99 $1.99
  • Vaccinated: One Man's Quest to Defeat the World's Deadliest Diseases
    $10.99 $1.99
  • Troublemaker: Surviving Hollywood and Scientology
    $12.99 $2.99
  • An Appetite For Wonder: The Making Of A Scientist
    $7.99 $1.99
  • Letters of Note: An Eclectic Collection of Correspondence Deserving of a Wider Audience
    $27.99 $2.99
  • Waiter Rant: Thanks for the Tip-Confessions of a Cynical Waiter
    $8.74 $1.99
  • Dakota: A Spiritual Geography (Dakotas)
    $13.99 $1.99
  • Restless: Because You Were Made for More
    $7.49 $1.99
  • Fifth Avenue, 5 A.M.: Audrey Hepburn, Breakfast at Tiffany's, and The Dawn of the Modern Woman
    $10.24 $1.99
  • The Song of the Dodo: Island Biogeography in an Age of Extinctions
    $16.99 $2.99
  • Happiness: The Crooked Little Road to Semi-Ever After
    $13.99 $3.99
  • Man-Eater: The Life and Legend of an American Cannibal
    $5.99 $2.99
  • Living Well, Spending Less: 12 Secrets of the Good Life
    $9.99 $1.99
  • Pukka: The Pup After Merle
    $17.99 $1.99
  • Buddhist Boot Camp
    $11.99 $1.99
  • Flour: A Baker's Collection of Spectacular Recipes
    $21.99 $3.99
  • The Longest Day: The Classic Epic of D-Day
    $12.99 $3.99
  • The 7 Habits of Highly Effective People: Powerful Lessons in Personal Change
    $5.99 $1.99
  • Van Gogh
    $9.99 $1.99
  • Lost in the Cosmos: The Last Self-Help Book
    $9.99 $1.99
  • Church of the Small Things: The Million Little Pieces That Make Up a Life
    $9.99 $1.99
  • Untangled: Guiding Teenage Girls Through the Seven Transitions into Adulthood
    $11.99 $1.99
  • Woman's Worth
    $9.99 $1.99
  • Six Degrees: Our Future on a Hotter Planet
    $5.99 $1.99
  • Do the Work
    $4.99 $1.49
  • The Lost Tribe of Coney Island: Headhunters, Luna Park, and the Man Who Pulled Off the Spectacle of the Century
    $4.99 $1.99
  • I Suck at Girls
    $10.74 $1.99
  • The Beauty Myth: How Images of Beauty Are Used Against Women
    $14.99 $2.99
  • A Mind of Your Own: The Truth About Depression and How Women Can Heal Their Bodies to Reclaim Their Lives
    $18.99 $1.99
  • Band of Brothers: E Company, 506th Regiment, 101st Airborne from Normandy to Hitler's Eagle's Nest
    $12.99 $3.99
  • Peace Is Every Breath: A Practice for Our Busy Lives
    $9.49 $1.99
  • Savage Harvest: A Tale of Cannibals, Colonialism, and Michael Rockefeller's Tragic Quest for Primitive Art
    $14.99 $1.99
  • Londoners: The Days and Nights of London Now--As Told by Those Who Love It, Hate It, Live It, Left It, and Long for It
    $7.24 $1.99
  • The World's Last Night: And Other Essays
    $7.99 $1.99
  • A. Lincoln
    $13.99 $1.99
  • Tracks: One Woman's Journey Across 1,700 Miles of Australian Outback
    $17.99 $1.99
  • Daring to Drive: A Saudi Woman's Awakening
    $13.99 $1.99
  • Hell's Princess: The Mystery of Belle Gunness, Butcher of Men
    $5.99 $2.99
  • Life
    $11.99 $2.99
  • Seeing Further: The Story of Science and the Royal Society
    $13.24 $2.99
  • Grace, Not Perfection (with Bonus Content): Celebrating Simplicity, Embracing Joy
    $8.99 $1.99
  • The Promise and the Dream: The Untold Story of Martin Luther King, Jr. And Robert F. Kennedy
    $9.99 $1.99
  • Through the Eyes of a Lion: Facing Impossible Pain, Finding Incredible Power
    $9.99 $1.99
  • Why We Run: A Natural History
    $9.49 $1.99
  • Edgar Allan Poe: The Fever Called Living
    $5.99 $2.99
  • The Road to Jonestown: Jim Jones and Peoples Temple
    $12.99 $2.99
No trivia or quizzes yet. Add some now »
“Like Molière’s M. Jourdain, who spoke prose all his life without knowing it, mathematicians have been reasoning for at least two millennia without being aware of all the principles underlying what they were doing. The real nature of the tools of their craft has become evident only within recent times A renaissance of logical studies in modern times begins with the publication in 1847 of George Boole’s 'The Mathematical Analysis of Logic'.” 4 likes
“Contrary to all prior belief, the vast continent of arithmetical truth cannot be brought into systematic order by laying down for once and for all a fixed set of axioms and rules of inference from which every true arithmetical statement can be formally derived.” 1 likes
More quotes…