قضیه گودل

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