قضیه گودل

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

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