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