"راهنمای کامل قضایای گودل" منتشر شد

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

این اثر راهنمای کاملی است درباره قضایای گودل درباره ناتمامیت، همچنین در این اثر مشهورترین دیدگاهها که نسبت به این قضایا وجود دارد مورد بررسی قرار گرفته است.

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

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

این کتاب با عنوان "چیزی درباره گودل وجود دارد: راهنمای کامل قضایای گودل" از سوی انتشارات جان ویلی اند سانز منتشر شده است.