برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Inexhaustibility: A Non-Exhaustive Treatment

دانلود کتاب ناپایداری: یک درمان غیرمخرب

مشخصات کتاب

Inexhaustibility: A Non-Exhaustive Treatment

دسته بندی: منطق
ویرایش:  
نویسندگان: Torkel Franzén  
سری: Lecture Notes in Logic 16 
ISBN (شابک) : 1568811748, 9781568811758 
ناشر: Association for Symbolic Logic / A K Peters, Ltd. 
سال نشر: 2004 
تعداد صفحات: 265 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 47,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 11

در صورت تبدیل فایل کتاب Inexhaustibility: A Non-Exhaustive Treatment به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ناپایداری: یک درمان غیرمخرب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ناپایداری: یک درمان غیرمخرب

قضایای ناتمامی گودلز از مهمترین نتایج در پایه ریاضیات هستند. این نتایج یک نتیجه مثبت دارند: هر سیستم بدیهیاتی برای ریاضیات که ما آن را صحیح تشخیص می‌دهیم، می‌توان با اضافه کردن یک اصل بدیهی جدید یک عبارت رسمی که بیان می‌کند که سیستم اصلی سازگار است، به درستی بسط داده شود. این نشان می دهد که دانش ریاضی ما پایان ناپذیر است، موضوعی اساساً فلسفی که این کتاب به آن اختصاص یافته است.

مواد اساسی در منطق محمول، نظریه مجموعه ها و نظریه بازگشت ارائه شده است که منجر به اثبات قضایای ناتمامی می شود. پایان ناپذیری دانش ریاضی بر اساس مفهوم پیشرفت های نامحدود نظریه ها که توسط تورینگ و ففرمن تصور می شود، بررسی می شود.

همه مفاهیم و نتایج لازم برای درک استدلال ها در صورت لزوم معرفی می شوند و ارائه را مستقل و کامل می کنند.

توضیحاتی درمورد کتاب به خارجی

Gödels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted.

Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman.

All concepts and results necessary to understand the arguments are introduced as needed, making the presentation self-contained and thorough.