'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 ...
'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 Proof by 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.
NY, NY University Press, stated 2nd impression, 1960, dark red cloth, very good except for a very slight small water-drop circle on the rear cover (size of a nickel), no dust jacket, internally fine, previous owner name in ink on free front endpaper, no marks in text, slight rubs to cover extremities, 5-1/4"x8-1/4", 118 pages. ttxx.
Good. No Jacket. Ex-Library. 12mo-over 6¾"-7¾" tall. 1959 Hard Cover. Routledge & Kegan Paul LTD. -Publisher. No DJ. 118 pgs. X-College Library book. Back pocket. Just a few library stamps. Mark left from sticker on spine. Navy boards with title in silver on spine. Spine with slight forward shift. Pages very lightly tanning. From the Table of Contents: Introduction, The Problem of Consistency, Absolute Proofs of Consistency, The Systematic Codification of Formal Logic, An Example of Successful Absolute Proof of Consistency, The Idea of Mapping and Its Use in Mathematics, Godel's Proofs: Numbering, The arithmetization of meta-mathematics, the Heartof Godel's argument, Concluding Reflections, Appendix, Brief Bibliography, Index.
Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.