دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Inexhaustibility: A Non-Exhaustive Treatment
دانلود کتاب پایان ناپذیری: یک درمان غیر جامع
مشخصات کتاب
Inexhaustibility: A Non-Exhaustive Treatment
ویرایش:
نویسندگان: Torkel Franzén
سری: Lecture Notes in Logic 16
ISBN (شابک) : 9781316755969
ناشر: Cambridge University Press
سال نشر: 2017
تعداد صفحات: 318
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Inexhaustibility: A Non-Exhaustive Treatment به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پایان ناپذیری: یک درمان غیر جامع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پایان ناپذیری: یک درمان غیر جامع
از زمان پیدایش، مجموعه‌های دیدگاه‌های منطق و یادداشت‌های سخنرانی در منطق، آثار مهمی از منطق‌دانان برجسته منتشر کرده‌اند. بسیاری از کتاب‌های اصلی این مجموعه سال‌هاست که در دسترس نبوده‌اند، اما اکنون دوباره چاپ می‌شوند. این جلد، شانزدهمین انتشار در مجموعه یادداشت‌های سخنرانی در منطق، ارائه‌ای پایدار از دیدگاه خاصی از موضوع بسط نظریه‌های گودلی ارائه می‌کند. این مطالب اساسی را در منطق محمول، نظریه مجموعه ها و نظریه بازگشت ارائه می دهد، که منجر به اثبات قضایای ناتمامی گودل می شود. پایان ناپذیری ریاضیات بر اساس مفهوم پیشرفت های نامحدود نظریه ها که توسط تورینگ و ففرمن تصور می شود، بررسی می شود. همه مفاهیم و نتایج در صورت نیاز معرفی می شوند و ارائه را مستقل و کامل می کنند. فیلسوفان، ریاضیدانان و دیگران این کتاب را برای دستیابی به درک اساسی از نتایج و مسائل فلسفی و منطقی مفید خواهند یافت.
توضیحاتی درمورد کتاب به خارجی
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the sixteenth publication in the Lecture Notes in Logic series, gives a sustained presentation of a particular view of the topic of Gödelian extensions of theories. It presents the basic material in predicate logic, set theory and recursion theory, leading to a proof of Gödel's incompleteness theorems. The inexhaustibility of mathematics is treated based on the concept of transfinite progressions of theories as conceived by Turing and Feferman. All concepts and results are introduced as needed, making the presentation self-contained and thorough. Philosophers, mathematicians and others will find the book helpful in acquiring a basic grasp of the philosophical and logical results and issues.
