عنوان
پدید آورنده
موضوع
رده
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
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
ش دیداری شنیداری‌بخ
