Godels Proof

Godels Proof

Paperback Routledge Classics (Paperback)

By (author) Ernest Nagel, By (author) James R. Newman

$18.37
List price $18.73
You save $0.36 (1%)

Free delivery worldwide
Available
Dispatched in 2 business days
When will my order arrive?

Additional formats available

Format
Hardback $23.53
  • Publisher: ROUTLEDGE
  • Format: Paperback | 112 pages
  • Dimensions: 128mm x 202mm x 10mm | 118g
  • Publication date: 1 November 2005
  • Publication City/Country: London
  • ISBN 10: 0415355281
  • ISBN 13: 9780415355285
  • Edition: 3, Revised
  • Edition statement: 3rd Revised edition
  • Illustrations note: 4 black & white tables
  • Sales rank: 490,557

Product 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 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.

Other people who viewed this bought:

Showing items 1 to 10 of 10

Other books in this category

Showing items 1 to 11 of 11
Categories:

Table of contents

Acknowledgments Introduction The Problem of Consistency Absolute Proofs of Consistency The Systematic Codification of Formal Logic An Example of a Successful Absolute Proof of Consistency The Idea of Mapping and its Use in Mathematics Godel's Proof Godel numbering The arithmetization of meta-mathematics The heart of Godel's argument Concluding Reflections Appendix: Notes Brief Bibliography Index