BANGKOK UNIVERSITY LIBRARY AND LEARNING SPACE

Your cart is empty.

Gödel's proof [electronic resource] / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter.

By: Nagel, Ernest, 1901-1985.
Contributor(s): Newman, James R. (James Roy), 1907-1966 | Hofstadter, Douglas R, 1945- [ed.].
Material type: materialTypeLabelBookPublisher: New York, N.Y. : New York University Press, c2001Edition: Rev. ed.Description: 1 online resource.ISBN: 9780814758168; 9780585480329 (electronic bk.) .Call No.: QA9.65 .N34 2001 Subject(s): Gödel's theoremOnline resources: Electronic Resources
Contents:
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.
Bibliography, etc. Note: Includes bibliographical references and index.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references 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 for this item.

to post a comment.

Click on an image to view it in the image viewer


- Copyright © 2022 Library and Learning Space -

Powered by Koha