חיפוש הקהילה
מציג תוצאות עבור תגיות 'עקביות מקסימלית'.
נמצאו 1 תוצאה
-
בתחשיב הפסוקים: קבוצה עקבית מקסימלית מוגדרת כקבוצה עקבית (לא ניתן להוכיח את F ממנה) ובנוסף לכל פסוק אלפא או שהוא יכיח מסיגמא או שהשלילה שלו יכיחה מסיגמא. האם זה "מקביל" למה שגדל חיפש במשפט אי השלמות שלו? כלומר כל פסוק כאן ניתן להוכחה או הפרכה? השאלה היא כדי לבדוק אם אני מבין משהו מהחיים שלי בעניין או שצריך להכנס לזה יותר לעומק... (משפט אי השלמות הוזכר בהרצאות רק בקצרה וכהרחבה, אני יודע שגדל דיבר על מערכות מורכבות ועשירות יותר ושם הוכיח את משפטו).
