בתשובה לעוזי ו., 25/09/06 11:22
 |
|
 |
||
|
||||
 |
עוזי, אהבתי את המשפט "...שפה הכוללת קבוצות, שאינן קבוצות." התנאים המצטברים, עוזי, שבעקבות הדיונים שלי איתך, ואם מאות רבות של אנשים מקצועיים ושאינם מקצועיים, פנים אל פנים וברחבי האינטרנט, הולכת לה ומתפתחת המתמטיקה-המשלימה ויסודותיה הולכים ומתחזקים כתוצאה מדיונים אלה. אם אינך מסכים איתי, אתה מוזמן בחפץ לב, להגיב לכל דבר מקטן ועד גדול, הכתוב ב- http://www.createforum.com/phpbb/viewtopic.php?t=60&... מה אעשה עוזי אם תורתי מציגה חלופה למושגי-יסוד המשמשים בקהילת המתמטיקאים הנוכחית? האם עלי להמנע מכך וליישר קו אם רצונם של אנשי קהילה זו, או במילים אחרות, לעסוק רק בפיתוח שפת המתמטיקה עפ"י המקובל בקהילה (או כדבריך, להשתמש בתורה רק לשם פתרון בעיות המקובלות על הקהילה)? מושג ההוכחה עוזי משמש כטעון מרכזי בדבריך. ומה אם המערכת שאני עוסק בפיתוחה מכוונת, בשלב זה, להעמקת והרחבת את ההבנה של עצם מושג ההוכחה עצמו? האם עלי להמנע מכך, לדעתך ? האם עלי קודם כל לרצות את רצון הקהילה כדי שרעיונותי יתקבלו ? ומה אם בכך שאנקוט בגישה זו, אני עושה שקר בנפשי, ועוסק במה שאיני מוצא בו עניין בשלב זה (שיפור מערכות קיימות)? במקום לנסות ולהבין לעומקן שאלות כגון אלה, הצאת לי בכנס את המבחן הבא: "כך" אמרת לי "את עבודתך וחלק אותה באופן אקראי ל-20 מתמטיקאים המשתתפים בכנס. אם רובם של אנשים אלא, יאמרו לך שעבודתך אינה מתמטיקה, רק מתוך עיון בעבודתך, אין לך ברירה אלא להסיק שעבודתך חסרת ערך בקהילה המתמטית". אני מניח שאתה צודק, אם המתמטיקה מוגבלת רק ואך ורק לתקשורת בין אנשים, עפ"י כללים קבועים מראש, כאשר כללים אלא מגבילים את העיסוק בשינוי הכללים עצמם, ע"י הנחלת צורת חשיבה אחת ויחידה והיא החשיבה הסדרתית של צעד-אחר-צעד. לדוגמא, חשיבה מקבילית, העוסקת בפתרון בעיות "במכה-אחת", אינה אינה קבילה ע"י קהילת המתמטיקאים הנוכחית, אלא אם ניתן להגיע לאותו פתרון בשיטת הצעד-אחר-צעד. ההרחבה שאני מציע עוסקת בגישור בין המקבילי לסדרתי, ולכן היא תזוהה מיידית כחוץ מתמטית ע"י קהילת המתמטיקאים הנוכחית. יותר מכך, המתמטיקה דהיום הינה תוצר של אנשים בעלי חשיבה סדרתית, ומטבע הדברים היא מושכת אליה אנשים המוכשרים לאופן חשיבה זה, עד שעצם מושג המתמטיקה מזוהה לחלוטין עם תבנית החשיבה הסדרתית. אני חולק על כך, ומדגים יצירת מתמטיקה אשר אינה מוגבלת רק לחשיבה-סדרתית ולעולם "בעיות" הסגור רק תחת חשיבה סדרתית. |
 |
 |
 |
|
|
|
||
|
||||
|
גם אני אהבתי את המשפט "עוזי, אהבתי את המשפט "...שפה הכוללת קבוצות, שאינן קבוצות."" במיוחד כאשר עוזי ו. כתב במקור: "...לתאור ה"אטומים" של שפה הכוללת קבוצות, שאינם קבוצות." – מילא לא להבין את הנקרא, מילא לסלסף את הציטוט, אבל יש לפחות קצת צדק פואטי בכך שנימתך הלגלגנית היא בדיוק זו בה מתקבלת המתמטיקה המשלימה שלך. בקיצור, המשך כך, ויישר כח. |
|
|
|
|
|
|
||
|
||||
|
אייל אלמוני, החלק שהוספת אינו מעלה ואינו מוריד מ-''ערכו'' של הביטוי ''...קבוצות, שאינן קבוצות''. אם קיימת קבוצה, שאיבריה אינם קבוצות, אנו עוסקים עדיין בקבוצה. |
|
|
|
| חזרה לעמוד הראשי | המאמר המלא |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |