משפטי האי-שלמות של גדל – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 13:
בשנת [[1931]] הוכיח הלוגיקן [[קורט גדל]] (Gödel), במאמרו "על טענות שאינן ניתנות להוכחה ב[[פרינקיפיה מתמטיקה (ראסל)|פרינקיפיה מתמטיקה]] ובמערכות דומות", שהנחה זו שגויה.
===
משפט האי-שלמות הראשון של גדל, שהפך לאבן פינה ב[[לוגיקה מתמטית|לוגיקה המתמטית]], הוסיף אפשרות שלישית לגורל הצפוי לטענה מתמטית. המשפט קובע כי בכל מערכת לוגית מקיפה, ניתן לבנות באמצעות [[אלגוריתם]] טענות שמחד אינן ניתנות להוכחה ומאידך אינן ניתנות להפרכה מתוך אותה קבוצת אקסיומות. הטענות הנבנות דומות מאוד ל[[פרדוקס השקרן]] (פרדוקס שבו אדם מסוים אומר "אני עכשיו משקר"), אך שונות ממנו, שכן לא נטען בהן שהן אינן נכונות. ההוכחה הפורמלית של המשפט מראה בצורה קונסטרוקטיבית כיצד ניתן לבנות טענה פורמלית האומרת "לא ניתן להוכיח אותי".
| |||