מיהו המתמטיקאי שהצליח להראות את הבעיות שבאריתמטיקה?

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

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

הנה סרטון קצר על תיאוריית חוסר השלמות של גדל:

וקורט גדל, מי שכונה הלוגיקן הגדול ביותר מאז אריסטו: