בתשובה לאלון עמית, 21/07/05 18:06
 |
|
 |
||
|
||||
 |
זהו נסיון נוסף שלי לעשות סדר, לפני שנחליט להעביר את המשך הפתיל ל דיון 1571. שוב אמספר את הטענות שלי כדי שתוכל לשלות במלקחיים את הטענה השגויה ולהסביר לי את הטעות. אני גם משמיט, בשלב הראשון, כל מיני פסאודו-טענות מעורפלות ואמירות כלליות ומנסה לגעת בלב העניין. 1. G הוא משפט ב PA. 2. G אומר "אני לא יכיח ב PA". 3. אם G אינו נכון, הרי שהטענה שהוא טוען שגויה, דהיינו הוא כן יכיח ב PA. מכאן: ב PA אפשר להוכיח משפטים לא נכונים (שהרי זאת ההנחה על G בסעיף זה), ומכאן שהיא לא עקבית. אם אתה מתעקש על הוכחה של משפט וגם של המשפט המנוגד לו, אפשר בקלות לנסח את המצב גם באופן הזה. 4. אם G נכון, הרי הטענה שהוא טוען מתקיימת, ומצאנו משפט נכון שאינו יכיח, ומכאן ש PA אינה שלמה. עד כאן אין לי בעיה, וזה המקום בו הסיפור נגמר בד"כ. הצרוף של 3 ו 4 הוא המסקנה המקובלת ממשפט גדל: PA אינה שלמה או אינה עקבית. עכשיו: 5. האם ייתכן ש PA עקבית אך לא שלמה? הרי הראינו בסעיף 3 שאם היא עקבית אזי G חייב להיות נכון (אינו יכול להיות לא נכון). 6. מה זה "הראינו בסעיף 3"? הוכחנו. אם לא השתמשנו שם בשום דבר שחורג מתחומי PA הרי שהוכחנו זאת ב PA. 7. אם כך הוכחנו את מה שכביכול אינו יכיח והגענו שוב לסתירה. 8. אם כך PA אינה עקבית. והערה לסיום: כידוע אני לא נמנה עם מחנה "מותר האדם ממכונות טיורינג" כך שאין צורך לחשוד בי שאני מנסה להשתמש במשפט גדל כדי לשרת איזו אג'נדה אנתרופוצנטרית. אתה צודק בכך שהרבה זמן חייתי בשלום עם G מתוך שהינחתי שסעיף 6 לא נכון, דהיינו שבסעיפים 3 ו 4 נעשה שימוש בטיעונים שחורגים מ PA (אין לי מושג אילו מחוקי הלוגיקה הם חלק ממנה ומה בדיוק מותר לטעון במסגרתה). רק כשהערת באחת ההודעות שהכל כולל הכל נעשה בתוך PA התחלתי להרגיש את תחושת חוסר הנוחות ממה שהולך כאן. אני מכיר היטב את התחושה הזאת: היא מהסוג שמתחלף מהר בהרגשה "איזה אידיוט אני", אבל אליה כבר התרגלתי מזמן. |
 |
 |
 |
|
|
|
||
|
||||
|
לא הבנתי את 7. איזו סתירה? מה שהוכחנו הוא, כדבריך (ואני מצטט את סעיף 5): "הראינו בסעיף 3 שאם היא עקבית אזי G חייב להיות נכון". זהו, זה כל מה שהראינו: ש*אם* PA עקבית *אז* G חייב להיות נכון. זה (כמו שציינת ב-6) כל מה שאנחנו יודעים להוכיח ב-PA. איפה הסתירה? | |
|
|
|
|
|
||
|
||||
|
אבוי. הראינו (תחת הנחת העקביות) ש G חייב להיות נכון, אבל G עצמו הרי אומר שאנחנו לא יכולים להראות דבר כזה ("א... אי.. אינ... אינני יכיח" הוא חוזר ואומר), כלומר הוא לא נכון. סתירה. אולי העניינים יתבררו לי ביתר קלות אם תשיב על שאלה אחרת: האם ניתן לבנות בדומה ל G את המספר R שהטענה שהוא מייצג היא "אינני נכון ב PA"? |
|
|
|
|
|
|
||
|
||||
|
אבל אתה מבלבל בין "תחת הנחת העקביות, G נכון" ל-"G נכון". שים לב: "הראינו (תחת הנחת העקביות) ש G חייב להיות נכון" נכון... "אבל G עצמו הרי אומר שאנחנו לא יכולים להראות דבר כזה" לא נכון. הוא אומר "אינני יכיח מהאקסיומות של PA ותו לא; אני לא מתחייב על מה יקרה איתי אם תצרף הנחות נוספות (למשל ההנחה ש-PA עקבית)". בוא נסכים קודם על זה (או שלא), ואח"כ נדון בבעייתיות של המספר R. |
|
|
|
|
|
|
||
|
||||
|
התגובה הראשונה שלי היתה "אהה!" אבל מיד אחריה חזרה הרגשת חוסר הנחת. אוקיי, היא אומרת לי, אז בוא נבנה את המערכת האקסיומטית SA, שהיא PA בצרוף האקסיומה "PA עקבית". המספר G ב SA הוא ממש אותו אחד שאנחנו מכירים ב PA (כלומר הוא עצמו עדיין מדבר על אי-יכיחותו ב PA, אבל אנחנו מסתכלים עליו מ SA) אלא שעכשיו הוא מוביל לסתירה: מאחר ו PA עקבית עפ"י האקסיומה שהוספנו, הוכחנו (בדרך השלילה) את המשפט שאומר על עצמו שאינו יכיח. לכן SA לא עקבית, אבל קל לראות ש SA עקבית אם"ם PA עקבית, ולכן PA אינה עקבית. מה היית עונה לאותה הרגשה טורדנית? |
|
|
|
|
|
|
||
|
||||
|
"הוכחנו (בדרך השלילה) את המשפט שאומר על עצמו שאינו יכיח". וביתר פירוט: "הוכחנו (ב-SA) את המשפט שאומר על עצמו שאינו יכיח-ב-PA" לכן SA לא עקבית? למה? |
|
|
|
|
|
|
||
|
||||
|
אהה! תודה. | |
|
|
|
|
|
||
|
||||
|
אם טרם מיציתי את הסבלנות שלך, ואם יש לך זמן וחשק: מה עם המספר R? (אם התשובה על הרישא שלילית זה בסדר, הכי גרוע אשוב אל GEB הישן והטוב, נדמה לי שהוא מזכיר אותו). |
|
|
|
|
|
|
||
|
||||
|
אין בעייה :-) אבל לא הבנתי מה ברצונך שהמספר R "יגיד". מה זה "נכון ב-PA"? נובע מהאקסיומות? נכון במודל הסטנדרטי של הטבעיים? אם זה הראשון, אז זה בדיוק "יכיח", כמו G. אם השני, אין לזה קשר ל-PA, ואין פרדיקט ב-PA האומר "x נכון בטבעיים". להגיד ש-x נכון זה פשוט להגיד "x"; להגיד שהוא לא נכון זה פשוט להגיד "לא x". אתה רוצה ש-R יהיה "לא R"? אי-אפשר... | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |