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

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

עריכות