دانلود کتاب Inexhaustibility: A Non-Exhaustive Treatment (به فارسی: پایان ناپذیری: یک درمان غیر جامع) نوشته شده توسط «Torkel Franzén»
اطلاعات کتاب پایان ناپذیری: یک درمان غیر جامع
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Association for Symbolic Logic / A K Peters, Ltd.
نویسنده: Torkel Franzén
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 265
حجم کتاب: 4 مگابایت
کد کتاب: 1568811748 , 9781568811741 , 1568811756 , 9781568811758
توضیحات کتاب پایان ناپذیری: یک درمان غیر جامع
قضایای ناتمامی گودلز از مهمترین نتایج در پایه ریاضیات هستند. این نتایج یک نتیجه مثبت دارند: هر سیستم بدیهیاتی برای ریاضیات که ما آن را صحیح تشخیص می‌دهیم، می‌توان با اضافه کردن یک اصل بدیهی جدید یک عبارت رسمی که بیان می‌کند که سیستم اصلی سازگار است، به درستی بسط داده شود. این نشان می دهد که دانش ریاضی ما پایان ناپذیر است، موضوعی اساساً فلسفی که این کتاب به آن اختصاص یافته است.
مواد اساسی در منطق محمول، نظریه مجموعه ها و نظریه بازگشت ارائه شده است که منجر به اثبات قضایای ناتمامی می شود. پایان ناپذیری دانش ریاضی بر اساس مفهوم پیشرفت های نامحدود نظریه ها که توسط تورینگ و ففرمن تصور می شود، بررسی می شود.
همه مفاهیم و نتایج لازم برای درک استدلال ها در صورت لزوم معرفی می شوند و ارائه را مستقل و کامل می کنند.
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.
دانلود کتاب «پایان ناپذیری: یک درمان غیر جامع»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.