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