Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.
Material type:
TextPublication details: New York : New York University Press, c2001.Edition: Rev. edDescription: xxiii, 129 p. : ill. ; 21 cmISBN: - 0814758169 (acidfree paper)
- 511.3 21
- QA9.65 .N34 2001
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Monograph ( Printed materials)
|
ARRUPE LIBRARY Main Collection | Main Collection | QA9.65 .N34 2001 (Browse shelf(Opens below)) | Available | 46600007035 |
Browsing ARRUPE LIBRARY shelves,Shelving location: Main Collection,Collection: Main Collection Close shelf browser (Hides shelf browser)
| QA9.59 .B66 1980 Computability and logic / | QA9.64 .B47 2008 An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems / | QA9.64 .I55 2000 Fuzzy logic : a framework for the new millennium / | QA9.65 .N34 2001 Gödel's proof / | QA9.8 .H63 Gödel, Escher, Bach : an eternal golden braid / | QA19.C45 B4 1,001 uses of the hundred square; | QA21 .G635 2007 God created the integers : the mathematical breakthroughs that changed history / |
Includes bibliographical references (p. 125) and index.
Machine generated contents note: Foreword to the New Edition by Douglas R Hofstadter ix -- Acknowledgments xxiii -- i Introduction I -- II The Problem of Consistency 7 -- inI 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 G6del'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.
There are no comments on this title.