عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شماره کتابشناسی ملی
کد کشور
Iran
شماره
89-35
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
نام نخستين پديدآور
\ Peter Smith
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cambridge
نام ناشر، پخش کننده و غيره
: Cambridge University Press
تاریخ نشرو بخش و غیره
, 2007.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 361 p. ; 26 cm.
یادداشتهای مربوط به مندرجات
متن يادداشت
What Godel's theorems say -- Decidability and enumerability -- Axiomatized formal theories -- Capturing numerical properties -- The truths of arithmetic -- Sufficiently strong arithmetics -- Interlude: taking stock -- Two formalized arithmetics -- What q can prove -- First-order peano arithmetic -- Primitive recursive functions -- Capturing p r functions -- Q is p.r. adequate -- Interlude: a very little about Principia -- The arithmetization of syntax -- PA is incomplete -- Godel's first theorem -- Interlude: about the first theorem -- Strengthening the first theorem -- The diagonalization lemma -- Using the diagonalization lemma -- Second-order arithmetics -- Interlude: incompleteness and Isaacson's conjecture -- Godel's second theorem for PA -- The derivability conditions -- Deriving the derivability conditions -- Reflections -- Interlude: about the second theorem -- Recursive functions -- Undecidability and incompleteness -- Turing machines -- Turing machines and recursiveness -- Halting problems -- The church-turing thesis -- Proving the thesis.
بدون عنوان
0
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic, Symbolic and mathematical
موضوع مستند نشده
Gödel, Kurt]
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Smith , Peter
مبدا اصلی
کشور
Iran
سازمان
Majlis library of Iran
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
129675
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
yes
