یادداشت محمدرضا شمس اشکذری
1404/5/11
«درباره‌ی گودل» نوشته یاکو هینتیکا (فیلسوف و منطق‌دان فنلاندی) از سری کتاب‌های «wadsworth philosophers» است. هینتیکا شسته‌رُفته و مختصر کارهای مهم گودل را توضیح می‌دهد و تا حد ممکن به پس‌زمینه‌ها و نتایج هر کدام نیز می‌پردازد.
اثبات تمامیت منطق مرتبه اول، قضایای ناتمامیت، افلاطون‌گرایی گودل و شهود ریاضی مدنظر او، تفسیر منطق مرتبه اول به کمک نظریه بازی‌ها (با تعریف یک بازی مشخص بین اثبات‌کننده و ابطال‌گر) و ارتباط منطق و نظریه محاسبه از مواردی است که در کتاب مورد بحث قرار گرفته است.
اگر درس منطق ریاضی را گذرانده باشید، خواندن این کتاب هم برایتان جالب خواهد بود. برای مطالعه‌ی بیشتر هم در انتهای کتاب، راهنمای مطالعه و کتابشناسی مفیدی هست.
اشکال اصلی کتاب هم ویراستاری و چاپ است.
(0/1000)
نظرات
تاکنون نظری ثبت نشده است.