 |
|
 |
||
|
||||
 |
"הוכחנו (בדרך השלילה) את המשפט שאומר על עצמו שאינו יכיח". וביתר פירוט: "הוכחנו (ב-SA) את המשפט שאומר על עצמו שאינו יכיח-ב-PA" לכן SA לא עקבית? למה? |
 |
 |
 |
|
|
|
||
|
||||
|
אהה! תודה. | |
|
|
|
|
|
||
|
||||
|
אם טרם מיציתי את הסבלנות שלך, ואם יש לך זמן וחשק: מה עם המספר R? (אם התשובה על הרישא שלילית זה בסדר, הכי גרוע אשוב אל GEB הישן והטוב, נדמה לי שהוא מזכיר אותו). |
|
|
|
|
|
|
||
|
||||
|
אין בעייה :-) אבל לא הבנתי מה ברצונך שהמספר R "יגיד". מה זה "נכון ב-PA"? נובע מהאקסיומות? נכון במודל הסטנדרטי של הטבעיים? אם זה הראשון, אז זה בדיוק "יכיח", כמו G. אם השני, אין לזה קשר ל-PA, ואין פרדיקט ב-PA האומר "x נכון בטבעיים". להגיד ש-x נכון זה פשוט להגיד "x"; להגיד שהוא לא נכון זה פשוט להגיד "לא x". אתה רוצה ש-R יהיה "לא R"? אי-אפשר... | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |