Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: Chinese Spanish English French
Subjects
Gödel's theorem, Mathematics, MetamathematicsPeople
Kurt GödelShowing 7 featured editions. View all 40 editions?
Edition | Availability |
---|---|
1 |
zzzz
Libraries near you:
WorldCat
|
2 |
zzzz
Libraries near you:
WorldCat
|
3 |
aaaa
Libraries near you:
WorldCat
|
4 |
zzzz
Libraries near you:
WorldCat
|
5 |
cccc
Libraries near you:
WorldCat
|
6 |
eeee
|
7 |
eeee
Libraries near you:
WorldCat
|
Book Details
Table of 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.
Edition Notes
Includes bibliographical references (p. 125) and index.
Classifications
The Physical Object
ID Numbers
Source records
Scriblio MARC recordLibrary of Congress MARC record
Ithaca College Library MARC record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Internet Archive item record
marc_openlibraries_sanfranciscopubliclibrary MARC record
Better World Books record
Library of Congress MARC record
Internet Archive item record
Internet Archive item record
Promise Item
Community Reviews (0)
Feedback?February 12, 2023 | Edited by OnFrATa | Merge works (MRID: 47176) |
February 11, 2023 | Edited by OnFrATa | Merge works (MRID: 46860) |
February 10, 2023 | Edited by bitnapper | merge authors |
December 16, 2022 | Edited by MARC Bot | import existing book |
August 24, 2020 | Edited by ImportBot | import existing book |