|
||||
|
||||
''עכשיו תדביק לכל קודקוד את חבורת האוטומורפיזמים של העץ שלו. לזה אני קורא ''סימטריה'' האוטומורפיזמים ברמה של תורת קבוצות הוא פרמוטציה בין איברים מובחנים היטב. המתמטיקה המונדית מתארת את דרגות אי-המובחנות המטרימות את האפשרות לאוטומורפיזם, ולכן אינך יכול לתאר את דרגות אי-המובחנות ע''י הדבקה לכל קודקוד את חבורת האוטומורפיזמים של העץ שלו. |
|
||||
|
||||
במתמטיקה שאני מכיר ההיררכיה היא פחות קשוחה, ולכן זה שדבר מסויים מטרים דבר אחר אינו מקלקל את האפשרות לטפל בו. |
|
||||
|
||||
אתה טועה עוזי, מצבי אי-המובחנות אינם היררכיה אלא סופרפוזיציה כאשר סופרפוזיציה הינה מצב מקבילי ולא סדרתי. מצבי סופרפוזיציה הם פחות קשוחים ממצבים היררכיים מובחנים היטב, כי ניתן להחליף בין אלמנטים מבלי שנבחין בכך. חבורת האוטומורפיזמים מתקיימת רק ואך ורק בין אלמנטים מובחנים היטב, והמתמטיקה הרגילה מוגבלת רק ואך ורק לאלמנטים מובחנים היטב, כי ב-ZF האלמנטים של קבוצה לא-ריקה מובחנים היטב זה מזה. ראה שוב את העץ הבינרי המתקיים בבסיס היררכיית פון-נאומן ( http://www.geocities.com/complementarytheory/VONTREE... ) שאיבריו מובחנים היטב כתוצאה מהאקסיומות המגדירות אותו, ולכן המספרים טבעיים הרגילים מוגבלים רק ואך ורק למצב המובחן היטב, ולכן המערכת הרגילה קשוחה ומוגבלת לעין-ערוך ממערכת המספרים הטבעיים המבוססים על המתמטיקה המונדית. |
|
||||
|
||||
''חבורת האוטומורפיזמים מתקיימת רק ואך ורק בין אלמנטים מובחנים היטב'' - בלי לדעת מה זה ''מובחנים היטב'' אני אומר לך, באחריות, שזה פשוט לא נכון. אפשר להגדיר חבורות אוטומורפיזמים לכל דבר שעולה בדעתך. |
|
||||
|
||||
" בלי לדעת מה זה "מובחנים היטב" אני אומר לך, באחריות, שזה פשוט לא נכון." אם אינך יודע משהו אך כולל אותו באחריות שלך, אז מי יקנה את הסחורה שלך? הדגם נא את חבורת האוטומורפיזמים של {x,x,x,x,x,x,x} . תודה. |
|
||||
|
||||
התרשמתי שלמר ו. כבר יש מה לעשות בחיים. |
|
||||
|
||||
"אם אינך יודע משהו אך כולל אותו באחריות שלך, אז מי יקנה את הסחורה שלך?" ככל הנראה יהיו לסחורה הזו יותר קונים מאשר לסחורה שלך. הנה דוגמה יפה למשהו שאנחנו לא יודעים מהו אבל יכולים להתחייב עליו באחריות: קיים מספר רציונלי שהוא מספר אי רציונלי בחזקה של מספר אי רציונלי (למרות שאין לנו מושג מהו): ברור ששורש 2 בריבוע הוא רציונלי (הוא פשוט 2), אבל אפשר לכתוב זאת בתור שורש 2 בחזקת שורש 2, כשכל זה בחזקת שורש שתיים. עכשיו אחד משניים: אם שורש 2 בחזקת שורש 2 רציונלי, גמרנו. אחרת הוא אי רציונלי ואחרי שמעלים אותו בחזקת אי רציונלי נוסף (שורש 2) מקבלים מספר רציונלי: 2. מוסר ההשכל: לפעמים לא צריך לדעת משהו בצורה מפורשת כדי לומר עליו משהו. אני יכול להראות לך שקיים מספר רציונלי שהוא מספר אי רציונלי בחזקת אי רציונלי, למרות שאין לי מושג מי הוא (אני רק יודע שהוא או 2, או שורש 2 בחזקת שורש 2, ואפשר לנחש שזה יהיה 2). |
|
||||
|
||||
גדי, תגובתך לא רלוונטית במקרה זה, כי אי-הידיעה של עוזי קשורה למשמעות המושג חבורת אוטומורפיזמים בתורת-קבוצות, ובתורת קבוצות המושג הנ"ל קשור לפרמוטציה בין איברים, ולשם כך האיברים חייבים להיות מובחנים זה מזה. המתמטיקה-המונדית עוסקת, בין השאר, באיברים לא-מובחנים ולכן לא ניתן לבצע עליהם פרמוטציות. בקיצור, הדגם נא את חבורת האוטומורפיזמים של {x,x,x,x,x,x,x} . תודה. |
|
||||
|
||||
זה תלוי בהגדרה *המתמטית* שלך של "אלמנטים לא מובחנים" (מהי? הגדרה ריגורוזית, בבקשה). או שזו S_7, או שזו {I}. |
|
||||
|
||||
ההגדרת המתמטית שלי לאי-מובחנות היא סופרפוזיציה בין איברי הקבוצה כמטריצה של אי-וודאות / יתירות, לדוגמא: |
|
||||
|
||||
בהמשך לתגובה קודמת: יתירות: קיים יותר מהעתק אחד של אותה יישות. אי-וודאות: קיימת יותר מזהות אחת לאותה יישות. |
|
||||
|
||||
לא לזה התכוונתי ב"הגדרה ריגורוזית". הגדרה באמצעות דוגמה של שרטוט היא משהו שאוסרים על סטודנטים כבר בסמסטר הראשון. "סופרפוזיציה" הוא מושג שמוכר לי רק בהקשר פיזיקלי, ובהקשר הפיזיקלי רק כתיאור של אדיטיביות של שדות כוח. המושג "מטריצה של אי וודאות/יתירות" גם כן לא הוגדר כלל. לכן ההגדרה שלך לא עוזרת לי בכלל. |
|
||||
|
||||
"לא לזה התכוונתי ב"הגדרה ריגורוזית"." תראה גדי, אתה לא יכול לנסות להבין את הגדרותיי *הריגורוזיות בהחלט* בתנאים שלך. אם אינך מסוגל להזיז את עצמך ממקום מושבך כדי להבין דברים מזווית ראיה אחרת, הריי שאין ולא יהיה ביננו שום דיאלוג. "הגדרה באמצעות דוגמה של שרטוט היא משהו שאוסרים על סטודנטים כבר בסמסטר הראשון." השרטוט אינו ההגדרה אלא אמצעי עזר כדי להבין את ההגדרה. ""סופרפוזיציה" הוא מושג שמוכר לי רק בהקשר פיזיקלי..." אז תעשה סוויץ' בראש והתייחס נא לאופן שבו אני משתמש במושג זה. ההגדרה *שלי* לאי-מובחנות: יתירות: קיים יותר מהעתק אחד של אותה יישות. אי-וודאות: קיימת יותר מזהות אחת לאותה יישות. ההגדרת המתמטית *שלי* לאי-מובחנות היא סופרפוזיציה בין איברי הקבוצה כמטריצה של אי-וודאות / יתירות, לדוגמא: |
|
||||
|
||||
"השרטוט אינו ההגדרה אלא אמצעי עזר כדי להבין את ההגדרה" אז מה כן ההגדרה? "אז תעשה סוויץ' בראש והתייחס נא לאופן שבו אני משתמש במושג זה" אני לא מבין את המושג כי לא הגדרת אותו או ניסית להסביר מה פירושו. הנה נסיון לתאר לך איך לדעתי נראית הגדרה ריגורוזית, פחות או יותר: נאמר על שני איברים כי הם "בלתי מובחנים" אם שניהם העתק של אותה ישות (ואז נאמר כי זוהי אי מובחנות הנובעת מיתירות), או אם שניהם מהווים זהויות שונות לאותה יישות (ואז נאמר כי זוהי אי מובחנות הנובעת מאי ודאות). אם קיבלת את ההגדרה שלי, עכשיו אנחנו צריכים לנסות ולראות מה אפשר לעשות איתה. ניקח קבוצה עם שני איברים בלתי מובחנים {x,x}. האם ניתן להגדיר עליה פונקציה לקבוצת המספרים הטבעיים? אם כן, כיצד אתה מגדיר את הפונקציה הזו? אם לא ניתן להגדיר עליה פונקציה, מה כן אפשר לעשות איתה? אחרי שתענה לשאלות האלה נעבור לאקשן האמיתי: פונקציה מהקבוצה לעצמה. |
|
||||
|
||||
"אז מה כן ההגדרה?" אי-מובחנות: סופרפוזיציה בין איברי קבוצה לא-ריקה כמטריצה של אי-וודאות / יתירות. ההגדרה שלך איננה ההגדרה שלי. |
|
||||
|
||||
סופרפוזיציה הינו מצב המערכת טרם המדידה. המדידה גורמת לקריסת מטריצת האי-וודאות/יתירות עד למצב של מובחנות מלאה בין איברי הקבוצה. המתמטיקה הרגילה מתעלמת כליל ממצבי קריסה אלה ולכן מערכת המספרים שלה מבוססת רק ואך ורק על קבוצות עם איברים מובחנים בלבד. המתמטיקה-המונדית עוסקת בחקירת כל שלבי הקריסה של קרדינל > 1, לדוגמא: |
|
||||
|
||||
בלה בלה בלה מה אני? מתמטי-קה אני לא מודדת אני לא נמדדת אני רק קורסת בתוך הקבוצה |
|
||||
|
||||
משבר זהות הא? אייל פלמוני |
|
||||
|
||||
אני לא כל כך מבין. איך מתבצעת מדידה, ולמה זהו מצב המערכת לפני המדידה? |
|
||||
|
||||
כל נסיון חקירה שלך גורם לשינוי מיידי במצבו של האלמנט הנחקר. לדוגמא: הפעלת עליו פונקציה, גרמת לשינוי מצבו. בקיצור גדי, אתה או כל סוכן שלך הינו גורם המשפיע על האלמנט הנחקר ויוצר/מגלה/משנה אותו. |
|
||||
|
||||
נניח שאני חוקר את הקבוצה {1,2}. איך בדיוק היא משתנה כתוצאה מכך? |
|
||||
|
||||
איך הגעת למצב שיש לך את {1,2} ? |
|
||||
|
||||
אמרתי "נניח שאני חוקר את הקבוצה {1,2}". |
|
||||
|
||||
לא הבנת אותי, עצם הידיעה כי קיימת {2,1} הינה חלק מתהליך חקירה. לכן אבקש ממך לפרט את תהליך החקירה המאפשר לך לדעת על קיומה של {1,2}. |
|
||||
|
||||
אני יודע שקיימת {1,2}? לא ברור אפילו באיזה מובן הקיום הזה בא לידי ביטוי. אני מגדיר את {1,2} בתור האובייקט שעליו אני רוצה לדבר. אם אתה רוצה לדעת באיזה תהליך יצרתי את האובייקט, הוא פשוט: קודם כתבתי {, אחר כך כתבתי 2, אחר כך כתבתי ",", אחרי זה 1, ולבסוף }. |
|
||||
|
||||
"קודם כתבתי {, אחר כך כתבתי 2, אחר כך כתבתי ",", אחרי זה 1, ולבסוף }" איך הגעת למצב שאתה מסוגל לכתוב את הייצוג הלינארי הנ"ל? |
|
||||
|
||||
|
||||
|
||||
אנחנו מייצגים את תובנותינו ע"י כתיבה של סימנים עוקבים לאורך קו דמיוני, האין זאת? השאלה החשובה היא: האם שיטת הייצוג הלינארית הינה רק מטעמי נוחות טכנית או שהיא השלכה של אופן חשיבה , החוקר ומבין רק ע"י שימוש בחשיבה לינארית (להבדיל מחשיבה סימולטנית מקבילית)? |
|
||||
|
||||
אז מה יום מיומיים? אם כל מה שאנחנו כותבים הוא "לינארי" למה היית צריך להוסיף את המילה הטריויאלית הזאת? |
|
||||
|
||||
אני טוען כי רובה המכריע של המתמטיקה ב-2500 האחרונות במערב, הוא תוצר של צורת חשיבה סדרתית, ולכן היא מוגבלת רק לתבניות סידרתיות כבר מרמת הייסוד, לדוגמא: הקבוצה היא אוסף שכל איבריו מובחנים היטב זה מזה ולכן ניתן לסדר אותם עפ"י מובחנות מותנית-מראש זו, הנובעת מצורת החשיבה הסדרתית. המתמטיקה המונדית מודעת להתנייה זו, ולכן היא מבוססת על חקירת המרחב שבין חשיבה מקבילית לחשיבה סדרתית. אופן חקירה זה מעשיר לעין ערוך את שפת המתמטיקה. |
|
||||
|
||||
התיישבתי ליד המקלדת. |
|
||||
|
||||
גדי, למיצוי של שאלתי בעניין {2,1} אנא עיין נא ב: תגובה 342798 תגובה 342804 תגובה 342792 תגובה 342795 תגובה 342807 תגובה 342671 תגובה 342696 תודה. |
|
||||
|
||||
קראתי. לא שוכנעתי שיש משהו בהודעות הללו. הוכח לי ריגורוזית שאני טועה. |
|
||||
|
||||
''לא שוכנעתי שיש משהו בהודעות הללו'' אנא פרט. |
|
||||
|
||||
"לא שוכנעתי שיש משהו בהודעות הללו" העדרותם של שאלות מצידך בעקבות ההודעות הללו, גורמת לי לחשוב שאתה לא משכונע, כאשר אי-השכנוע נובע מהבנת הדברים. הוכח נא *ריגורוזית* שאתה מבין את *כל* מה שקראת, ורק על בסיס הוכחה זו ניתן יהיה להמשיך בדיון משמעותי ביננו בנושא זה. תודה. |
|
||||
|
||||
למה להוכיח (ועוד *ריגורוזית*) את מה שאינו נכון? חשבתי שכבר ברור לך שאנחנו לא ממש מבינים איך מה שאתה אומר בא לידי ביטוי מבחינה מתמטית. |
|
||||
|
||||
אם אינך מבין, אז איך אתה יודע שהוא לא נכון? הריי ברור לחלוטין שאינך יכול לבחון את נכונות דברי על סמך המערכת הקיימת, כי אני משנה מן היסוד את המערכת הקיימת בכך שהיא הופכת למקרה פרטי (המקרה הלינארי בלבד) במרחב המתקיים בין הלינארי למקבילי. כל נסיון שלך להבין את המרחב הנ"ל רק מהזווית הלינארית, יחזיר לך בדיוק רק את נקודת המבט הלינארית של המרחב האמור. בקיצור לא תראה דבר ולא תבין דבר שהוא מקבילי או שילוב של מקביליות ולינאריות. גדי, זהו מצבך לאורך כל הדיונים ביננו. |
|
||||
|
||||
איפה אמרתי שאני יודע שהוא נכון? אמרתי שלא שוכנעתי שהוא נכון. איך לדעתך יכול אדם לראות את מה שאתה אומר שלא מהזווית הלינארית? די ברור שצורת ההצגה הנוכחית שלך לא עובדת. |
|
||||
|
||||
''די ברור שצורת ההצגה הנוכחית שלך לא עובדת.'' כי אתה מנסה פעם אחר פעם להבין אותה מהזווית הלינארית בלבד. |
|
||||
|
||||
אולי הבעיה היא שאתה לא מצליח להסביר איך אפשר להסתכל מזווית אחרת. |
|
||||
|
||||
הצלחה בהסברה תלוייה בשנינו ולא פחות משנינו. |
|
||||
|
||||
אני מסכים לגמרי. מכך שלא הצלחת להסביר את עצמך לאף אחד בדיון הזה (ובפרט לאנשים חכמים בהרבה ממני), אני חושש שהבעיה אינה רק בי. |
|
||||
|
||||
גדי, לפחות הפנה אותי לתורת-קבוצות, שבה סופרפוזיציה (כפי שהגדרתי כמטריצה בין יתירות לאי-וודאות) הינה מושג מכונן. |
|
||||
|
||||
אני מבטיח שאעשה את זה ברגע שאבין מהי סופרפוזיציה, אם כי אני חושד שאין תורת קבוצות שכזו - במתמטיקה לרוב מנסים לבחור בתור ''מושג מכונן'' מושגים פשוטים ככל הניתן, שמהם בונים את המושגים המורכבים, ולא לקחת כמושגים מכוננים מושגים מורכבים ואחרי זה לנסות להסביר איתם דברים פשוטים. |
|
||||
|
||||
המתמטיקה-המונדית משתמשת במקרה הנדון בשני מושגים מכוננים והם סידרתיות ומקביליות. מושגים אלה הם עצמאיים-הדדית, ולכן אם לא השתמשת בשניהם במסגרת תורה מתמטית יסודית כמו תורת קבוצות, לא יהיה באפשרותך לחקור את המושג החסר בשום רמת מחקר פשוטה או מורכבת. המתמטיקה-המודרנית אינה משתמשת במקביליות כתכונת יסוד שלה, ושום פיתוח מורכב של סידרתיות לא יאפשר לך לדמות מקביליות באמצעים סדרתיים. נתתי דוגמא פשוטה להפליא על סופרפוזיציה ב-תגובה 342792 והיות ולא שאלת דבר בקשר לדוגמא זו, הנחתי שאתה מבין אותה, אך לפי תגובתך כנראה שטעיתי. |
|
||||
|
||||
דורון, דבר אחד איני מבין לאורך הדיון כולו והוא מדוע ההתעקשות לקרוא לתיאוריה שלך מתמטיקה. משתתפים בדיון לפחות שני בעלי דוקטורט במתמטיקה, ולא מעט בעלי תואר ראשון במתמטיקה, וכולם אומרים לך ש''זו לא מתמטיקה''. עיסוק בתודעה באופן כללי שייך לתחומים כמו פסיכולוגיה או פילוסופיה. אז מדוע חשוב לך כל כך שדבריך יתקבלו על ידי מתמטיקאים דווקא. יותר מזה, רבים מהמושגים שאתה משתמש בהם קשורים באופן הדוק למושגים שהתפתחו בתחומים שבהן שיטות חשיבה פוסט מודרניות הצליחו לקבל נתח משמעותי יותר מאשר המתמטיקה. לוגיקה הדוחה את מושג הסתירה למשל היא רעיון נחמד, אבל לא רעיון מתמטי אלא רעיון פילוסופי, ושדה הפעולה שבו צריך לדון אם יש לה ערך או לא היא לא עם עוזי ו. או עם גדי אלא עם אנשים בעלי ידע בפילוסופיה. מושגים אחרים שאתה משתמש בהם קשורים באופן הדוק לתיאוריות פסיכואנליטיות מסוימות (בעיקר יש קשרים בין תפיסת הגישור שלך לבין אובייקטים של מעבר ומרחבי המעבר המתוארים על ידי ויניקוט). שוב, הקהל שלך הוא קהל אחר - לא של מתמטיקאים. אם אתה רוצה לשחק במגרש המשחקים של המתמטיקאים, אתה חייב לקבל על עצמך לדבר בשפה שלהם. אם לא (ולדעתי אתה לא) אתה צריך למצוא את המילייה הנכון, כזה שכן עוסק בסוגיות שאתה מטפל בהן. |
|
||||
|
||||
משה כהן, קודם כל, תודה לך על תגובתך, אנסה להסביר את דרכי: "עיסוק בתודעה *באופן כללי* שייך לתחומים כמו פסיכולוגיה או פילוסופיה". מחקר התודעה שאני מנסה לנהל משתמש בלוגיקה משלימה, שבה שניי מושגים הופכיים מונעים ומשלימים סימולטנית את מרחב החקירה שביניהם, כאשר תוצרי אותו מרחב הם סינתיזה בין תיזה לאנטי-תיזה. ההפכים המכוננים של המחקר שלי הם רצף במובנו המקורי כאלמנט לא-ריק שאינו מכיל בתחומו שום תת-אלמנטים, וריקנות אשר כמובן לא מכילה שום תת-אלמנטים. רצף מוחלט וריקנות מוחלטת הם מצבים עצמאיים-הדדית (שאינם נגזרים זה מזה) ומרחב הגישור ביניהם הוא סינתיזה שבין אלמנט רציף ולא-לוקלי כמו קטע, ובין אלמנט בדיד ולוקלי כמו נקודה. הגישור בין הלוקלי והלא-לוקלי מאפשר חקירת מגוון המצבים שבין מקביליות (סופרפוזיציה) לסידרתיות. מתוך מחקר זה עולה, כי המתמטיקה-העכשווית מבוססת רק ואך ורק על הגישה הסדרתית המסתמכת על אוספים של אלמנטים לוקליים בלבד, כאשר אלמנטים אלה מתקיימים או בתוך האוסף {.} או מחוץ לאוסף .{}, כתוצאה מתכונת הלוקליות המובנית שלהם. עבודתי החוקרת את גישור שבין הלוקלי ללא-לוקלי, כוללת במסגרתה גם את האלמנט הלא-לוקלי המתקיים סימולטנית בתוך ומחוץ לאוסף _{_}. בכך משתנה מן היסוד מושג מכונן של המתמטיקה-המודרנית, והוא מושג השייכות, והשינוי מתבטא כבר ברמה הלוגית, שהופכת מלוגיקת סתירה בין הפכים ללוגיקת סינתיזה בין הפכים. ההבחנה הקטגורית שבין רצף לבדידיות משנה מן היסוד את הבנת מושג האינסוף, כי עתה קיימים שניי מצבי-יסוד לאינסוף שהם: א) אינסוף מוחלט, המייוצג באופן מינימלי ע"י קו רציף ללא התחלה וללא סוף. ב) אינסוף יחסי, המבוסס על המושג "הרבה..." ומיוצג ע"י אוסף של אלמנטים הקיימים על פניי אינסוף רמות של אינטרפולציה ואקסטרפולציה תלויי קנה-מידה, אשר אין בכוחם להשיג את האינסוף המוחלט. אי-יכולת השגה זו מאפשרת הבחנה קטגורית בין אוסף אינסופי אשר (אין לא קרדינל מדוייק) לאוסף סופי, אשר יש לו קרדינל מדוייק וקרדינל מדוייק זה קיים מכיוון שאוסף סופי אינו שואף להשיג את האינסוף המוחלט. בדבריי אלה נגעתי בקיצור נמרץ בנושאי מחקריי, והסתמכות על התובנות המכוננות שלהם משנה מן היסוד מושגים מכוננים של המתמטיקה-המודרנית כמו אינסוף, שייכות, גבול, מספר, לוגיקה, תלות ואי-תלות, מספר, פונקציה, אריתמטיקה וכו. הערך המוסף והחשוב ביותר הוא ביסוסה של שפת המתמטיקה על תכונותיה הלא-אישיות של התודעה כמו זכרון (רצף) ומחשבות (אוסף) המאפשרות הכנסת החוקר עצמו ותהליך החקירה עצמו למרחב החקירה של שפת המתמטיקה כאשר הכלה זו מאפשרת פיתוחה של "שפת הטכנולוגיה-של-התודעה" הנסמכת על שיטות מתמטיות מדויקות. הקהילה המתמטית העכשווית רואה בתובנות הנ"ל מערכת זרה ומוזרה, אשר אינה עולה בקנה אחד עם מערכת התובנות המכוננות של קהילתם, ובצדק. אני מודה ומתוודה כי תובנותיי שונות באופן עמוק ויסודי מהתובנות המכוננות של קהילת המתמטיקאים העכשווית, אך דבר זה לא מונע מבעדי מלנסות ולשתף אחרים בתובנותי, וב-4 שנים האחרונות יצאתי נשכר עד מאוד, דווקא בזכות נסיונותיי לשתף אנשים מקהילת המתמטיקאים העכשווית בתובנותיי, ולכן כשלוני להסביר את תובנותי לאנשי קהילת המתמטיקאים עד כה, אינו משמש כגורם מכריע להפסקת הדיאלוג (שבשלב זה הוא יותר מונולוג) מצידי. |
|
||||
|
||||
ובכל זאת, מדוע דווקא מתמטיקאים? המתמטיקה רוצה לעסוק במשהו אחר ממה שאתה עוסק בו. מדוע חשוב לך שמתמטיקאים דווקא יודו שמה שאתה עושה הוא חשוב או משמעותי. ושאלה אחרת ונפרדת היא מדוע אתה לא מציג את עבודותיך לפני מלייה מתאים לשיפוט של עבודות אלה. |
|
||||
|
||||
"המתמטיקה רוצה לעסוק במשהו אחר ממה שאתה עוסק בו" באמת ניסיתי למצוא את המתמטיקה כדי לדבר איתה פנים אל פנים, אבל משום מה נתקלתי תמיד רק במתמטיקאים שיודעים מה המתמטיקה רוצה, אבל מתברר שאף אחד מהמטיקאים האלה לא פגש אישית את המתמטיקה, ומה שהיא רוצה מבוסס על שמועות בלבד. "מדוע חשוב לך שמתמטיקאים דווקא יודו שמה שאתה עושה הוא חשוב או משמעותי". ועכשיו ברצינות. כפי שאמרתי משה, לדעתי, אין אובייקט שנקרא מתמטיקה אלא הסכם בין קהילה של אנשים, הקובעים במסגרת קהילתם מה זה עיסוק במתמטיקה ומה זה לא עיסוק במתמטיקה. דעתם של מתמטיקאים בנושא זה אינה מעניינת אותי, ואיני חפץ בהכרתם או באי-הכרתם. הדבר היחיד שמענייו אותי הוא הדו-שיח עצמו וההפתעות שהוא טומן בחובו לפיתוח התובנות שלי. "מדוע אתה לא מציג את עבודותיך לפני מלייה מתאים לשיפוט של עבודות אלה." מזה מלייה? |
|
||||
|
||||
ע"פ m-w.com: milieu: the physical or social setting in which something occurs or develops
|
|
||||
|
||||
אני אנסה שוב: כמו שאמרת, מתמטיקה היא הסכם בין קהילה של אנשים, הקובעים מה זה עיסוק במתמטיקה. למה אתה פונה לאנשים הללו דווקא, שלדעתם מה שאתה הוא לא עיסוק במתמטיקה. יש אנשים שעוסקים בתחומי דעת אחרים שכן מדברים בשפה שלך, ולפחות לא דוחים אותה על הסף. למה בחרת דווקא את המתמטיקאים כבני שיח? לפי הקריאה בדיון לא מעט מהמתדיינים הבינו את התיאוריה שלך אבל הם אינם מקבלים אותה, או (אם אני מבין נכון), היא נראית להם בלתי משמעותית לחקר המתמטיקה (כפי שהם מגדירים אותה). אבל ייתכן שקיימת קבוצת אנשים אחרים, חוקרים או אנשי דעת בתחום אחר, שעבורם המהלכים המחשבתיים שעשית הם כן משמעותיים או מעניינים. מה שמחזיר אותי שוב לשאלה: למה חשוב לך שדווקא אנשים שעוסקים במתמטיקה פורמלית יהיו בני השיח שלך? |
|
||||
|
||||
ברשותך, אני אנסה לענות על התהיה שלך. תורות דקונסטרוקטיביות שכל התוכן שלהן הוא היומרה לפורר משהו, זקוקות וניזונות מן הקונפרונטציה. זה פחות מהנה (ופחות מעצים עצמית) לדבר על הכשל בן 2500 השנים של המתמטיקה, כשאין מתמטיקאים בקהל. ללא הקונפרונטציה, שדמי יצטרך לעבוד יותר קשה כדי לנסח ולהגיד משהו באמת מעניין (משהו קונסרוקטיבי ר"ל). הערה נוספת: שים לב לפורמאט הויזואלי של המאמרים שמקשר אליהם שדמי ולנסיון בהם להתחקות אחר סגנון כתיבה שנפוץ במאמרים מאת קהילת המדעים המדויקים (מאמרים במדעי החברה לא נראים כך, למשל). זה נראה כמו פרודיה (אבל של מישהו שלא התכוון להצחיק). שדמי הוא למתמטיקה מש-GM היא לשדמי (לי פשוט יש פחות כוח להמשיך). |
|
||||
|
||||
לא שקראתי הרבה מהם, אבל אני מבטיח לך שגם מאמרים במדעים מדוייקים לא נראים כך. |
|
||||
|
||||
זאת משום שאתה כנראה מתייחס לתוכן. אם אתה מדבר על אי הבהירות, הבלאגן הכללי וההגדרות הרופפות, ברור שאני מסכים שמאמרים במדעים המדויקים ממש לא נראים ככה, אבל לא על זה אני מדבר. אני מדבר על הנסיון להתחקות אחר הויזואליה, על הצגת הנושא באמצעות הגדרה פסאודו מדויקת של המושגים לפני השימוש בהם, על הצגת הדברים כהתיחסות אל עבודות קודמות של הכותב ושל אחרים, על היומרה לפורמליסטיקה, על השרטוטים ועל ה-"Abstract" שמתנוסס לו בתחילת המאמר. אם הייתי מנסה לייצר פרודיה על מאמרים שנכתבים באקדמיה, לא הייתי מצליח לייצר תוצאה מוצלחת יותר ממאמריו של שדמי. ממני הוא מקבל מברוק. |
|
||||
|
||||
"אם אתה מדבר על אי הבהירות, הבלאגן הכללי וההגדרות הרופפות" אביב, צריך שניים בשביל טנגו. האם עלה בדעתך כי אי-הבהירות הבלאגן הכללי וההגדרות הרופפות, הן תוצר ישיר של מגבלותיך, ואינם קשורים לעבודתי? |
|
||||
|
||||
אם לאי-בהירות וכיו"ב שמזכיר אביב אחראי רק אביב בעצמו, אז מי השני בטנגו הזה? |
|
||||
|
||||
"תורות דקונסטרוקטיביות שכל התוכן שלהן הוא היומרה לפורר משהו, זקוקות וניזונות מן הקונפרונטציה." אביב, רעיונותי הן *קונסטרוקציה* אשר אינה עולה בקנה אחד עם הקונסטרוקציה של הנחות יסוד במתמטיקה הסטנדרטית. היות ואין ביכולתך לעקוב ולהבין את הקונסטרוקציה שאני מעלה לדיון, אתה נטפל אל צורת הייצוג ומנסה להסיק ממנה על התוכן. התוצאה היא פרודיה מעוררת רחמים, שלמזלך רק אני (בשלב זה) מודע לעליבותה. |
|
||||
|
||||
אביב, הבה ונבחן את תלותה של מערכת מספרים בהגדרות *הריגורוזיות* של מערכות חישוב שונות. הדגם נא לי את מערכת החישוב, שבה 1 אינו שווה ל-...999. 0 הריי עושרה של המתמטיקה הקיימת בוודאי יכול להדגים זאת, בדיוק באותה דרך שבה המתמטיקה הקיימת מגדירה 0=1+1 באריממטיקת-שעון בבסיס 2. נו, אז חלץ מותניך והדגם נא כיצד אינו שווה ל-...999. 0 , ואל נא תאמר "הדבר אינו ניתן" , כי הריי למדנו שמתמטיקה הינה תלויית הקשר. |
|
||||
|
||||
נגדיר את הספרות מחדש, במקום 4 נרשום 7, במקום 7 נרשום 0 ובמקום 0 נרשום 4. לכן, 0.999999999... לא שווה ל1 (אלא ל-5). נעבוד בבסיס 11, כך שבין הספרה 9 למספר 10, קיים מספר נוסף, A, ולכן 0.99999 לא שווה ל1. נגדיר מחדש את הסיומון של הנקודה העשרונית, כך ש 0.ABCD... יהיה שווה ל 0+ 1/(A+1/(B+1/...))) |
|
||||
|
||||
בכל הדוגמאות שלך שינית את הייצוגים כדי שה*סימן* 9 לא ייצג את המשמעות שיש לו בבסיס 10. המתמטיקה הסטנדרטית טוענת, לדוגמא, ש: 0.222…[base 3] = 0.999…[base 10] = 1 אני מוכיח שטענה זו שגויה ב-http://www.geocities.com/complementarytheory/no1.pdf ולכן:0.999…[base 10] not= 1 [base 10] אשמך לתגובתכם.
|
|
||||
|
||||
אין לי שום כוונה להכנס לדיון בשאלה הנצחית של 0.999 (הספיק לי אחד כזה, ארוך למדי, בכתה ז'). בכל אופן, הערה אחת לפני שהעסק מסתבך: אין כאן שום שאלה של "נכון" או "לא נכון". כשאנחנו כותבים שבר עשרוני סופי, ברור למה הכוונה (עשירית אחת, ועוד 4 מאיות, ועוד אלפית אחת). אם יודעים לחבר שני מספרים, אז יודעים לחבר כל מספר סופי של מחוברים באינדוקציה. מכאן לא נובע שום כלל לגבי חיבור של מספר אינסופי של שברים (ולזה הכוונה בשבר אינסופי). אתה יכול להחליט ש"אין כזה דבר" סכום של אינסוף מספרים (ואז תאבד את כל האנליזה המתמטית, יחד עם המספרים הממשיים עצמם); שיהיה. באותה מידה אפשר להחליט שאין מספרים גדולים מ-17 (ולכן הביטוי 8+14 אינו מוגדר, והשוויון 12=8-(5+15) אינו נכון). הרבה יותר מעניין להסכים שסכום כזה מוגדר בתנאים מסויימים (ושווה לגבול של סדרת הסכומים החלקיים, אם הוא קיים). אם מקבלים את ההנחה הזו, אז הסכום אכן שווה (וזהה, בדיוק ולחלוטין, ללא שום טעות, סטיה או שארית ושאר מרעין בישין) למספר הטבעי 1. |
|
||||
|
||||
ב"שלוש מהפכות קופרניקיות", זאב בכלר עושה בדיוק את זה: מסרב לקבל את הגדרת הגבול של קושי, אומר שהיא לא מגדירה סכום אלא "סכום", טוען שהיא משחק בסמלים ומביא את כל זה כדוגמה ל"החלקה אל הריקנות" ולחיזוק הטענה שהפרדוקסים של זנון לא נפתרו. הפסקתי לקרוא את הספר (די בכעס) אחרי שקראתי את זה. |
|
||||
|
||||
באמת חשוב לציין שההחלטה לאמץ דווקא את ההגדרה שנבחרה עבור הסכום של אינסוף מספרים נובעת מכמה סיבות מצויינות: כך נוח לפיזיקאים לעבוד (כלומר, ההגדרה הזו פותרת את הפרדוקס של זנון); ובנוסף ההגדרה מקיימת כמה תכונות אריתמטיות נוחות ("אופרטור הגבול הוא ליניארי ורציף" במרחב המתאים). מי שלא רוצה לאמץ את ההגדרה הזו, שיבושם לו. המתמטיקה עוסקת בהפרדת התוכן, המהותי, מן הצורה החיצונית; טרחנים מזהים בצהלה שאפשר להעמיס על התוכן צורות שונות ומשונות, ולהעמיק-חקור בהבדלים ביניהן. כך יוצא ש- 1 איננו שווה ל- ...0.999 (שתי צורות, תוכן אחד). |
|
||||
|
||||
אילו הגדרות אחרות (פרט ל"סכום של אינסוף איברים שונים מאפס הוא אינסוף") יש או ניתן להעלות על הדעת? אני מכיר את הסיפור על אוילר שהציב בנוסחת הסכום של סדרה הנדסית אינסופית את מינוס 1 והגיע למסקנה שסכום הגבול הוא חצי, אבל זו לא בדיוק הגדרה. |
|
||||
|
||||
אולי אביב י. ירצה לפתח מתמטיקה הפטומנית, שבה הסכום של כל טור אינסופי הוא חמש. אפשר הרי להגדיר איך שרוצים (אבל הגדרות חסרות תובנה (!) מולידות תאוריה נורא משעממת). את ההגדרה הרגילה אפשר להכליל (כמו שאוילר עשה) במה שנקרא 'שיטות סיכום' (sumability). הגדרה משמעותית אחרת (שנותנת תוצאות אחרות) אפשר לקבל אם בוחרים השלמות לא-ארכימדיות של המספרים הרציונליים. |
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
"אתה יכול להחליט ש"אין כזה דבר" סכום של אינסוף מספרים (ואז תאבד את כל האנליזה המתמטית, יחד עם המספרים הממשיים עצמם); " טעות בידך עוזי, אתה מעשיר לאין ערוך את האנליזה המתמטית בכך שאתה מבין שיש הבדל קטגורי בין אוסף סדור או לא סדור אינסופי לבין אוסף סדור או לא סדור סופי, כאשר לאוסף אינסופי לא קיים קרדינל מדוייק כי הוא שואף להשיג את האינסוף הרציף לחלוטין ולכן אוסף אינסופי הוא לא-שלם אינהרנטית. לעומתו אוסף סופי הינו אוסף שאינו שואף להשיג את הרצף המוחלט, ולכן יש לו קרדינל מדוייק. לכן כל סדרה אינסופית שונה קטגורית ממיקום מדוייק כלשהו לאורך הישר (הרציף לחלוטין) הממשי, וכתוצאה מכך: Pi not= 3.14… [base 10] ומושג ההפרש עולה על הבמה במקום מושג הגבול ומעשיר לאין ערוך את אנליזת הישר-הממשי, כפי שמודגם בבהירות רבה ב-http://www.createforum.com/phpbb/viewtopic.php?t=39&... .1/3 not= 0.333… [base 10] 2/3 not= 0.666… [base 10] 1 not= 0.999… [base 10] 0.111... [base 2] > 0.222... [base 3] < ... < 0.999... [base 10] < ... < 1 "הרבה יותר מעניין להסכים שסכום כזה מוגדר בתנאים מסויימים (ושווה לגבול של סדרת הסכומים החלקיים, אם הוא קיים). אם מקבלים את ההנחה הזו, אז הסכום אכן שווה (וזהה, בדיוק ולחלוטין, ללא שום טעות, סטיה או שארית ושאר מרעין בישין) למספר הטבעי 1." נהפוך הוא, הנחה זו מחסלת, פשוטו כמשמעו, את העושר הטמון באנליזת הישר-הממשי. הנה קטע מ-http://www.createforum.com/phpbb/viewtopic.php?t=45&... המתאר בבהירות רבה מדוע מחקר המבוסס על הבחנה קטיגורית שבין רצף מוחלט אינסופי, אוסף אינסופי ואוסף סופי, מעשירים את המחקר המתמטי הרבה מעבר למחקר המבוסס על הטרנספיניטים של קנטור: If the Identity map of a non-finite collection does not exist, then its exact cardinality does not exist and the Natural numbers’ cardinality is |N|-Successor, because the Successor is permanently out of our desirable “complete” domain.
Let @ be |N|-Successor If A = @ and B = @-2^@, then A > B by 2^@, where both A and B are collections of infinitely many elements. Also 3^@ > 2^@ > @ > @-1 etc. So as we can see, in my universe I have both non-finite collections and unique arithmetic between non-finite collections, which its result is always a non-finite collection. My results are richer than the Cantorean transfinite universe, for example: By Cantor aleph0 = aleph0+1 , by me @+1 > @ . By Cantor aleph0<2^aleph0 , by me @<2^@ . By Cantor aleph0-2^aleph0 is undefined, by me @-2^@ < @ . By Cantor 3^aleph0 = 2^aleph0 > aleph0 and aleph0-1 is problematic. By me 3^@ > 2^@ > @ > @-1 etc. |{{1,1,…}+1, 1,1,1}| > |{{1,1,…}+1}| by |{1,1,1}|. |{{1,1,…}+1,{1,1,…}+1}| = |{{1},{1}}|•@ > |{{1,1,…}+1}| by |{1}|•@ and |{{{1,1,…}+1, 1,1,…}+1}| = |{{1},1}|•@ > |{{1,1,…}+1}| by |{1}|•@ but they have different internal structures ( {{1},{1}} and {{1},1} ). |
|
||||
|
||||
תיקון טעות בתגובה קודמת: במקום: 0.111... [base 2] > 0.222... [base 3] < ... < 0.999... [base 10] < ... < 1 צריך להיות:0.111... [base 2] < 0.222... [base 3] < ... < 0.999... [base 10] < ... < 1
|
|
||||
|
||||
שאלה לי אליך: מה *משותף* לשלושת הביטויים הבאים: 1+1, 2, 1.999...? |
|
||||
|
||||
ל- 1+1 ו-2 יש גודל מצטבר משותף. |
|
||||
|
||||
תודה. המתמטיקה מתעסקת בעיקר ביחסים שבין אובייקטים. אם יש לי שני אובייקטים שונים (לדוגמה, "1+1" ו-"2") שאין שום קשר ביניהם, אין בהם שום דבר מעניין. אם יש להם משהו משותף ("גודל מצטבר") אז אני אתעסק דווקא בו, ולא אקדיש את זמני לחקר ההבדלים ביניהם. עושה רושם שאתה מייחס יותר מדי חשיבות ל"עושר" של תורה מתמטית, כאשר תורה נחשבת ליותר "עשירה" ככל שהיא מתעסקת ביותר אובייקטים שונים. מצטער, אבל אין שום דבר מעניין באובייקטים שונים שאין ביניהם יחסים כלשהם. |
|
||||
|
||||
אייל, בוודאי שיש קשר בין 1+1 ו-2. 2 מייצג את הצד הרציף של 1,1 ורצף זה משמש כבסיס היציב לחקירת המרחב הפנימי של מובחנות המתקיימת בין {1,1} (MULTISET) ל-{1,{1}} (SET). ZF או פיאנו מגבילים עצמם רק ואך ורק למובחנות {1,{1}} (SET), ולכן המספר הטבעי הרגיל הינו מקרה פרטי של המתמטיקה-המונדית. "אם יש להם משהו משותף ("גודל מצטבר") אז אני אתעסק דווקא בו" "מצטער, אבל אין שום דבר מעניין באובייקטים שונים שאין ביניהם יחסים כלשהם." במתמטיקה המונדית אתה יכול לבחור עם להתעסק רק עם סטים, מולטי-סטים, או כל סינתיזה (מערכת היחסים העשירה) שביניהם. |
|
||||
|
||||
בהמשך לתגובה 343215 ניתן לטעון כי תרשים אינו הגדרה ריגורוזית במתמטיקה, ולכן הוא אינו אומר דבר וחצי-דבר על האלמנטים המתמטיים עצמם, המוגדרים *ריגורוזית* בהתאם למערכת אקסיומות קונסיסטנטית, כאשר אלמנטים אלה הם תלויי-הקשר וכו'. כנגד טענות מעין אלה, רוצה אני להדגיש כי בפירוש אין להבין את התרשים כפשוטו ויש להתייחס אליו כייצוג בלבד של רעיון *מופשט בהחלט*, כאשר הרעיון המופשט הינו שילוב סדור בין מצבים לוקליים (המיוצגים בתרשים כאלמנטים אנכיים) למצבים לא-לוקליים (המיוצגים בתרשים כאלמנטים אופקיים). המצבים הלוקליים מתקיימים רק ואך ורק מחוץ לאוסף .{} xor בתוכו {.}, בעוד שמצבים לא-לוקליים מתקיימים, בין השאר, סימולטנית בתוך ומחץ לאוסף _{_}, ובכך מורחב מושג השייכות לשילוב שבין אלמנטים לוקליים לאלמנטים לא-לוקליים, ואחת התוצאות הינה קיומם של אלמנטים לאורך הישר (הרציף-לחלוטין) הממשי, אשר מיקומם המדוייק אינו בנמצא, כי אלמנטים אלה הם שילוב של לוקליות ואי-לוקליות, כמייוצג ב-http://www.geocities.com/complementarytheory/no1.pdf . יותר בכך, התובנה המתעוררת בתרשים הנ"ל מתחילה להרהר בכל שיטת הייצוג הלינארית ולשאול את עצמה האם שיטת ייצוג זו למעשה הינה השתקפות של צורת חשיבה המוגבלת לתובנות לינאריות, ובעזרת שאלות מעין אלה מתחילה התודעה לבחון את האפשרות כי שפת המתמטיקה המודרנית הינה היזון-חוזר סגור שבין תובנות לינאריות לשיטות ייצוג לינאריות וחוזר חלילה, אשר מונעות את התפתחות כישורי החשיבה המקביליים של התודעה. |
|
||||
|
||||
אתה באמת חושב שלא שמנו לב להבדל בין "אוסף סדור או לא סדור אינסופי לבין אוסף סדור או לא סדור סופי"? בוודאי שיש הבדל. החידוש הגדול של האנליזה המתמטית הוא ש*למרות* ההבדל, אפשר לטפל בקבוצות אינסופיות באופן עקבי שיוצר מבנים מעניינים, וגם פותר בעיות מדעיות. שים לב באיזו עקביות אתה מנסה "להעשיר" את המתמטיקה על-ידי קביעה קטגורית שאי-אפשר לעשות דברים (כמו שיפור מהירות הריצה על-ידי קשירת שתי הרגליים): - אי-אפשר לחבר שני מספרים טבעיים, כי יש להם "מבנה פנימי". - אי-אפשר לתאר את הרצף כקבוצה, כי הוא מלא ב"מלאות". - אי-אפשר לחשב עוצמה של קבוצה אינסופית, כי היא "לא שלמה אינהרנטית" - אי-אפשר לסכם טורים אינסופיים, בגלל ה"הפרש". הכיוון צריך להיות הפוך: - אפשר לחבר מספרים טבעיים, למרות שגודל של קבוצה הוא מושג מופשט - אפשר לתאר את הרצף באמצעות תורת הקבוצות, למרות שלכאורה הוא אובייקט מסוג אחר - אפשר להגדיר מושג עקבי של "גודל" אפילו לקבוצות אינסופיות - אפשר לסכם טורים אינסופיים ולקבל מספר אפשר להפריד עיקר מטפל. |
|
||||
|
||||
"שים לב באיזו עקביות אתה מנסה "להעשיר" את המתמטיקה על-ידי קביעה קטגורית שאי-אפשר לעשות דברים (כמו שיפור מהירות הריצה על-ידי קשירת שתי הרגליים): - אי-אפשר לחבר שני מספרים טבעיים, כי יש להם "מבנה פנימי". - אי-אפשר לתאר את הרצף כקבוצה, כי הוא מלא ב"מלאות". - אי-אפשר לחשב עוצמה של קבוצה אינסופית, כי היא "לא שלמה אינהרנטית" - אי-אפשר לסכם טורים אינסופיים, בגלל ה"הפרש". 1) - אי-אפשר לחבר שני מספרים טבעיים, כי יש להם "מבנה פנימי". לא נכון, תוצאת החיבור (או כל פעולה אריתמטית אחרת) מאפשרת (אם חפצים בכך) לשמר את המבנה הפנימי של המספרים הטבעיים. כמו כן, פעולות כמו כפל וחיבור מקיימות יחסים משלימים בתוך המרחב הפנימי של מספר טבעי, או יחסים במרחב חיצוני כמקובל במתמטיקה הרגילה, העוסקים בשינויי גודל בלבד. המתמטיקה הרגילה מוגבלת רק ליחסים במרחב חיצוני, בעוד שבמתמטיקה-המונדית אנו יכולים לנייד כרצוננו בין המרחבים. 2) אי-אפשר לתאר את הרצף כקבוצה, כי הוא מלא ב"מלאות". לא נכון, מושג הקבוצה עובר שידרוג, ועתה הוא מרחב חקירה ריק לחלוטין, מלא לחלוטין או מכיל אוספים של אלמנטים לוקליים, אלמנטים לא-לוקליים, או קומבינציות שלהם. במילים אחרות, המגבלה קבוצה = אוסף או העדרו, אינה קיימות עוד. 3) אי-אפשר לחשב עוצמה של קבוצה אינסופית, כי היא "לא שלמה אינהרנטית". במקום הדלילות של העולם הטרנספיניטי, אנו מקבלים מרחב חקירה עשיר לאין ערוך, הנובע ישירות מהיותם של אוספים אינסופיים, בלתי-שלמים אינהרנטית (כפי שמודגם בבירור בסוף תגובה 343215). 4) אי-אפשר לסכם טורים אינסופיים, בגלל ה"הפרש". אין שום בעייה ולהשתמש לצורך זה במושג ההפרש , כי סיכום טורים אינסופיים הינו מעבר מאוסף אינסופי לאוסף סופי כרצונינו. ההבדל היחיד הוא שעתה אנו מודעים למעבר זה, ובמתמטיקה הרגילה מתעלמים ממנו. |
|
||||
|
||||
בחייך. כנופיה של אנשים קצרי ראות ושטופי מוח חושבת שיש לה מונופול על המושג ''מתמטיקה'' ואינה מוכנה לראות מעבר לקצה חוטמה המקונטר. לא איש כדורון יברח מהמערכה לפקוח את עיני העיורים האלה. |
|
||||
|
||||
המערכה היא בראשך, אין לי שום רצון או כוונה ''לפקוח עיעני עוורים''. |
|
||||
|
||||
''לפי הקריאה בדיון לא מעט מהמתדיינים הבינו את התיאוריה שלך'' הדגם נא לי את ההבנה שמצאת אצל המתדיינים לתיאוריה שלי. כפי שאמרתי משה, הבנתם או אי-הבנתם של המשתמשים אינה המניע העיקרי שלי בדיונים אלה, אלא התובנות המתפתחות בי כתוצאה מהם. |
|
||||
|
||||
לדוגמא, אני יכול לומר לך מה מחיר הנסיעה בקו 45 גם בלי לדעת מה שם אימו של הנהג. האחריות כוללת את היכולת לבודד גורמים לא רלוונטיים. לגבי הציור {x,x,x,x,x,x,x}, כשתחליט מה זה, חבורת האוטומורפיזמים תהיה החבורה הטריוויאלית, או חבורת הסימטריות של 7 עצמים, כפי שגדי ציין בתגובה 342511. |
|
||||
|
||||
"האחריות כוללת את היכולת לבודד גורמים לא רלוונטיים" "אי-מובחנות" הינה גורם רלוונטי במקרה הנדון, ולכן אינך יכול לקבוע דבר לפני שהבנת אותו לאשורו. היות ובחרת, משום מה להתייחס רק לתגובתו של גדי, תוך התעלמות מתשובותי אליו, אקבץ אותם בשבילך בתגובה זו. יתירות: קיים יותר מהעתק אחד של אותה יישות. אי-וודאות: קיימת יותר מזהות אחת לאותה יישות. אי-מובחנות: סופרפוזיציה בין איברי קבוצה לא-ריקה כמטריצה של אי-וודאות / יתירות. דוגמא להמחשה:http://www.geocities.com/complementarytheory/RB2.jpg סופרפוזיציה הינו מצב המערכת טרם המדידה. המדידה גורמת לקריסת מטריצת האי-וודאות/יתירות עד למצב של מובחנות מלאה בין איברי הקבוצה. המתמטיקה הרגילה מתעלמת כליל ממצבי קריסה אלה ולכן מערכת המספרים שלה מבוססת רק ואך ורק על קבוצות עם איברים מובחנים בלבד. המתמטיקה-המונדית עוסקת בחקירת כל שלבי הקריסה של קרדינלים > 1, לדוגמא: הגדר נא עוזי, לדוגמא, את חבורת האיזומורפיזמים של אי-מובחנות 4 , לפי הנ"ל. |
|
||||
|
||||
שאלה: אמרת שיתירות זה קיום של יותר מהעתק אחד של *אותה* ישות (הדגשה שלי). למשל, אתה מדבר על{x,x}. אבל שני הxים *אינם* אותה ישות, הם רשומים במקומות שונים על המסך. איך ייתכנו עותקים של *אותה* ישות? ברור שברגע שיש עותקים, הם לא אותה ישות. |
|
||||
|
||||
היות ולא ניתן להבחין בין המקור להעתק, הריי שכל העתק הוא גם המקור. אם תחליף ביניהם, לא תבחין בהחלפה. |
|
||||
|
||||
מה זאת אומרת "תחליף ביניהם"? הרי המיקום על המסך הוא חלק מהתכונות שלהם. ברגע שתקח את הx השמאלי ותזיז אותו לימין זה כאילו שלקחת אותו וצבעת אותו בכחול במקום בשחור. |
|
||||
|
||||
אני רואה שאנשים מתחילים ליישם את התובנות של GM (וזה רק לאחר שתי תגובות בנושא). זה יפה. |
|
||||
|
||||
אתה לא מזיז כלום, כי החילוף לא מתבצע ע''י גרירה אלא ע''י קפיצה קוואנטית. |
|
||||
|
||||
אתה צוחק, נכון? |
|
||||
|
||||
ממש לא. כך מתבצע חילוף קוואנטי. |
|
||||
|
||||
לא צוחק. בכל אופן זה לא משנה את העובדה ששני הסימנים נמצאים במקום אחר במסך ולכן לא יכולים להיות העתקים של *אותה* ישות, שבכלל נמצאת במקום שלישי. להגיד שהחילוף נעשה באופן"קוונטי" זה כמו להגיש שהצבע שלהם משתנה באופן "קוונטי". |
|
||||
|
||||
"בכל אופן זה לא משנה את העובדה ששני הסימנים נמצאים במקום אחר במסך ולכן לא יכולים להיות העתקים של *אותה* ישות" אתה מנסה להפריד בין מושג ההעתק למושג המקור באופן הבא: קיימים שניי אלמנטים אבל אף אחד מהם אינו זהה לאלמנט שלישי, שהוא המקור שלהם ולכן, כדבריך, "לא יכולים להיות העתקים של *אותה* ישות". בזה אתה כבר משתמש במצב המובחן היטב שבו מתקיימים X1, X2 ו-X3 כאלמנטים השונים זה מזה, כאשר השוני מבוסס על מיקומם השונה. אני מתאר מצב אחר לחלוטין והוא: אני מתייחס רק ואך ורק לזהות ביניהם *שאינה תלויית מיקום*. וזהות זו היא *אותה יישות*. במצב זה לא קיימת ישות שלישית אלא שני Xים שכל אחד מהם הוא בו-זמנית גם ההעתק וגם המקור. נגיד ש-1 הוא סימן למקור ו-2 הוא סימן להעתק, אך היות ומערכת שני ה-Xים שלנו היא בסופרפוזיציה (כל אחד מהאלמנטים הוא גם המקור וגם ההעתק) אז מצב הסופרפוזיציה מייוצג כ-{X12,X12}. כדי לקבוע מיהו ההעתק ומיהו המקור, אנו גורמים באופן שרירותי לחלוטין לקריסת מצב הסופרפוזיה ומכריעים לאחד ורק לאחד משניי המצבים הבאים: {X1,X2} xor {X2,X1} המערכת שאני חוקר עוסקת באלמנטים המתקיימים ממצב הסופרפוזיציה המלא, ועד למצב קרוס מלא בהינתן קרדינל > 1, ואלמנטים אלה הן תבניות-המידע הבסיסיות שעליהן פועלת המתמטיקה-המונדית.במילים אחרות, המתמטיקה-המונדית מבוססת על תורת-קבוצות קוואנטית אמיתית, שבה יתירות ואי-וודאות הן תכונות מסדר ראשון, המאפשרים חקירה שיטתית של מושג האי-מובחנות כבר מרמת היסוד של התיאוריה. |
|
||||
|
||||
כשאתה אומר "קוואנטי" למה אתה מתכוון? |
|
||||
|
||||
למצב הסופרפוזיציה כתכונת יסוד לקיומו של אוסף. המתמטיקה העכשווית מתעלמת לחלוטין ממצב זה כתכונת יסוד של תורת-קבוצות, ובונה את מערכת המושגים היסודיים שלה רק ואך ורק על צורת חשיבה לנארית *סדרתית*, שמעצם טבעה היא אינה מסוגלת לחקור מצבים *מקביליים* כמו סופרפוזיציה. |
|
||||
|
||||
דמיין שני מרחבים: אחד מהם כולל שתי גומיות המונחות זו לצד זו, והשני כולל שתי גומיות שלובות. אם לא מרשים לגזור או להדביק, אז אין אפשרות לעבור ממצב אחד למצב שני בתוך המרחב התלת-ממדי הרגיל שלנו. אבל אם היינו חיים במרחב ממימד גבוה יותר (או לפחות מרשים לגומיות לחיות שם), אז לא היתה שום בעיה. במקום זה, אפשר 'להקפיץ' מרחב אחד לשני, בלי להתחשב במרחב שעוטף את הגומיות. לזה דורון מתכוון ב"קוואנטי". |
|
||||
|
||||
אתה חושב שלזה דורון התכוון במושג "קוואנטי"? אני דווקא פירשתי אותו אחרת, כמושג הרבה יותר דומה לרעיונות מתחום הקוואנטיים בפיזיקה. אחת הטענות הבסיסיות של דורון היא שהמתמטיקה הנורמלית שגויה כי היא לא מתייחסת לתודעה 1. כדי להצדיק את הטענה הזאת, דורון היה צריך לטעון שהתודעה של החוקר משפיעה על מושא החקירה המתמטי. מכאן ועד לדיבור על "אי-וודאות", "סופרפוזיציה" ו"קריסה" של אובייקטים מתמטיים הדרך קצרה. אז דורון מתחיל לייחס מאפייני אי-ודאות לאוביקטים מתמטיים. כך הקבוצה (סליחה, ה"אוסף") הופכת ל-MULTISET ("יתירות ואי-וודאות"), המספרים הופכים ל"מספרים קוואנטים" (רמות שונות של "מקביליות") וכו'. 1 זו טענה שקולה-בערך לטענה לפיה המתמטיקה מתעלמת מ"הרצף", כי בתודעה יש אלמנט "רציף". |
|
||||
|
||||
סתם-כך למצוא משמעויות זו לא חוכמה. החלטתי להגביל את עצמי לחיפוש משמעויות משמעותיות. |
|
||||
|
||||
אם כך חוששני שאתה לא בדיון הנכון. |
|
||||
|
||||
עוזי, שימוש בשניי מימדים בעלי תכונות מובחנות (2D ו- 3D) הינו מבוסס שוב על אוסף שאיבריו מובחנים היטב {2D,3D}. אני מדבר על סופרפוזיציה (על-מיקום} בין איברי אוסף לדוגמא: {D_2_3,D_2_3}
|
|
||||
|
||||
לא צריך לעשות מסופרפוזיציה כזה עניין גדול. בקומבינטוריקה קוראים לקבוצה שבה רוצים לשמור את מספר ההופעות של כל איבר - multiset. |
|
||||
|
||||
"בקומבינטוריקה קוראים לקבוצה שבה רוצים לשמור את מספר ההופעות של כל איבר - multiset" מצויין, האם תוכל נא להפנות אותי לתורת-קבוצות שאיבריה מבוססים על סינתיזה שבין SET ל-MULTISET ? |
|
||||
|
||||
בשביל מה סינתזה? מצד אחד, כל קבוצה (set) היא multiset שבה כל האיברים מופיעים פעם אחת - כלומר, מקרה פרטי של multiset. מצד שני, כדי לטפל ב- multisets בצורה מדוייקת, אפשר לתאר כל multiset כקבוצה; למשל, {a,a,a,b,b,b,b,c} היא הקבוצה שאיבריה הם שלושת הזוגות הסדורים {(a,3),(b,4),(c,1)} (וכמובן כל זוג סדור הוא קבוצה). בשלב הזה אתה נוטה לשאול איך אפשר לתאר multisets (או רצף, או מלאות, או סינתזה, או אי-וודאות) *בלי להשתמש בקבוצות*, והתשובה היא שאין שום צורך. היופי של תורת הקבוצות הוא שלא התגלה עדיין אף מבנה מתמטי מעניין שאי-אפשר לתאר במסגרת הזו. |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |