Find a copy in the library
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
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.


Tags
Add tags for "Gödel's proof".
Be the first.