עקביות (לוגיקה) – הבדלי גרסאות
העברה לעקביות (פילוסופיה) |
מאין תקציר עריכה |
||
| שורה 4: | שורה 4: | ||
לכל מערכת אקסיומות עקבית יש מודל ([[משפט השלמות של גדל]], 1930). עם זאת, ישנן מודלים שבמסגרתם לא ניתן להראות עקביות. דוגמה לכך היא [[תורת המספרים]] (המילה "תורה" כאן שונה במשמעותה מתורה של לוגיקה מתמטית והכוונה היא למודל ולא למערכת אקסיומות). כדי להוכיח עקביות של מערכות כאלה יש להפעיל כלים מתמטיים סבוכים יותר. [[משפט האי שלמות השני]] של גדל קובע שלא ניתן להוכיח את העקביות של תורה [[אריתמטיקה|אריתמטית]] [[תורה אפקטיבית|אפקטיבית]] (שהיא עקבית), במסגרת התורה עצמה. |
לכל מערכת אקסיומות עקבית יש מודל ([[משפט השלמות של גדל]], 1930). עם זאת, ישנן מודלים שבמסגרתם לא ניתן להראות עקביות. דוגמה לכך היא [[תורת המספרים]] (המילה "תורה" כאן שונה במשמעותה מתורה של לוגיקה מתמטית והכוונה היא למודל ולא למערכת אקסיומות). כדי להוכיח עקביות של מערכות כאלה יש להפעיל כלים מתמטיים סבוכים יותר. [[משפט האי שלמות השני]] של גדל קובע שלא ניתן להוכיח את העקביות של תורה [[אריתמטיקה|אריתמטית]] [[תורה אפקטיבית|אפקטיבית]] (שהיא עקבית), במסגרת התורה עצמה. |
||
== ראו גם == |
== ראו גם == |
||
| שורה 12: | שורה 11: | ||
[[קטגוריה:לוגיקה]] |
[[קטגוריה:לוגיקה]] |
||
[[קטגוריה:לוגיקה מתמטית]] |
[[קטגוריה:לוגיקה מתמטית]] |
||
[[en:Consistency]] |
[[en:Consistency]] |
||
גרסה מ־15:20, 14 באוקטובר 2011
בלוגיקה ובמתמטיקה, עקביות (או קונסיסטנטיות, קוהרנטיות) של מערכת מסוימת פירושה שמערכת זו היא נטולת סתירות. בלוגיקה מתמטית, תורה עקבית היא כזו שלא ניתן להוכיח במסגרתה טענה והיפוכה. בתורות לא עקביות אפשר להוכיח כל טענה (משום שמהנחות שקריות נובעת כל מסקנה שהיא), ולכן נחשבת עקביות למעלה הכרחית בכל תורה ראויה.
כדי להוכיח שמערכת היא עקבית מספיק למצוא מודל שמקיים את כל האקסיומות של המערכת. מודל עבור תורה A הנבנה במסגרת של תורה B מוכיח עקביות יחסית - אם B עקבית, אז גם A כזו. מודלים כאלו ידועים עבור גאומטריות שונות (למשל, שתי הגרסאות הלא אוקלידיות של גאומטרית המישור הן עקביות ביחס לגאומטרית המישור האוקלידית), וגם עבור מערכות אקסיומטיות שונות לתורת הקבוצות.
לכל מערכת אקסיומות עקבית יש מודל (משפט השלמות של גדל, 1930). עם זאת, ישנן מודלים שבמסגרתם לא ניתן להראות עקביות. דוגמה לכך היא תורת המספרים (המילה "תורה" כאן שונה במשמעותה מתורה של לוגיקה מתמטית והכוונה היא למודל ולא למערכת אקסיומות). כדי להוכיח עקביות של מערכות כאלה יש להפעיל כלים מתמטיים סבוכים יותר. משפט האי שלמות השני של גדל קובע שלא ניתן להוכיח את העקביות של תורה אריתמטית אפקטיבית (שהיא עקבית), במסגרת התורה עצמה.