משפטי האי-שלמות של גדל – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
ניסוח שגוי ונפוץ.
Matanyabot (שיחה | תרומות)
מ בוט החלפות: תוכנית
שורה 1:
'''משפטי האי-שלמות של [[קורט גדל]]''' הנם צמד [[משפט (מתמטיקה)|משפטים]] יסודיים ב[[לוגיקה מתמטית]], הענף החוקר את יסודות ה[[לוגיקה]] בכלים [[מתמטיקה|מתמטיים]].
 
גדל הראה שבכל מערכת אקסיומות סופית ועשירה מספיק (כזו המכילה את אקסיומות ה[[אריתמטיקה]] החלשה) שהיא [[עקביות (לוגיקה מתמטית)|עקבית]], היא בהכרח לא [[שלמות|שלמה]], משמע שקיימות [[עצמאות_(לוגיקה_מתמטית)|טענות שלא ניתנות להכרעה]], כלומר שלא ניתן להוכיחן או להפריכן. בכך גדל שם קץ לניסיונות רבים [[תכניתתוכנית הילברט|לבנות מערכת אקסיומטית כוללת]] שממנה תנבע כל המתמטיקה.
 
המשפטים אינם אומרים, למרות הניסוח הפופוליסטי שלהם, ש־"קיימות טענות אמתיות שלא ניתן להוכיח", דבר ש[[משפט השלמות של גדל]], שקדם למשפטי האי־שלמות, סותר לחלוטין. למעשה, עבור טענה שלא ניתנת להכרעה, ניתן לבנות למערכת [[מודל (לוגיקה מתמטית)|מודל]] בו היא תהיה נכונה, ומודל אחר בו היא תהיה שגויה.