عنوان
پدید آورنده
موضوع
رده
CD 1743-34
CD
1743-34
کتابخانه
محل استقرار
۱۷۴۳
Nagel, Ernest
1091-
Godel's proof]CD[
New York
New York University Press
c2001
xxiii, 129 p. : ill. ; 21 cm.
Includes bibliographical references )p. 125( and index
Rev. ed
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
، Godel's theorem
CD
1743-34
AU
by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
AU yoR semaJ ,namweN 1907-1966
AU R salguoD ,retdatsfoH 1945-
TI
ش دیداری شنیداریبخ
