+612 9045 4394
$6.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Godel's Proof : Routledge Classics - Ernest Nagel

Godel's Proof

Routledge Classics

Paperback Published: 9th September 2005
ISBN: 9780415355285
Number Of Pages: 104

Share This Book:
Ships in 7 to 10 business days

Earn 67 Qantas Points
on this Book

Other Available Editions (Hide)

  • Hardcover View Product Published: 1st October 2001
    Ships in 7 to 10 business days

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

Introductionp. 1
The problem of consistencyp. 5
Absolute proofs of consistencyp. 19
The systematic codification of formal logicp. 28
An example of a successful absolute proof of consistencyp. 34
The idea of mapping and its use in mathematicsp. 44
Godel's proofsp. 53
Godel numberingp. 53
The arithmetization of meta-mathematicsp. 60
The heart of Godel's argumentp. 66
Concluding reflectionsp. 76
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780415355285
ISBN-10: 0415355281
Series: Routledge Classics
Audience: Tertiary; University or College
Format: Paperback
Language: English
Number Of Pages: 104
Published: 9th September 2005
Publisher: Taylor & Francis Ltd
Country of Publication: GB
Dimensions (cm): 19.7 x 13.3  x 0.6
Weight (kg): 0.11
Edition Number: 3
Edition Type: New edition

Earn 67 Qantas Points
on this Book