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