בתשובה לאלון עמית, 21/07/05 18:49
 |
|
 |
||
|
||||
 |
אוה, אז לא הבנתי משהו. איך יכול להיות שPA "לא מסוגלת (אם היא עקבית) להוכיח שום דבר מהצורה 'אין ב-PA הוכחה ל..."'? היא הרי בוודאי מסוגלת להוכיח "אין ב-PA הוכחה ל0=1", לא? אולי התכוונת שPA לא מסוגלת (אם היא עקבית) להוכיח שום דבר מהצורה "אין ב-PA הוכחה לX וגם לא לשלילתו"? אם לזה התכוונת, אם אני רואה את משפט גדל באור חדש: תורה עקבית שמוכיחה את PA וגו' לא מסוגלת להוכיח שמשפט בה לא כריע. עד גדל חשבו שזה בגלל שהתורות שלמות, ומגדל והלאה הבינו שזה דווקא בגלל שהתורות לא-שלמות. הבנתי נכון? בכל מקרה, לא התכוונתי להוכחה של "TP לא כריעה, וגם הכריעות שלה לא כריעה". התכוונתי למשהו כמו (תודה על התיקונים בנוגע לתורה בה מוכיחים) "אם TP לא כריעה בPA, אז המשפט 'TP לא כריעה בPA' לא כריע בT", בT. זאת אומרת, שאי-כריעות מסדר שני לא גוררת אי-כריעות מסדר ראשון. הטענה שמעניינת אותי היא כן טענה אבסולוטית: אנחנו הרי לא באמת יודעים (כרגע, לפחות) שTP לא כריעה בPA, אבל מדגדג לי שיכול להיות שגם לעולם לא נדע. זה אפשרי? |
 |
 |
 |
