ויקיפדיה

עקביות (לוגיקה) – הבדלי גרסאות

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
אין תקציר עריכה
אין תקציר עריכה
שורה 4:
כדי להוכיח שמערכת היא עקבית מספיק למצוא [[מודל (לוגיקה מתמטית)|מודל]] שמקיים את כל האקסיומות של המערכת. מודל עבור תורה A הנבנה במסגרת של תורה B מוכיח '''עקביות יחסית''' - אם B עקבית, אז גם A כזו. מודלים כאלו ידועים עבור [[גאומטריה|גאומטריות]] שונות (למשל, שתי הגרסאות ה[[גאומטריה לא אוקלידית|לא אוקלידיות]] של גאומטרית המישור הן עקביות ביחס לגאומטרית המישור האוקלידית), וגם עבור מערכות אקסיומטיות שונות ל[[תורת הקבוצות האקסיומטית|תורת הקבוצות]].
 
לכל מערכת אקסיומות עקבית יש מודל (משפט השלמות של גודלגדל 1930) . עם זאת, ישנן מודלים שבמסגרתם לא ניתן להראות עקביות. דוגמא לכך היא תורת המספרים ( המילה תורה כאן שונה במשמעותו מתורה של לוגיקה מתמטית והכוונה היא למודל ולא למערכת אקסיומות ). כדי להוכיח עקביות של מערכות כאלה יש להפעיל כלים מתמטיים סבוכים יותר. [[משפטי אי השלמות של גדל|משפט אי השלמות השני של גדל]] קובע שלא ניתן להוכיח את העקביות של תורה [[אריתמטיקה|אריתמטית]] ואפקטיבית (שהיא עקבית), במסגרת התורה עצמה.
 
== ראו גם ==
אוחזר מתוך "https://he.wikipedia.org/wiki/עקביות_(לוגיקה)"