בתשובה לשוטה הכפר הגלובלי, 23/07/05 15:09
פינת השאלה הקטנה 319027
"הוכחנו (בדרך השלילה) את המשפט שאומר על עצמו שאינו יכיח".

וביתר פירוט:

"הוכחנו (ב-SA) את המשפט שאומר על עצמו שאינו יכיח-ב-PA"

לכן SA לא עקבית? למה?
פינת השאלה הקטנה 319124
אהה! תודה.
פינת השאלה הקטנה 320295
אם טרם מיציתי את הסבלנות שלך, ואם יש לך זמן וחשק: מה עם המספר R?

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

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים