عنوان
پدید آورنده
موضوع
رده
QA9.65 .N34 2001
QA9
.
65
.
N34
2001
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Gغodel's proof
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York
نام ناشر، پخش کننده و غيره
New York University Press
يادداشت کلی
متن يادداشت
Includes bibliographical references )p. 125( and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter
یادداشتهای مربوط به مندرجات
متن يادداشت
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
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Gغodel's theorem
رده بندی کنگره
شماره رده
QA9
.
65
.
N34
2001
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
تاريخ
1091-5891
عنصر شناسه اي
Nagel, Ernest
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU Newman, James R.)James Roy( 1907-1966
عنصر شناسه اي
AU Hofstadter, Douglas R 1945-
عنصر شناسه اي
TI
