|
||||
|
||||
ואתה באמת רואה קשר משמעותי בין הטענה שיש מצב שהוא בין ידיעה ללא-ידיעה, לטענה שצריך לשנות את שפת המתמטיקה כך שתתייחס לרמות אי-ודאות של מספרים כי הודעה מביאה לקריסת הסופרפוזיציה של המספר? בתחומים כאלה של הפילוסופיה יש מעט תבניות-רעיוניות שחוזרות על עצמן בהקשרים שונים, וקשה להשוות בין שני רעיונות מחוץ לקונטקסט שלהם. |
|
||||
|
||||
היה זה ויטגנשטיין שחולל את שינוי הפרדיגמה של הפילסופיה במאה הקודמת. הוא גם התעניין מאד במתמטיקה ונתן סידרת הרצאות באוניברסיטת קמברידג בשנת 1939 שבהן הוא בחן ברצינות את השאלה האם ניתן ליצור מתמטיקה אחרת. על פי הבנתו אז שפת המתמטיקה מתארת הסכמות בין קהילה ובעצם זהו סוג של משחק בשפה וניתן עקרונית ליצור שפה מתמטית אחרת. אם תתבונן בספר החשוב של פרגה "כתב מושגים" תוכל לראות את האריתמטיקה הנוצרת של הלוגיקה . מה שמאד הזכיר לי בזמנו את הצורת של המספרים האורגנים שיצר דורון. הבעיה היא שהדו מימדיות של פרגה הושטחה ללוגיקה מסדר ראשון. כאן אנחנו מדברים שאי הודאות היא תכונה מסדר ראשון בשפה של המתמטיקה כולל בתפיסה של מושג המספר עצמו ברמות המובחנות שיש לו. מכאו נגזרת תפיסה חדשה של מושג הקבוצה וכו' חבל מאד שדורון החליט לפרוש מהדיון אבל את תרומתו לברור של הנושא הוא כבר עשה כמיטב יכולתו. איך מסמנים טכנית קיצור של הודעה עם המספר שלה ? |
|
||||
|
||||
עומדים עם העכבר על התגובה ולוחצים ALT+F4. |
|
||||
|
||||
לא הבנתי בדיוק נניח שאני רוצה להצביע על התגובה שלך אז אני לוחץ על הגב להודעה זו ואז מה ? |
|
||||
|
||||
ואם יש עם זה בעיה, אז גם CTRL+W עובד באינטרנט אקספלורר. במהלך הגילוי המפתיע של מידע זה נמחקה לי תגובה ארוכה שכתבתי. |
|
||||
|
||||
תגובה 349273 אני מצטער שהיא נמחקה , אשמח לקרוא את השיחזור שלך |
|
||||
|
||||
זה קרה מזמן. אני כבר לא זוכר מה הייתה התגובה והאם היא שוחזרה. |
|
||||
|
||||
|
||||
|
||||
תגובה 173665. |
|
||||
|
||||
שע''ר הנצחו''ן שוכב על רצפה הרוס מצחוק נובח בהיסטריה, צועק ''הצילו'', חונק ומטביע נגמ''שי לגו. |
|
||||
|
||||
"שפת המתמטיקה מתארת הסכמות בין קהילה ובעצם זהו סוג של משחק בשפה" - עם זה אני מסכים. "וניתן עקרונית ליצור שפה מתמטית אחרת" - גם עם זה אני מסכים. "מה שמאד הזכיר לי בזמנו את הצורת של המספרים האורגנים שיצר דורון" - באיזה מובן? "הבעיה היא שהדו מימדיות של פרגה הושטחה ללוגיקה מסדר ראשון" - קשה לי להאמין. תוכל לתת דוגמה? "כאן אנחנו מדברים שאי הודאות היא תכונה מסדר ראשון בשפה של המתמטיקה כולל בתפיסה של מושג המספר עצמו ברמות המובחנות שיש לו" - ויכול להיות שעם הגדרה מדוייקת של כללי היסק, ניתן להגיע מכך לתוצאות מעניינות. היסק מסודר (ולאו דווקא דומה ללוגיקה הרגילה), זה כל מה שחסר לי. והתוספת הקבועה: תחומי המתמטיקה הקיימים יכולים להמשיך ולהתפתח במקביל. "חבל מאד שדורון החליט לפרוש מהדיון" - אגב, מה שלום אורי ליבר? |
|
||||
|
||||
''וניתן עקרונית ליצור שפה מתמטית אחרת'' - גם עם זה אני מסכים אם אתה באמת ובתמים מסכים עם זה אז אין כל קיצורי דרך צריך לעמול קשה מאד בשביל זה כי מנסיוני הארוך, לא ניתן להעביר את הידע הזה מאדם לאדם, בשום צורה שהיא. אתה חייב לראות בעיניך את הספר של פרגה כתב מושגים, ולהשוות למספרים האורגנים של דורון שדמי. שתראה את זה אחד ליד השני יהיה אפשר להתקדם , אולי. אורי ליבר, הבין מיד כפילוסוף מתוך הידע הרחב ביותר ולימוד של הרבה שנים על תורת קאנט במה אנחנו עוסקים ומה אנחנו מחדשים והוא עסוק כרגע במימוש של הידע הזה במסגרת הפצתו לקהל הרחב. |
|
||||
|
||||
את הטענה שניתן ליצור מתמטיקה אחרת ניתן להעביר מאדם לאדם (ונדמה לי שכל המשתתפים בדיון הזה מסכימים עם הטענה הזאת). גם את התיאור של המתמטיקה האחרת (אם יש לה חוקי היקש) ניתן להעביר מאדם לאדם. מה שלא ניתן להעביר מאדם לאדם זה: - את ה*צורך* שאתם 1 חשים בו לשנות את שפת המתמטיקה ולהעלים את המתמטיקה הישנה. - את ה*אמונה* שהמתמטיקה שלכם מייצגת את האמת. - את ה*תובנות* שלכם שאינכם יכולים לגבות בשום הליך היקש שהוא 2. לא עם אלה אמרתי שאני מסכים. הדרישה לראות את הספר של פרגה היא דרישה קצת מוגזמת עבורי. אולי תוכל לתאר, לפחות בקצרה, איפה הדמיון בין שניהם, וכן איך מתבטאת הדו-מימדיות שלו שהושטחה. אני, אגב, יוצא מחר לטיול שנתי עד ליום שישי, אז אני לא אבקר ב"אייל" בימים הקרובים. 1 סלח לי שאני מדבר אליך בלשון רבים, אבל אתה מייצג פה קבוצה. לכן אני גם ארשה לעצמי להשליך עליך קצת מהטיעונים של מתדיינים אחרים מאותה קבוצה. 2 לאו דווקא כזה שמקובל על הלוגיקה הרגילה. |
|
||||
|
||||
"את הטענה שניתן ליצור מתמטיקה אחרת ניתן להעביר מאדם לאדם (ונדמה לי שכל המשתתפים בדיון הזה מסכימים עם הטענה הזאת). גם את התיאור של המתמטיקה האחרת (אם יש לה חוקי היקש) ניתן להעביר מאדם לאדם." אם משתתפי הדיון אכן חושבים שיש אולי מתמטיקה אחרת זה מאד משמח אותי. עצם הכוונה והדיון יכולים לחולל את ההתמרה הכבירה של התודעה הנחוצה לשם כך. מאד ריגש אותי לגלות את ההקבלה בין הדיאגרמות של פרגה בספרו כתב מושגים לצורת של המספרים האורגנים. אני מקווה שאתה נהנה בטיול ואני מאד ממליץ לך לקרוא את הספר המסע אל הר האנלוג ( שיצא לאור בשנת 1959) על טיפוס לא אוקלדי אל הר שהוא יותר גבוה מהר האוורסט. |
|
||||
|
||||
תגובתי בקצרה: משתתפי הדיון *בטוחים* שיש מתמטיקה אחרת. דמיון בין דיאגרמות זה לא מספיק. נהניתי מאוד, תודה. הטיפוסים הלא-אוקלידיים עזרו מאוד לשרירי הרגליים. |
חזרה לעמוד הראשי | המאמר המלא |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |