בתשובה לאלון עמית, 22/07/05 19:16
פינת השאלה הקטנה 318942
שוטה הכפר הגלובלי • בתשובה לאלון עמית יום ו', 22/7/2005, 21:35
אבוי. הראינו (תחת הנחת העקביות) ש G חייב להיות נכון, אבל G עצמו הרי אומר שאנחנו לא יכולים להראות דבר כזה ("א... אי.. אינ... אינני יכיח" הוא חוזר ואומר), כלומר הוא לא נכון. סתירה.

אולי העניינים יתבררו לי ביתר קלות אם תשיב על שאלה אחרת: האם ניתן לבנות בדומה ל G את המספר R שהטענה שהוא מייצג היא "אינני נכון ב PA"?
פינת השאלה הקטנה 318945
אלון עמית • בתשובה לשוטה הכפר הגלובלי יום ו', 22/7/2005, 22:08
אבל אתה מבלבל בין "תחת הנחת העקביות, G נכון" ל-"G נכון".
שים לב:

"הראינו (תחת הנחת העקביות) ש G חייב להיות נכון"

נכון...

"אבל G עצמו הרי אומר שאנחנו לא יכולים להראות דבר כזה"

לא נכון. הוא אומר "אינני יכיח מהאקסיומות של PA ותו לא; אני לא מתחייב על מה יקרה איתי אם תצרף הנחות נוספות (למשל ההנחה ש-PA עקבית)".

בוא נסכים קודם על זה (או שלא), ואח"כ נדון בבעייתיות של המספר R.
פינת השאלה הקטנה 319014
שוטה הכפר הגלובלי • בתשובה לאלון עמית שבת, 23/7/2005, 15:09
התגובה הראשונה שלי היתה "אהה!" אבל מיד אחריה חזרה הרגשת חוסר הנחת.

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

מה היית עונה לאותה הרגשה טורדנית?
פינת השאלה הקטנה 319027
אלון עמית • בתשובה לשוטה הכפר הגלובלי שבת, 23/7/2005, 18:27
"הוכחנו (בדרך השלילה) את המשפט שאומר על עצמו שאינו יכיח".

וביתר פירוט:

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

לכן SA לא עקבית? למה?
פינת השאלה הקטנה 319124
שוטה הכפר הגלובלי • בתשובה לאלון עמית יום א', 24/7/2005, 8:52
אהה! תודה.
פינת השאלה הקטנה 320295
שוטה הכפר הגלובלי • בתשובה לאלון עמית יום ה', 28/7/2005, 9:26
אם טרם מיציתי את הסבלנות שלך, ואם יש לך זמן וחשק: מה עם המספר R?

(אם התשובה על הרישא שלילית זה בסדר, הכי גרוע אשוב אל GEB הישן והטוב, נדמה לי שהוא מזכיר אותו).
R מה הוא אומר? 320384
אלון עמית • בתשובה לשוטה הכפר הגלובלי יום ה', 28/7/2005, 16:22
אין בעייה :-) אבל לא הבנתי מה ברצונך שהמספר R "יגיד". מה זה "נכון ב-PA"? נובע מהאקסיומות? נכון במודל הסטנדרטי של הטבעיים? אם זה הראשון, אז זה בדיוק "יכיח", כמו G. אם השני, אין לזה קשר ל-PA, ואין פרדיקט ב-PA האומר "x נכון בטבעיים". להגיד ש-x נכון זה פשוט להגיד "x"; להגיד שהוא לא נכון זה פשוט להגיד "לא x". אתה רוצה ש-R יהיה "לא R"? אי-אפשר...
חזרה לעמוד הראשי המאמר המלא
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים
האייל הקורא RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש © כל הזכויות שמורות