کتاب ناتمامیت: اثبات و پارادوکس کرت گودل

کرت گودل بی تردید بزرگ ترین منطق دان قرن بیستم، و در کنار ارسطو و فرگه، یکی از سه منطق دان بزرگ تاریخ است. نبوغ و شخصیت کافکایی بی نظیر او بیش از هر چیز در دو قضیه ای بازتاب یافته، که به عنوان قضیه ناتمامیت معروف هستند، و گودل آن ها را به شیوه ای بدیع در ۲۵ سالگی به اثبات رساند. انتشار مقاله دوران ساز او که حاوی اثبات این قضیه بود، نقطه ی عطفی در تاریخ اندیشه ی ریاضی و منطق، و به طور کلی، علم است.

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

• قضیه گودل ~رودی روکر، کیت دولین، جیم هولت، داگلاس آر هافستدر، جیمزروی نیومن، ارنست نیگل
• گودل، اشر، باخ: بافته ی گرانسنگ ابدی ~داگلاس آر هافستدر، مرتضی خزانه داری (مترجم)، سروش ثابت (مترجم)، عبدالرضا خزانه داری (مترجم)
• استدلال هستی شناختی گودل ~مهدی رعنائی
• درباره ی گودل ~یاکو هینتیکا، ساجد طیبی (مترجم)