 |
מה זה "לא כריע" לדעתך? מה שגדל הראה הוא שעבור מערכת אקסיומות מסויימת (שמקיימת בלה בלה בלה) יש משפט שלא ניתן להוכיח ממנה. כלומר, אין סדרת סימבולים שמקיימת כללי גזירה צורניים כלשהם שמתאימים למערכת האקסיומות ומסתיימת במשפט של גדל. אלא מה, במערכת אקסיומות טיפה יותר חזקה, שכוללת את המשפט הזה כאקסיומה, דווקא אפשר בלי בעיה להוכיח אותו, ואז גדל נאלץ לבנות משפט אחר.
אז כאמור, "לא כריע" זו לא תכונה אינהרנטית של המשפט. זו תוצאה של חולשת מערכת הוכחה מסויימת - ומה שאלון שואל, אם הבנתי אותו נכון, כלל לא קשור למערכת הוכחה זו או אחרת, אלא רק ל*שפה* (הכלי שבו אנו משתמשים כדי לתאר משפטים).
|
 |
RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש