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

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
Summary:

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

Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

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.

Reviews

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

Tags

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.