Description

Book Synopsis
Best-selling book that challenges basic assumptions of logic

Trade Review
A little masterpiece of exegesis. * Nature *
An excellent nontechnical account of the substance of Gödel's celebrated paper. -- American Mathematical Society

Table of Contents
Contents Foreword to the New Edition by Douglas R. Hofstadter ix Acknowledgments xxiii i Introduction 1 ii The Problem of Consistency 7 iii Absolute Proofs of Consistency 25 iv The Systematic Codification of Formal Logic 37 v An Example of a Successful Absolute Proof of Consistency 45 vi The Idea of Mapping and Its Use in Mathematics 57 vii Godel's Proofs 68 a Godel numbering 68 b The arithmetization of meta-mathematics 80 c The heart of Godel's argument 92 viii Concluding Reflections 109 Appendix: Notes 114 Brief Bibliography 125 Index 127

Gödels Proof

    Product form

    £18.99

    Includes FREE delivery

    RRP £19.99 – you save £1.00 (5%)

    Order before 4pm today for delivery by Thu 6 Aug 2026.

    A Hardback by Ernest Nagel, James R. Newman, Douglas R. Hofstadter

    2 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Gödels Proof by Ernest Nagel

      Publisher: New York University Press
      Publication Date: Publication Date: 01/10/2001
      ISBN13: 9780814758168, 978-0814758168
      ISBN10: 0814758169

      Description

      Book Synopsis
      Best-selling book that challenges basic assumptions of logic

      Trade Review
      A little masterpiece of exegesis. * Nature *
      An excellent nontechnical account of the substance of Gödel's celebrated paper. -- American Mathematical Society

      Table of Contents
      Contents Foreword to the New Edition by Douglas R. Hofstadter ix Acknowledgments xxiii i Introduction 1 ii The Problem of Consistency 7 iii Absolute Proofs of Consistency 25 iv The Systematic Codification of Formal Logic 37 v An Example of a Successful Absolute Proof of Consistency 45 vi The Idea of Mapping and Its Use in Mathematics 57 vii Godel's Proofs 68 a Godel numbering 68 b The arithmetization of meta-mathematics 80 c The heart of Godel's argument 92 viii Concluding Reflections 109 Appendix: Notes 114 Brief Bibliography 125 Index 127

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account