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