|
|
|
||
|
||||
|
"TP לא כריעה, וגם הכריעות שלה לא כריעה" - זו סתירה כמובן. (ולמה לא?) |
|
|
|
|
|
|
||
|
||||
|
לא, היא לא מסוגלת להוכיח "אין ב-PA הוכחה ל0=1" - אילו עשתה זאת, היתה מראה שהיא עקבית (אתה רואה למה?), וכידוע, היא לא. את הפסקה השנייה לא לגמרי הבנתי, אבל אולי לאור התיקון לפסקה הראשונה זה פחות חשוב... "אנחנו הרי לא באמת יודעים (כרגע, לפחות) שTP לא כריעה בPA, אבל מדגדג לי שיכול להיות שגם לעולם לא נדע. זה אפשרי?" - בטח שזה אפשרי. מה שלא תהיה המערכת בה אנו עובדים - PA, ZFC, או משהו אחר - יש במערכת הזו משפטים אריתמטיים שאי-אפשר להוכיח. משפט כזה יכול להיות באותה מידה TP עצמה או "TP לא כריעה ב-PA" - אין הבדל מהותי בין שני המשפטים הללו. למעשה, הייתי אומר ש(למרבה הצער) זו אפילו אפשרות סבירה יחסית - כלומר, אם כבר יש משפט ספציפי שהוא באמת לא כריע, יותר סביר בעיני ש*לא* נוכל להראות זאת מאשר ש*כן* נוכל להראות זאת. הוכחות אי-כריעות הן דבר די מסובך. |
|
|
|
|
|
|
||
|
||||
|
וואו. מחברת העבודה, "מנהלת פורום פילוסופיה ב-BSH הפורטל הישראלי לצרכנות", ביקשה להתבונן בטקסט מתמטי מנקודת ההשקפה של ביקורת התרבות. היא בחרה באקסיומות פאנו ותרגמה, לדבריה, את הנוסח של האקסיומות אצל ראסל, ואח"כ השוותה את התרגום עם מקורות אחרים; לבסוף הגיעה ל"טקסט כלשהו בעברית, הנקי מהדידקטיקה הנחוצה לאוניברסיטה הפתוחה". הנה, למשל, אקסיומת האינדוקציה (+n הוא העוקב של n): ה. אינדוקציה: אם p תכונה של מספרים, ול-n יש את p אז גם ל +n יש את p. כמה קשה לרשום נכונה - אולי אפילו להבין - אקסיומה כה פשוטה? אני מניח שזו סתם צרות-מוחין מצדי להתעקש שאם רוצים לבקר את הטקסט של פאנו, יש לעיין בטקסט של פאנו. לא מדובר סתם בשגיאת-כתיב מתוחכמת - המחברת מסיקה מסקנות מהעיוות הזה: "(האקסיומה) מתסכלת את מבקר התרבות: כל תכונה שיש ל"ראשון", ויש גם ל"שני", יש לכל אחד מהמספרים". זה כלום לעומת כמה שהשטויות של מבקר התרבות מתסכלות את המתמטיקאי. בהמשך מוצאים את הכמות הצפויה-עד-יאוש של היגדים סתומים, שגויים וביזאריים. הנה פסקה טיפוסית, מתוך ה"הדרן" (המאמר הקצר מסתיים בלא פחות מאשר סיכום-ביניים, הדרן וסיכום, צבועים בצבעים עליזים): "העוקב, בהיותו מכיל יותר ממה שהיה אמור להכיל, יכול להיראות כשגיאת כתיב: אם מתייחסים אליו כ-n עדיין אינו +. ואם הוא + אז הוא כבר לא n. העוקב הוא "שגיאת כתיב" במובן שאין הוא הדבר שהיינו מצפים למצוא בסוג הזה של כתיבה. פיאנו ממלכד את עצמו, מפקיר את עצמו לגחמותיה של שגיאת הכתיב בכך שהוא נשאר עם ריבוי המשמעויות שהיא מביאה עליו". אני לא יודע מה לומר. אם העבודה הזו - המבקשת לנתח טקסט מתמטי בלי להבין אותו ואפילו בלי לצטט אותו נכונה, וזרויה אמירות חסרות שחר וחסרות פשר - התקבלה, זהו ריקבון אקדמי. |
|
|
|
|
|
|
||
|
||||
|
האמת - אני חייבת להביע את הערצתי על כך שהצלחת בכלל לקרוא את הטקסט המדהים הזה. הבאתי אותו לאחר רפרוף קל, בהנחה שהוא יכול לשעשע את הקהל. ומעניין מה אמר על זה עדי אופיר. בכל אופן, עדיין אינני מצליחה להחליט אם היא פשוט מעופפת בספרות עמומות משהו (אם להתבטא בעדינות) - או שזו פשוט הלצה בנוסח האוסטרלים האלה עם הטקסט הפוסט מודרני המעורבל שלהם. |
|
|
|
|
|
|
||
|
||||
|
מנסיוני הדל, זו לא נראית כמו הלצה. | |
|
|
|
|
|
||
|
||||
|
חבל. במקרה הזה, אם זה לא מצחיק, זה באמת עצוב. | |
|
|
|
|
|
||
|
||||
|
נראה לי שאתה סתם מקנא. | |
|
|
|
|
|
||
|
||||
|
זה מתקבל על הדעת. והמסקנה היא שאתה משליך. | |
|
|
|
|
|
||
|
||||
|
אינדוקציה, שמינדוקציה, העיקר שאת דרידה היא אוהבת. על ההבדל בין המאמר של הפילוסופית ההיא לבין משהו עם משמעות נאמר: ויו לה פטי דיפר@נס! (ואני מתערב איתך שהיא קיבלה ציון טוב מאד על העבודה ההיא) |
|
|
|
|
|
|
||
|
||||
|
לא חסרה לכם שם קצת ביקורת על הסגנון? על "המבט" של פיאנו? על הלא-מודע שלו? לדעתי, לפחות, הפרנויה שלו זועקת לשמים עם כל הדגש הזה על עוקבים. |
|
|
|
|
|
|
||
|
||||
|
(גם בי מנקר החשש הזה, אבל אין לי באמת מושג. מישהו מכיר את עדי אופיר?) | |
|
|
|
|
|
||
|
||||
|
האמת, זה חשש סביר: לו הציון היה גרוע, לא כל כך הגיוני שהיא הייתה רצה לפרסם את העבודה ברשת. ואינני מכירה אישית את עדי אופיר, אבל משתיים-שלוש הרצאות ששמעתי ממנו, זה ייתכן. |
|
|
|
|
|
|
||
|
||||
|
אם אתה לא מתוסכל מדי, יש עוד אחד: |
|
|
|
|
|
|
||
|
||||
|
יש לך שמץ על מה היא מדברת? למשל, מאיפה היא לקחה את איסור המדידה? איזה אוקסימורון היא הצליחה לחלץ משם? אתמהה. |
|
|
|
|
|
|
||
|
||||
|
בגאומטריה אקסיומטית *מותר* למדוד, אלא שאסור להסתמך על תוצאות המדידה (מתוך הבנה מוקדמת של מה שיגלו רק הרקונסטרוקציוניסטים אלפיים שנה מאוחר יותר, שמדידה עשויה - עקרונית - שלא לדייק). | |
|
|
|
|
|
||
|
||||
|
מה זה "הבנה מוקדמת"? אין מוקדם ומאוחר בדקונסטרוקציה! (ואתה הצלחת לראות את האיסור הזה בטקסט שהיא הביאה?) |
|
|
|
|
|
|
||
|
||||
|
תגובה 234872 | |
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |