הבדלים בין גרסאות בדף "עקביות (לוגיקה)"

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

עריכות