בתשובה לאלון עמית, 06/10/07 8:52
 |
|
 |
||
|
||||
 |
לענות לך עכשיו או לחכות 8 חודשים? בקצרה: כמו שאני רואה זאת, רק לגבי הדברים ב-0 יש לנו ניסיון "ישיר" (כמו האבחנה ש-2+2=4). לגבי דברים ב-1 ההבנה שלנו נובעת מאנאלוגיות ותובנות שנובעות מהמקרה הסופי. זה כולל גם היסקים לוגיים וגם את ההנחה שלכל משפט דמוי-גולדבך יש ערך אמת (על זה אולי אפשר להתווכח, אבל זה לא נראה קריטי לדיון). ההנחה הזו נראית לי די ייחודית למשפטים דמויי-גולדבך, קשה לי לראות סיבה להניח משהו דומה לכל משפט מסדר ראשון. אני מניח שאפשר לכנות את גישתי "פיניטיסטית-אפיסטמולוגית". פיניטיסטיים בדרך כלל מאמינים שהדברים היחידים שקיימים באמת הם סופיים ואולי מן הראוי לכנות זאת "פיניטסטי-אונטולוגי". לשיטתי, מבנים אינסופיים קיימים, אבל אין דרכי חקירה אינסופיות. כיון שכך, שום אובייקט אינסופי "סביר" אינו מוחלט כי ישנן תכונות שלו שאינן נקבעות ע"י שיטות החקירה שלנו. בפרט המספרים הטבעיים (מרמה 1 ומעלה) אינם מוחלטים. עוד יותר בקצרה: הנימוק שלי הוא חולשתן של שיטות החקירה שלנו, כולל מערכות אקסיומטיות. 1ולפיכך אבדנו. |
 |
 |
 |
|
|
|
||
|
||||
|
אולי אני מתפרץ לדלת פתוחה, אבל הנה שני הביט שלי: משפט פיתגורס מוכח באופן כללי לכל זוג שלמים a ו-b המשמשים כניצבים במשולש ישר זווית. אם מתעקשים להיות אמפיריציסטיים, ניתן לנסח את ההוכחה כתוכנית מגירה שתופעל מחדש עבור כל משולש שמדען יתקל בו. כלומר, לכל הפחות ניתן להסכים (אני מקווה) שהמשפט נכון עבור משולשים שניתקל בהם. כך שבמידת הצורך, יתאפשר לבצע סיקול ממוקד במרכז היתר. אם כמה עשרות אלפי תצפיות מספיקות כדי להניח ש*כל* שני גופים מושכים זה את זה בפרופורציה הפוכה למרחקם בריבוע, וזה נחשב חלק משיטות החקירה שלנו - אני חושב שיהיה זה אך הוגן להכליל את הוכחת משפט פיתגורס כחלק משיטות החקירה שלנו. |
|
|
|
|
|
|
||
|
||||
|
איפה כתבתי שהוכחת משפט פיתגורס אינה חלק משיטות החקירה שלנו? ההוכחה היא סופית, לא? |
|
|
|
|
|
|
||
|
||||
|
לא הצלחתי להמתין בסבלנות עד תום תקופת הצינון בין תגובות בדיוננו. סליחה, אם כך, על שאני מתפרץ לדבריך. ראה, ברור שאיני יכול "לסתור" את הגישה שאתה מציג. את מה ששיטות החקירה שלנו יכולות לברר, שנינו מסכימים שהוא מוחלט (במידה ידועה). מה שלא מאפשר בירור כזה הוא, בהגדרה, בלתי-נודע, והויכוח אם הוא "מוחלט, אך לא ניתן לידיעה" או "לא מוחלט" הוא ויכוח תיאורטי או פשוט חסר-שחר. בכל זאת אקשה. כמו שכבר הזכרנו, ישנם דברים ששיטות החקירה שלנו אינן קובעות ובכל זאת (נדמה לי) שאין ויכוח שיש להם ערך-אמת: "לקליאופטרה היה סוג דם A", "לשייח ספיר יש תודעה" וכו'. אם אתה מסכים לזאת, אזי ישנם דברים שהם מוחלטים למרות שתכונותיהם אינן נקבעות ע"י שיטות החקירה שלנו, ומכאן שההיקש "אינו מוחלט *כי* ישנן תכונות שלו שאינן נקבעות..." אינו תקף. דרוש דבר-מה נוסף - מהו? מה הופך את הטענה "בפיתוח העשרוני של פאי יש רק מספר סופי של 7-ים" ליותר לא-מוחלטת מהשאלה על קליאופטרה? ועדיין לא הצלחתי להבין אם אתה מסכים שלכל פסוק דמוי-גולדבך (פאי-0-1?) יש ערך אמת, או שגם זה לא. |
|
|
|
|
|
|
||
|
||||
|
עדיין לא הגיע תורי להגיב, כמדומני, ואכן לא אגיב, רק אקשר ל: |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |