• Godels Proof See large image

    Godels Proof (Routledge Classics (Paperback)) (Paperback) By (author) Ernest Nagel, By (author) James R. Newman

    $17.94 - Save $1.42 (7%) - RRP $19.36 Free delivery worldwide Available
    Dispatched in 2 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

    Also available in...
    Hardback $19.22

    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 books

Other people who viewed this bought | Other books in this category
Showing items 1 to 10 of 10


Reviews | Bibliographic data
  • Full bibliographic data for Godels Proof

    Godels Proof
    Authors and contributors
    By (author) Ernest Nagel, By (author) James R. Newman
    Physical properties
    Format: Paperback
    Number of pages: 112
    Width: 128 mm
    Height: 202 mm
    Thickness: 10 mm
    Weight: 118 g
    ISBN 13: 9780415355285
    ISBN 10: 0415355281

    BIC E4L: MAT
    Nielsen BookScan Product Class 3: S7.8
    B&T Merchandise Category: GEN
    B&T Book Type: NF
    B&T Modifier: Region of Publication: 03
    BIC subject category V2: PBCD, HP
    B&T Modifier: Academic Level: 02
    B&T General Subject: 610
    Ingram Subject Code: MA
    Libri: I-MA
    DC22: 511.3
    Warengruppen-Systematik des deutschen Buchhandels: 15200
    LC classification: CC
    BISAC V2.8: PHI021000, MAT018000
    Abridged Dewey: 101
    BISAC V2.8: PHI014000
    Thema V1.0: QD, PBCD
    3, Revised
    Edition statement
    3rd Revised edition
    Illustrations note
    4 black & white tables
    Taylor & Francis Ltd
    Imprint name
    Publication date
    01 November 2005
    Publication City/Country
    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