Gödel's Proof
- ISBN-10
- 0415355281
- ISBN-13
- 9780415355285
- Category
- Philosophy
- Pages
- 94
- Language
- English
- Published
- 2005
- Publisher
- Taylor & Francis
- Authors
- James Roy Newman, Ernest Nagel
Description
'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.'– The Guardian In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields, from maths to science to philosophy, computer design, artificial intelligence, even religion and psychology. While others such as Douglas Hofstadter and Roger Penrose have published bestsellers based on Godel’s theorem, this is the first book to present a readable explanation to both scholars and non-specialists alike. A gripping combination of science and accessibility, Godel’s Proofby Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity. Kurt Godel(1906 – 1978) Born in Brunn, he was a colleague of physicist Albert Einstein and professor at the Institute for Advanced Study in Princeton, N.J.
Get the book
Other editions
Similar books
-
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)
By Rebecca GoldsteinA portrait of the eminent twentieth-century mathematician discusses his theorem of incompleteness, relationships with such contemporaries as Albert Einstein, and untimely death as a result of mental instability and self-starvation.
-
S(zp, Zp): Post-structural Readings of Gödel's Proof
By Roy WagnerS(zp,zp) analyses the text of the proof of Gödel's result, and shows that mathematical language, like other forms of language, enjoys the full complexity of language as a process, with its embodied genesis, constitutive paradoxical forces ...
-
Metamathematics, Machines and Gödel's Proof
By N. ShankarDescribes the use of computer programs to check several proofs in the foundations of mathematics.
-
Godel's Theorem in Focus
By S.G. ShankerS.G. Shanker. G(-.)DEL'S THEOREM IN FOCUS PHILOSOPHERS IN FOCUS SERIES GODEUS THEOREM IN FOCUS Edited by.
-
An Introduction to Gödel's Theorems
By Peter SmithPeter Smith examines Gödel's Theorems, how they were established and why they matter.
-
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
By Kurt GödelThis Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms ...
-
Godel's Incompleteness Theorems
By Raymond M. SmullyanIn this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems.
-
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs
By Raymond M. SmullyanThese logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. No background in formal logic necessary.
-
Inexhaustibility: A Non-Exhaustive Treatment
By Torkel FranzénThis volume, the sixteenth publication in the Lecture Notes in Logic series, gives a sustained presentation of a particular view of the topic of Gödelian extensions of theories.
-
Godel's Disjunction: The Scope and Limits of Mathematical Knowledge
By Leon Horsten, Philip WelchA variant of this example is to consider □[J]U, where we allow the witnessing proofs to be in N; ... J. Recently Graham Leach-Krouse studied an internal version of -validity over ZFC with the von Neumann interpretation.