Gödel's proof (Book, 2008) [WorldCat.org]
skip to content
Gödel's proof

Gödel's proof

Author: Ernest Nagel; James R Newman; Douglas R Hofstadter
Publisher: New York : New York University Press, [2008], ©2001.
Edition/Format:   Print book : English : Rev. ed.View all editions and formats

In 1931 Kurt Godel published his fundamental paper, On Formally Undecidable Propositions of Principia Mathematica and Related Systems. This revolutionary paper challenged certain basic assumptions  Read more...


(not yet rated) 0 with reviews - Be the first.

More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Document Type: Book
All Authors / Contributors: Ernest Nagel; James R Newman; Douglas R Hofstadter
ISBN: 9780814758373 0814758371
OCLC Number: 289061767
Notes: Reprint of the 2001 rev. ed. as "50th anniversary ed."--Page 4 of cover.
Description: xxiii, 129 pages : illustrations ; 21 cm
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
Responsibility: by Ernest Nagel and James R. Newman.


Editorial reviews

Publisher Synopsis

"A little masterpiece of exegesis." * Nature * "An excellent nontechnical account of the substance of Goedel's celebrated paper." -- American Mathematical Society

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.