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

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