عنوان
پدید آورنده
موضوع
رده
QA9.65 .N34 2001
QA9
.
65
.
N34
2001
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Gغodel's proof
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
New York University Press
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 125( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
CONTENTS NOTE
Text of Note
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 52 -- iv The Systematic Codification of Formal Logic 73 -- v An Example of a Successful Absolute Proof of -- Consistency 54 -- vI The Idea of Mapping and Its Use in Mathematics 75 -- vii G6del's Proofs 86 -- A Godel numbering 86 -- B The arithmetization of meta-mathematics 08 -- c The heart of Godel's argument 29 -- vIII Concluding Reflections 901 -- Appendix: Notes 411 -- Brief Bibliography 521 -- Index 721
TOPICAL NAME USED AS SUBJECT
Entry Element
، Gغodel's theorem
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA9
.
65
.
N34
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Dates
1091-5891
Entry Element
Nagel, Ernest
Relator Code
AU
AU Newman, James R.)James Roy( 1907-1966
AU Hofstadter, Douglas R 1945-
TI
