הבדלים בין גרסאות בדף "משפטי האי-שלמות של גדל"

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