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