Gödel's Proof

p { text-align: justify; } In the book Gödel’s Proof, Ernest Nagel and James R. Newman offer a readable and symbol-free explanation of the main ideas and consequences of Gödel’s discovery. The book was first published in 1958 and has been reprinted time and again since then - Czech is the eleventh language into which it has been translated. Nagel and Newman’s popular and influential work offers the educated reader with an interest in mathematics, logic and philosophy an opportunity to understand a proof that is otherwise difficult and inaccessible. In the latest edition, Pulitzer Prize winner Douglas R. Hofstadter has reviewed and updated this now-classic work. He has removed ambiguities, clarified the arguments and made the text even more accessible. He has added an introduction in which he reveals his relationship with this book and the influence it had on his professional development, explains the essence of Gödel’s proof, and shows how and why this proof remains important to this day. The current edition has been expanded to include an afterword by Alexander Meduna (FIT BUT) entitled ‘Brno native Kurt Gödel and his legacy’. The book is intended for students, researchers, teachers, as well as specialists in mathematics, cybernetics, logic, philosophy and the natural sciences.