دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Per Lindström سری: Lecture Notes in Logic 10 ISBN (شابک) : 9783540632139, 9783662216354 ناشر: Springer سال نشر: 1997 تعداد صفحات: 143 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Aspects of Incompleteness به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های ناقص بودن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب برخی از حوزه های اصلی و نتایج فرا ریاضیات عمومی را ارائه می دهد. علاوه بر نتایج استاندارد G?del و همکاران. در مورد ناقص بودن، بدیهیپذیری (غیر) محدود، تفسیرپذیری، و غیره، شامل یک بررسی کامل از محافظهکاری جزئی و درجات تفسیرپذیری است. روش حساب کردن نقش بسیار مهمی در کتاب دارد. فرض بر این است که خواننده با این روش و با عناصر نظریه بازگشت آشنا است. این کتاب به عنوان یک کتاب درسی برای دوره های تحصیلات تکمیلی - تمرینات زیادی وجود دارد - و به عنوان یک متن مرجع برای محققان مفید خواهد بود.
This book presents some of the main areas and results of general metamathematics. In addition to standard results of G?del et al. on incompleteness, (non-)finite axiomatizability, interpretability, etc., it contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization plays an all important role in the book. The reader is assumed to be acquainted with this method and with the elements of recursion theory. The book will be useful as a textbook for a graduate student course - there are many exercises - and as a reference text for researchers.
Content:
Front Matter....Pages i-x
Introduction....Pages 1-4
Preliminaries....Pages 5-22
Incompleteness....Pages 23-41
Numerations of R.E. Sets....Pages 42-51
Axiomatizations....Pages 52-61
Partial Conservativity....Pages 62-74
Interpretability....Pages 75-93
Degrees of Interpretability....Pages 94-118
Generalizations....Pages 119-124
Back Matter....Pages 125-135