Matches in Library of Congress for { <http://lccn.loc.gov/2001044481> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 2001044481 contributor B8949233.
- 2001044481 contributor B8949234.
- 2001044481 created "c2001.".
- 2001044481 date "2001".
- 2001044481 date "c2001.".
- 2001044481 dateCopyrighted "c2001.".
- 2001044481 description "Includes bibliographical references (p. 125) and index.".
- 2001044481 description "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.".
- 2001044481 extent "xxiii, 129 p. :".
- 2001044481 identifier "0814758169 (acid-free paper)".
- 2001044481 identifier 2001044481-b.html.
- 2001044481 identifier 2001044481-d.html.
- 2001044481 identifier 2001044481.html.
- 2001044481 issued "2001".
- 2001044481 issued "c2001.".
- 2001044481 language "eng".
- 2001044481 publisher "New York : New York University Press,".
- 2001044481 subject "511.3 21".
- 2001044481 subject "Gödel's theorem.".
- 2001044481 subject "QA9.65 .N34 2001".
- 2001044481 tableOfContents "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.".
- 2001044481 title "Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.".
- 2001044481 type "text".