Gödel's Proof
- ISBN-10
- 041504040X
- ISBN-13
- 9780415040402
- Category
- Gödel's theorem
- Pages
- 118
- Language
- English
- Published
- 1989
- Publisher
- Psychology Press
- Authors
- Ernest Nagel, James R. Newman
Description
In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. 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.
Get the book
Other editions
Similar books
-
歌德尔证明/Godel's proof/当代世界学术名著
By 纽曼, 内格尔本书共分8部分,内容包括:一致性问题、一致性的绝对证明、形式逻辑的系统编码、一个成功的一致性绝对证明的例子、映射的概念及其在数学中的应用等。
-
To theōrēma tou Godel
By James Roy Newman, Ernest NagelTo theōrēma tou Godel
-
Gödel kanıtlaması
By James Roy Newman, Ernest Nagel, Bülent GözkanGödel kanıtlaması
-
Gia to theōrēma mē-plērotētas tou Godel
By Vladimir Andreevich UspenskiiGia to theōrēma mē-plērotētas tou Godel
-
Der Gödelsche Beweis
By Ernest Nagel, James R. NewmanDer Gödelsche Beweis
-
Godel's Incompleteness Theorems
By Raymond M. SmullyanAn introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom ...
-
Impossibility: The Limits of Science and the Science of Limits
By John D. BarrowCan information be transmitted faster than the speed of light? The book also examines deeper theoretical restrictions on our ability to know, including Gödel's theorem, which proved that there were things that could not be proved.