Godel's Proof
- ISBN-10
- 0359079261
- ISBN-13
- 9780359079261
- Category
- Gödel's theorem
- Pages
- 130
- Language
- English
- Published
- 2018-09-14
- Publisher
- Lulu.com
- Authors
- Ernest Nagel, James R. Newman
Description
From the Introduction. In 1931 there appeared in a German scientific periodical a relatively short paper with the forbidding title ""Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme"" (""On Formally Undecidable propositions of Principia Mathematica and Related Systems""). Its author was Kurt Godel, then a young mathematician of 25 at the University of Vienna and since 1938 a permanent member of the Institute for Advanced Study at Princeton. The paper is a milestone in the history of logic and mathematics. When Harvard University awarded Godel an honorary degree in 1952, the citation described the work as one of the most important advances in logic in modern times. At the time of its appearance, however, neither the title of Godel's paper nor its content was intelligible to most mathematicians.
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.
-
Godel's Proof
By Douglas R. Hofstadter, Ernest Nagel, James R NewmanWhat did Gödel establish, and how did he prove his results? His main conclusions are twofold. In the first place (though this is not the order of Gödel's actual argument), he showed that it is impossible to give a metamathematical proof ...
-
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 ...
-
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.
-
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)
By Rebecca Goldstein"A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven Pinker Probing the life and work of Kurt Gödel, Incompleteness indelibly portrays the tortured genius whose vision rocked the ...
-
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
By Kurt GödelFirst English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
-
Metamathematics, Machines and Gödel's Proof
By N. ShankarDescribes the use of computer programs to check several proofs in the foundations of mathematics.
-
An Introduction to Gödel's Theorems
By Peter SmithPeter Smith examines Gödel's Theorems, how they were established and why they matter.
-
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.
-
Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics
By Lorenz Halbeisen, Regula KrapfThis book provides a concise and self-contained introduction to the foundations of mathematics.