פורטל:מתמטיקה/הידעת?/46

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

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