ההוכחה והפרדוקס: משפטי האי שלמות של קורט גדל.
אי-שלמות: ראיה לקיומה של אמת אובייקטיבית ונצחית.
קורט גדל, הלוגיקאי, היה חברו הקרוב ביותר של אלברט איינשטיין בשנותיו האחרונות, ולדעת רבים היה גאון אף הוא.
תגליתו הגדולה הייתה צמד משפטים כמעט פרדוקסליים ושמם "אי-שלמות".
בשיטת הוכחה מקורית ומבריקה הוא חשף תהום שאינה ניתנת לגישור בכל ניסיונותינו להשליט שיטתיות בחשיבה המתימטית.
בעיני גדל הייתה זו ראיה לקיומה של אמת אובייקטיבית ונצחית, שאינה תלויה במחשבות האדם ושתודעתו של האדם יכולה לתפוס אותה רק במעומעם.
כמו המשפטים שלו, קורט גדל עצמו היה אדם פרדוקסלי: תמהוני, ועם זאת נחשב לגדול הלוגיקאים מאז אריסטו.
למרות האי-רציונליות שלו עצמו, הוא נתן את מלוא אמונו בהיגיון. הוא סבל מאשליות פרנואידיות, שהוליכו בסופו של דבר למותו הטרגי.
הפרדוקס וההוכחה הוא ביוגרפיה מדעית חדשה וחשובה הפורשת את סיפור חייו של גדל, את עבודתו ואת עולמו.