בתשובה לדורון שדמי, 06/09/05 14:58
 |
|
 |
||
|
||||
 |
תודה. ראשית, תגובה 327845 לחלוטין לא קשורה לשאלה שלי. השאלה שלי רלוונטית באותה מידה לעבודות בפסיכולוגיה ולעבודות במתמטיקה. שנית, לא ציינת את זה, אבל בעיניי ברור לחלוטין שהערכה כזו צריכה להתבצע ע"י אדם עם כלים מתאימים. למשל, אני לא חושב שאני מסוגל להעריך את העבודה שלך; אבל אני אקבל הערכה של אנשים שיש להם הכשרה אקדמית1 במתמטיקה - כל עוד הם יטענו לגבי הערך המתמטי של העבודה שלך. הדעה שלהם תהיה הרבה פחות משמעותית אם הם ינסו לטעון משהו לגבי הערך הפילוסופי של העבודה שלך. כמו כן, תסכים איתי שלא צריכה להיות "זכות וטו" ליוצר העבודה, כי אז נגלה למרבה ההפתעה שלכל העבודות יש ערך. למיטב ידיעתי, אין מתמטיקאים שהודיעו שיש ערך משמעותי לעבודה שלך. לכן, מעניין אותי לדעת האם אחת מהמתמטיקאים\יות שהתדיינו איתך כאן, עשתה לשיטתה מאמץ כנה והוגן להעריך את העבודה שלך, ומהי המסקנה שלה. יש מתנדבים בקהל? כמובן, המתנדבים יאלצו להצדיק את ההערכה שלהם בפני דורון שדמי וקבל קהל האיילים הקוראים. ראו הוזהרתם! 1 ולמעשה עדיף הכשרה מעבר לתואר הראשון... |
 |
 |
 |
|
|
|
||
|
||||
|
לי יש הכשרה שלא עוברת אפילו את התואר הראשון. לא הבנתי כלום מהדברים שעליהם דורון דיבר פרט לכך שהוא מוסיף קבוצה שנקראת ''הקבוצה המלאה'' ומכילה איבר יחיד לאוסף הקבוצות הקיימות, ושהוא מבדיל עבור כל מספר בין הדרכים השונות שבהן ניתן לקודד אותו באמצעות קבוצות. התחושה שלי היא שרוב מה שהוא מדבר עליו קשור לפילוסופיה של המתמטיקה, לא למתמטיקה. | |
|
|
|
|
|
||
|
||||
|
גדי, לאחר שקראת את איאן סטיוארט אתה ודאי מבין כי כדי לשנות את הפרדיגמה של המתמטיקה נחוץ שינוי מזערי בפרט אחד יסודי. ובכן, לדעתי, התואר שלך במתמטיקה, הוא לא רלוונטי כעת.. משה |
|
|
|
|
|
|
||
|
||||
|
בוודאי, אלא שאתה ודאי מבין שלא מספיק שינוי מזערי בפרט יסודי, צריך גם שהשינוי הזה יהיה בעל משמעות ושאפשר יהיה להבין מה עשו בו. אני למשל יכול לערוך את השינוי הבא: להכניס למתמטיקה את מושג ה"סופרפוזיציה" שפירושו שאיבר יכול להיות שייך לקבוצה או לא שייך לקבוצה או שייך ולא שייך לקבוצה בו זמנית. נהדר. עכשיו השאלה היא מה יצא לי מזה. התשובה: אין לי מושג. עכשיו, את השינוי שהצעתי למעלה אני מניח שאתה יכול להבין, וכך גם שאר הקוראים. את מה שדורון מדבר עליו אני פשוט לא מבין, כי הוא משתמש במילים שהוא לא מגדיר והקונוטציות המתמטיות שלהן שונות מאוד מהמשמעות שאליה הוא כנראה מכוון ("רצף", "שלם", וכדומה). |
|
|
|
|
|
|
||
|
||||
|
נכון, ובאמת לא ברור למה הוא מתעקש לערב את הרעיונות המתמטיים הלא ברורים שלו כמעט בכל תגובה, במקום להשאר עם הפילוסופיה. הפילוסופיה שהוא מציג, אגב, דווקא די מעניינת, למרות שקשה לאתר אותה בין מאות התגובות: "ואפילו אם ניתן להוכיח משפטים בעזרת מחשב, זה לא אומר דבר וחצי דבר על טיבם של מערכות אקסיומטיות, כי הן המערכת הנבחנת, והן המחשב, הן תוצר פרי תודעתנו, והמחשב אינו אלא סוכן או שלוחה שלנו עצמנו, כך שאין פה שום דבר עמוק, אלא עוד שיטה להתעלמות מקיומה של תודעת המתמטיקאי כגורם משמעותי המשפיע על התוצאות." וכן כדאי לקרוא את תגובה 327384 (רק את התגובה עצמה). |
|
|
|
|
|
|
||
|
||||
|
"נכון, ובאמת לא ברור למה הוא מתעקש לערב את הרעיונות המתמטיים הלא ברורים שלו כמעט בכל תגובה, במקום להשאר עם הפילוסופיה." אייל צעיר אנא הגב לתגובה 328032 תודה. |
|
|
|
|
|
|
||
|
||||
|
אח של אייל, יופי של הצעה, הוגנת סבירה ומכובדת ביותר אני מקווה כי אחד המתמטיקאים כאן ( או אחד החברים יכול להפנות למתמטיקאי ) יקח את האתגר ברצינות ויעריך את העבודה של דורון וגם ינמק. הנה נקודת מוצא אפשרית לביקורת על המתמטיקה מונדית שיצר דורון שדמי ב 20 השנים האחרונות: נלקח מתוך הספר : מי מכיר ויטגנשטיין בהוצאת זמורה ביתן בעמוד 132 : -------------------------------------------------------- אין למתמטיקה יסוד בתורת הקבוצות או בכל תיאוריה אחרת. היא תלןיה בצורת החיים שלנו. לו היינו חוצנים אינטליגנטיים ש "רואים" רק את הקצה ה "אינפרה אדום" של קשת הצבעים, שמתקדמים רק בפיתולים, שקל להם יותר לדמות בעינני רוחם "בקבוק קליין" בחלל ארבע מימדי מאשר לדמות טבעת בשלשה ממדים, ושנצרימה ערבה לאוזנם - הייתה יכולה להיות לנו מתמטיקה אחרת " -------------------------------------------------------- אני באמת שמח שאלון עמית כתב את המאמר, אבל נדמה לי שהיום דורון ראוי להתיחסות רצינית ומעמיקה שתבקר אותו , אך באמת. משה קליין טבעון |
|
|
|
|
|
|
||
|
||||
|
לאלון עמית ולעוזי ו. יש דוקטורט במתמטיקה. אא''ט, עוזי גם לימד מתמטיקה בייל. | |
|
|
|
|
|
||
|
||||
|
ידעתי שלאלון יש דוקטורט במתמטיקה אבל לא ידעתי שלעוזי יש, יופי, ובכל אופן תודה לך על המידע. ( אני מקווה להשלים את הדוקטורט שלי במתמטיקה בתוך כשנתיים ) משה |
|
|
|
|
|
 |
||
|
||||
|
(מה עם הדוקטורט באמת?) | |
|
|
|
|
|
||
|
||||
|
''לאלון עמית ולעוזי ו. יש דוקטורט במתמטיקה. אא''ט, עוזי גם לימד מתמטיקה בייל.'' אשמח לפתוח בדיון גלוי ופתוח על עבודתי עם שניהם ביחד וכל אחד לחוד. אני ממתין בתקווה. |
|
|
|
|
|
|
||
|
||||
|
אלון, כנראה, לא יפתח בדיון גלוי, אבל עוזי ו. ניסה כמה פעמים. נסה לענות לשאלות שהוא העלה ב http://www.haayal.co.il/search?SearchStr=&Search... (מי אמר שמנוע החיפוש לא עובד?) אותי, מסיבות מובנות, מעניינת במיוחד התשובה לתגובה 326874. |
|
|
|
|
|
|
||
|
||||
|
לגבי החוצנים - אני חושב שזו טענה מאד מפוקפקת, שנובעת מהבנה לקויה של המתמטיקה המודרנית. מה זה משנה איזה צבעים אתה רואה, איך אתה מתקדם, או איזו מוזיקה אתה אוהב1? כשצריך לחקור מושג יסודי כמו מרחק, אתה נאלץ להבין מרחבים מטריים, ואז בעל כרחך תצטרך להמציא טופולוגיה. החבורה היסודית תופיע במוקדם או במאוחר, לא חשוב כמה אוזניים יש לך. 1 החלק של בקבוק קליין ש"קל יותר לדמיין" מאשר טבעות מרוקן את הטענה מתוכן. אני לא מאמין שזה אפשרי. |
|
|
|
|
|
|
||
|
||||
|
נניח שאתה רואה ספינת חייזרים ואתה רוצה לתקשר איתם ולהראות שאתה יצור תבוני. כל מה שאתה מסוגל לעשות הוא לשלוח אותות של 0 ו- 1 (טוב, "נקודות" ו"קווים"). מה תנסה לשלוח? | |
|
|
|
|
|
||
|
||||
|
בתור התחלה, כדי שידעו שאני יצור תבוני ולא אסטרואיד עם סמל מדינת ישראל על הכנף? הייתי משדר 01101010001010001010001000001010000010001010001000001000001 וחוזר על המסר כמה פעמים. (ההנחה האנתרופוצנטרית שלי היא שגם תמנון מעופף עם לחץ פנימי של 70 בר יודע מהם מספרים ראשוניים). |
|
|
|
|
|
|
||
|
||||
|
משעשע. לארי ניבן וג'רי פורנל (ב"הקיסם בעינו של אלוהים") חשבו דווקא לשלוח את פאי בבסיס 2 אם אני זוכר נכון (ועוד מהצד החייזרי אל בני האדם). | |
|
|
|
|
|
||
|
||||
|
אמ... נראה לי שכל שידור ממקור לא טבעי (סתם שידור אות קבוע באורך גל שלא מופיע באופן טבעי) די ישכנע אותם שמדובר ביצור תבוני. כלומר, 11111111.... לפחות את החברה ב-seti זה היה משכנע. אבל, אם ממש ממש מתעקשים להתחכם, אפשר לשלוח את הסדרה הבאה: 000000001111111110101010 וחוזר חלילה. |
|
|
|
|
|
|
||
|
||||
|
יש רעיון מיוחד מאחורי הסדרה? | |
|
|
|
|
|
||
|
||||
|
סדרות מחזוריות זה לא רעיון טוב (פולסארים מתמחים בכאלה). | |
|
|
|
|
|
||
|
||||
|
יש חתימה עמוקה יותר ויסודית יותר ממספרים ראשוניים, וזהו מרחב-הגישור של התודעה עצמה, המתקיים בין סימטריה מקבילית לסימטריה-שבורה-סידרתית, לדוגמא אנא עיין ב: תודה. |
|
|
|
|
|
|
||
|
||||
|
הקישור שלך סוף סוף שכנע אותי שיש חיים תבוניים על כדור הארץ. ברכותיי. ועכשיו, אם תואיל לקחת אותי אל המנהיג שלך, אני אמנע מלהשמיד את מרחב-הגישור של התודעה שלך (מעניין, בכוכב שלנו, דווקא מרחב-הגישור בין הירכיים נחשב הכי רגיש לכאב). |
|
|
|
|
|
|
||
|
||||
|
תוכל להדגים את הסדרה? אם לאנושות לוקח כל כך הרבה שנים לקלוט את זה 1, למה להניח שחייזרים יבינו שלרצף הזה יש משמעות ושהוא אינו אקראי? 1 ולהערכת רובנו, ואני בתוכם, האנושות לא תכיר את הסדרה הזאת כ"סדרה בסיסית" לעולם. |
|
|
|
|
|
|
||
|
||||
|
אתה חושב שזה מספיק ברור? אני הייתי משדר: 100100010000010000000100000000000100000000000001 וכו'. כך אין צורך לדעת איפה הסדרה מתחילה. בכל מקרה שנינו (טוב, אני לפחות) גנבנו מסאגאן ואני בטוח שזה לא רעיון מקורי שלו. |
|
|
|
|
|
|
||
|
||||
|
אתה צודק. אני קראתי על זה איפשהו הרבה לפני שסאגאן הזכיר את זה, אבל אלוהים יודע איפה זה היה (כנראה פרימן דייסון?) ומתי (כנראה ראשית שנות השבעים?). שאלה שמישהו מידידי העלה בעקבות פרסומים על קתרינה: האם נכונה הטענה שהוריקנים נעים בכיוון מערב בחצי הכדור הצפוני ובכיוון הפוך בחצי הדרומי? וחידה בצידה: איך זה קשור (בין הפותרים יוגרל השיר "שמאל ימין" בביצוע שלי. ההשתתפות אסורה על פיזיקאים ומתמטיקאים בעלי תואר ראשון ומעלה). |
|
|
|
|
|
|
||
|
||||
|
"למיטב ידיעתי, אין מתמטיקאים שהודיעו שיש ערך משמעותי לעבודה שלך." הראה נא לי מתמטיקאי אחד בפורום זה, שבחן את ההשלכות של מושג הקבוצה-המלאה על תורת-הקבוצות, הלוגיקה, מושג המספר הטבעי והממשי, מושג האוסף האינסופי, מושג הגבול, מושג הפונקציה, וכו'. הוכח לי שההכשרה האקדמית מאפשרת בצורה חד-משמעית להתמודד עם מושג הקבוצה-המלאה והשלכותיה על הנ"ל. הוכח לי שלא היו אינם ולא יהיו אנשים מחוץ לקהילת מתמתטיקאים-המקצועיים, אשר יכולים לתרום תרומה משמעותית לשפת המתמטיקה. "יש מתנדבים בקהל?" אני מצפה להם בכיליון עיניים (ובראשם לאלון עמית) אך צר לי להודיע לך כי התגובה האופיינית למתמטיקאים בעלי תואר דוקטור ומעלה היא: "שום תגובה". ואני אומר לך את זה מתוך נסיונות התקשרות שלי ב-4 השנים האחרונות (באופן אישי ומכובד ולא בשיטת SPAM) עם יותר מ-1000 מתמטיקאים ברחבי העולם בתחומים הקשורים לוגיקה, תורת-הקבוצות, תורת-המספרים, קומבינטוריקה, אנליזת הישר-הממשי, תורת-הגראפים, ועוד. התחלתי עם מחקר מתמטי, ומצאתי את עצמי נגרר בעל כורחי לנסות להבין תופעה מוזרה ביותר של קבוצת אנשים אשר חונכה שלא ליצור שום קשר עם אדם שאינו שייך לקהילתם. אם הייתי שומע לפני כ-4 שנים מישהו מעיז לומר דברים כאלה נחרצים על קבוצה מגוונת של אנשים שאין הוא מכיר אותם אישית, הייתי דוחה את טענותיו על הסף כטענות מופרכות מיסודם ולא רציניות, הקשורות לבעיות אישיות ותיסכולים אישיים שלו. אך הניסיון הפרטני המצטבר (ואני מדגיש שוב: הפרטני) ליצור קשר אחד לאחד עם כ-1000 מתמטיקאים מקצועיים, הניב בדיוק 0 תוצאות. הייתי שמח אם אחד מהם היה כותב ולו את התגובה המינימלית ההכרחית מבחינתו על הצעתי לשיתוף פעולה איתו (כל ההתקשריות היו מבוססות על בקשה לבקורת, ואם אפשר גם שיתוף פעולה במחקר משותף), אך פשוט לא קעבלתי ולו תגובה אחת. כדי להיות הוגן, קיבלתי כ-20 תגובות שבהם מודיעים לי המכותבים כי הם אינם בקיאים מנושאים שאני מעלה ולכן נבצר מהם לדון איתי בעבודתי. רובם המכריע של האנשים שכן היו לי דיונים איתם הם סטודנטים לתואר ראשון ושני למתמטיקה ומדיע המחשב. דוגמא לדיון כזה ניתן לראות ב http://www.createforum.com/phpbb/viewtopic.php?t=27&... אני חושב שאחידות תגובה (שהיא: שום תגובה) זו של כ-1000 בני-אדם שונים מאיזורים ותרבויות שונות, אומרת משהו על תרבות הדיון (או על היכולת לדיון בכלל) בין אנשי קהילת המתמטיקאים המקצועיים. אני מכיר את ההסבר האומר:"אם אף אחד מ-1000 מתמטיקאים מקצועיים לא טרח ליצור איתך שום קשר, הריי זוהי הוכחה ברורה לאי-העניין המתמטי של עבודתך בעיניהם, ולכן זוהי עובדה שלעבודתך אין שום ערך במסגרת המתמטיקה". תשובתי לטענה זו היא:"כל עבודתי מבוססת על מושג אחד ויחיד והוא, הכלת מושג הקבוצה-המלאה במחקר המתמטי". פעולת ההכלה הנ"ל היא פשוטה בתכלית אך אף מתמטיקאי (וזאת עובדה) אינו מוצא לנכון, עד לרגע זה, לחקור את השלכותיה על המושגים המכוננים של שפת המתמטיקה כמו: לוגיקה, מושג הקבוצה, אוסף אינסופי, דדוקציה, מושג הגבול, מושג הפונקציה, מושג הישר-הממשי, המספר-הטבעי וכו'. |
|
|
|
|
|
|
||
|
||||
|
לא הצליחו לכבות אותך... אני לא יודע אם להתפעל מהדבקות במטרה או להחליט שמדובר באמת על כפייתיות במובן הפסיכולוגי. |
|
|
|
|
|
|
||
|
||||
|
נו , אז איך מתקדמת השותפות שלך במיקרוסופט. | |
|
|
|
|
|
||
|
||||
|
היא לא מתקדמת, היא במצב סטטי (7.5% מהמניות מספקים אותי בשלב זה). | |
|
|
|
|
|
||
|
||||
|
ולא היית רוצה להגדיל את הרווח שלך ? | |
|
|
|
|
|
||
|
||||
|
הוא פועל על הבטריות החדשות הללו. רק תמהני מהיכן אנשים לוקחים כל כך הרבה זמן לכתיבת המגילות הללו. אגב לדעתי הוא עלה על רעיון משמעותי כלומר הקבוצה המלאה. אבל זה לא מספיק כדי ליצור מתימטיקה חלופית. התכונות המיוחדות של הגבול הנ''ל כלומר רציפות מוחלטת ואי פריקות בהחלט יכול בפיתוח טוב להיות מנוע לגילוי קיצורי דרך ותופעות מתמטיות חדשות. אבל חובת ההוכחה עליו. כלומר האתגר שלו הוא לשים על השולחן את הפיתוחים הללו. להראות איזה תופעות הוא יכול לנבא ואיזה נקודות מבט חדשות אפשר להשתמש לקיצורי דרך ולפתרון בעיות שלא נפתרו. להדליק את האש הראשונה הוא כבר עשה. אבל זה רק מתאבן. |
|
|
|
|
|
|
||
|
||||
|
"הוא פועל על הבטריות החדשות הללו. רק תמהני מהיכן אנשים לוקחים כל כך הרבה זמן לכתיבת המגילות הללו. אגב לדעתי הוא עלה על רעיון משמעותי כלומר הקבוצה המלאה. אבל זה לא מספיק כדי ליצור מתימטיקה חלופית. התכונות המיוחדות של הגבול הנ"ל כלומר רציפות מוחלטת ואי פריקות בהחלט יכול בפיתוח טוב להיות מנוע לגילוי קיצורי דרך ותופעות מתמטיות חדשות. אבל חובת ההוכחה עליו. כלומר האתגר שלו הוא לשים על השולחן את הפיתוחים הללו. להראות איזה תופעות הוא יכול לנבא ואיזה נקודות מבט חדשות אפשר להשתמש לקיצורי דרך ולפתרון בעיות שלא נפתרו. להדליק את האש הראשונה הוא כבר עשה. אבל זה רק מתאבן." א) עשיתי זאת, אני עושה זאת וכל עוד אני עומד על דעתי אמשיך לעשות זאת. אתה מוזמן לדיאלוג איתי בפורום שפתחתי על עבודתי ב:http://www.createforum.com/phpbb/index.php?mforum=ge... ב) אני לא שחקן על במה המופיע בפני קהל צופים פסיבי, אלא אדם שעושה כמיטב יכולתו כדי לשתף אחרים בתובנותיו, כאשר הוא מצפה להשתתפות פעילה שלהם. כפי שאמרתי לאחרים אומר גם לך: כך נא את מושג הקבוצה-המלאה ובדוק את השפעתו בלוגיקה, ZF, מספרים-טבעיים, הישר-הממשי. אני רואה בך אדם מספיק בוגר, שלא צריך ליווי על כל צעד ושעל. אשמח לשתף איתך פעולה כמיטב יכולתי. |
|
|
|
|
|
|
||
|
||||
|
"אני לא יודע אם להתפעל מהדבקות במטרה או להחליט שמדובר באמת על כפייתיות במובן הפסיכולוגי." גש נא לגופו של עניין ולא לגופו (או נפשו) של אדם. בקצרה: אם אתה יודע מתמטיקה, הכל בה את הקבוצה-המלאה ובדוק את ההשפעה שיש למושג זה על תחומים כמ לוגיקה, תורת-הקבוצות, אנליזה של הישר-הממשי, המספר-הטבעי. |
|
|
|
|
|
|
||
|
||||
|
אני יותר שוטה מהשוטה, אבל כשהכללתי את המושג הזה במתמטיקה שאני מכיר לא ראיתי שקורה שום דבר. אני אנסה להסביר בצורה שונה מה הבעיה. אתה בוודאי מכיר את המבנה האלגברי שנקרא "חוג". בוא נניח שאנחנו לוקחים חוג ומעיפים את אקסיומת הדיסטריביוטיביות. מה קרה? יש לנו חבורה אבלית חיבורית שעל האיברים שלה מוגדרת גם פעולת כפל, אבל אין שום קשר בין הכפל והחיבור. פתאום אנחנו לא מסוגלים להגיד כמעט שום דבר מעניין על ה"חוג" החדש הזה. כך גם עם התיאוריה שלך: לא הצלחתי לראות מתי הבאת את תכונת ה"דיסטריביוטיביות" שלך - התכונה שמקשרת את ההמצאה החדשה שלך עם מה שקיים כרגע. |
|
|
|
|
|
|
||
|
||||
|
"כך גם עם התיאוריה שלך: לא הצלחתי לראות מתי הבאת את תכונת ה"דיסטריביוטיביות" שלך - התכונה שמקשרת את ההמצאה החדשה שלך עם מה שקיים כרגע." כדי להבין את עבודתי, אתה צריך להתחיל מהשאלות הפשוטות ביותר העולות על הדעת, כאלה שהם יותר פשוטות ממיון התובנות האלה במושגים של "חוג" וכו'. חשוב נא מה עולה בתודעתך כאשר אתה מגשר בין אלמנט רציף לאוסף סופי. |
|
|
|
|
|
|
||
|
||||
|
אה, הנה בעיה מס' 1: אלמנט רציף (כלומר, כזה שבאופן אינטואיטיבי הוא כולו מקשה אחת ואי אפשר לחשוב עליו כמורכב מאובייקטים קטנים יותר - *בניגוד* נניח לישר הממשי) נראה לי כמו האיבר הבודד של אוסף סופי בהחלט. האם אתה מציע שאסתכל עליו כעל אוסף של איברים? האמירה על החוג והדיסטריביוטיביות הייתה נסיון להמחיש את הנתק בעזרת דוגמה לנתק בתחום אחר, לא להגיד שאתה צריך להשתמש בתורת החוגים כדי להסביר את הרעיונות שלך. |
|
|
|
|
|
|
||
|
||||
|
"האם אתה מציע שאסתכל עליו כעל אוסף של איברים?" לא, בזמן הגישור בין אוסף לרצף, האוסף נשאר אוסף והרצף נשאר רצף. המרחב שצריך לעניין אותך הוא המרחב שבין הרצף לאוסף. |
|
|
|
|
|
|
||
|
||||
|
מה זה ה"מרחב" שבין האוסף לרצף? | |
|
|
|
|
|
||
|
||||
|
המילה ''מרחב'', במשמעויות שלה שנתקלתי בהן עד היום, מסמלת קבוצה של איברים. בכל מקרה, אם הוספנו לתורת הקבוצות רק את הקבוצה המלאה, אני לא רואה שום ''מרחב'' בין הקבוצות הקיימות ובין הקבוצה החדשה שהוספנו. |
|
|
|
|
|
|
||
|
||||
|
הבה נייצג את מושג הרצף ע" קטע ישר {____} ואת מושג האוסף נייצג ע"י כמות סופית של נקודות כגון{1,1,1} עתה אנו בוחנים את מרחב הגישור שבין הרצף לאוסף ע"י שימוש במושג הסימטריה, כאשר מרחב הגישור מתקיים בין מקביליות מלאה (המצב הסימטרי המכסימלי) לסידרתיות מלאה (המצב סימטרי המינימלי). הבה נראה את מרחבי הגישור הקיימים בין הקרדינלים 1 עד 6 : http://www.geocities.com/complementarytheory/parti1.... אקסיומות פאנו ו-ZF עוסקות רק ואך ורק באוספים סידרתיים לחלוטין ואינן עוסקות כלל באוספים מקביליים או מקביליים/סידרתיים.http://www.geocities.com/complementarytheory/parti2.... המתמטיקה-המונדית חוקרת את כל דרגות הסימטריה שבין המצב המקבילי המלא למצב הסדרתי המלא, ובכך נחשף לראשונה היקום המתמטי המתקיים בתוך כל קרדינל סופי נתון. היות והמתמטיקה-המונדית מתייחסת באופן ישיר וגלויי לקיומה של התודעה כגורם מרכזי מכונן של שפת המתמטיקה, אוסיף מיד ובגלוי כי מרחב הגישור המתואר לעיל הוא מרחב הגישור שבין רצף התודעה, המזוהה כתכונת הזכרון, לבין מושאי התודעה המזוהים כאוסף, כאשר הגישור עצמו מכונה פונקציית-גישור. פונקציית-הגישור של המתמטיקה-המונדית מתקיימת בין מצב מקבילי מלא למצב סדרתי מלא, בעוד שפונקציית-הגישור של המתמטיקה הרגילה עוסקת רק ואך ורק במצב הסדרתי המלא. מרחב-הגישור הפנימי של כל קרדינל נתון, שתואר זה עתה, מקיים יחס משלים בין שתיי פעולות חשבוניות כאשר במושג "משלים" אנו מתכוונים שפעולה חשבונית אחת הופכת בהדרגה לפעולה חשבונית שניה מבלי לשנות את ערך הקרדינל בעת השינוי. פעולת הכפל פועלת רק בין מצבים מקבילים פנימיים ופעולת החיבור פועלת רק בין מצבים סידרתיים פנימיים. לסיכום תגובה זו אציין כי בזכות ההבחנה הקטגורית בין מושג הרצף למושג האוסף, מתאפשר לנו לתאר באופן שטתי ומדוייק ביותר את פונקציות-הגישור של התודעה הפועלות בין תכונת הזיכרון לאוסף מושאי התודעה. |
|
|
|
|
|
|
||
|
||||
|
אני מצטער, אבל שוב אתה לא ברור, והלינקים שהבאת מזכירים לי קורס במעגלים אלקטרוניים. לי נראה ששוב אתה מתעסק בעצים הסדורים של עוזי (או לגישתי, בדרכים השונות לקודד מספרים בעזרת קבוצות). אני לא ממש רואה את הקשר לקבוצה המלאה. |
|
|
|
|
|
|
||
|
||||
|
לא הבנתי כלום. תוכל להסביר מה הן "מקביליות" ו"סדרתיות"? |
|
|
|
|
|
|
||
|
||||
|
תהא X קבוצה. נגדיר ברקורסיה "מצב פנימי" כקבוצה שהיא איבר של X או כקבוצה שהיא איבר של מצב פנימי של X. נאמר על שני מצבים פנימיים A,B שהם "מקבילים" אם קיים מצב פנימי C כך ש-A,B איברים של C. נאמר על מצב פנימי B שהוא סדרתי למצב פנימי A אם B הוא איבר של A. דוגמה למצבים מקבילים: {A,B} דוגמה למצבים סדרתיים: {{B}} כאשר A={B}. (ניתן לנסח, כמובן, גם בעזרת עצים ואז "מקבילים" הם בנים של אותה צומת ו"סדרתיים" הם פשוט אב ובן, אבל אני לא בטוח שזה מספיק low-level בשביל דורון. כאן לא השתמשתי בסדר כי לא ברור לי אם דורון באמת מנסה להשתמש בו) |
|
|
|
|
|
|
||
|
||||
|
או.קיי, תודה. עכשיו אני יכול לא להבין את תגובה 328032 בכללותה. |
|
|
|
|
|
|
||
|
||||
|
אני אעבור למונחי עצים כי זה יותר נוח: כל מספר טבעי n יכול להיות מיוצג על ידי כל העצים (הסדורים) בעלי n+1 צמתים. עץ שהוא "שרוך" (כל צומת מדרגה 2) ייקרא "סדרתיות מלאה". עץ מעומק 1 ייקרא "מקביליות מלאה". אנחנו נוהגים לזהות מספרים רק עם "שרוכים". פעולת העוקב על מספר מתבצעת על ידי הוספת צומת נוסף ל"שרוך". יש לך עוקב - יש לך את אקסיומות פאנו ואת האריתמטיקה. דורון מנסה איכשהו להגדיר פעולות אריתמטיות על עצים באופן כללי (רעיון נחמד - אני זוכר שפעם תהיתי בעצמי האם ניתן לראות קבוצות מסוימות של עצים בתור מרחבים וקטוריים). |
|
|
|
|
|
|
||
|
||||
|
זהירות. תכף יבוא דורון ויסביר לך שזה לא אותו דבר, שאתה מתעקש להשתמש בשפה שהיא מוגבלת מדי כדי להבין את הרעיונות שלו, שאתה לכוד בגישה שהאכילו אותך בה בממסד האקדמי, ושהגישה הדדוקטיבית הולכת להעלם מן העולם. |
|
|
|
|
|
|
||
|
||||
|
''ושהגישה הדדוקטיבית הולכת להעלם מן העולם.'' היות והגישה הדדוקטיבית מתעלמת המורכבות הקיום בסביבה אבולוציונית, היא תהפך במשך הזמן ללא משמעותית, כאשר קיומנו יהיה תלויי בניהול רמות מורכבות הרגישות למגוון הולך וגדל של סביבות קיום שונות ומשונות. |
|
|
|
|
|
|
||
|
||||
|
א) המאמר הזה והדיון שתחתיו עוסקים גם בתופעות פסיכולוגיות מסוימות. לכן זה אך טבעי לגשת במהלך הדיון אף לנפשו של אדם. ב) הכלתי, ולא הצלחתי להשתכנע באף אחת מההשלכות שאתה מייחס לתוספת הזאת. אני מוכן לעוד ניסיון קצר. הראה לי בבקשה, _צעד אחר צעד_, השלכה אחת (שלא חייבת להיות דרמטית במיוחד) של הגדרת הקבוצה המלאה. |
|
|
|
|
|
|
||
|
||||
|
אייל צעיר, אנא עיין בתגובה 328032 והבע נא את דעתך. תודה. |
|
|
|
|
|
|
||
|
||||
|
"הראה לי בבקשה, _צעד אחר צעד_, השלכה אחת (שלא חייבת להיות דרמטית במיוחד) של הגדרת הקבוצה המלאה." אוסף R אינו יכול ל"כסות" את הקבוצה-המלאה, אשר איננה מוגדרת כאוסף אלא כאלמנט אחד ויחיד אשר הוזכר ע"י קנטור כעוצמה העולה על עוצמת הטרנספיניטים ( http://en.wikipedia.org/wiki/Absolute_Infinite ) נובע מכך ששום אוסף אינו יכול להשיג את עוצמת הקבוצה-המלאה ולכן כל אוסף אינסופי אינו שלם בהכרח, ולכן הקרדינל המדוייק של אוסף אין סופי אינו קיים, מה שמוריד לטמיון את קיומו של העולם הטרנספיניטי עצמו. |
|
|
|
|
|
|
||
|
||||
|
"נובע מכך ששום אוסף אינו יכול להשיג את עוצמת הקבוצה-המלאה" גם אוסף סופי אינו יכול לעשות זאת, הלא כן? "ולכן כל אוסף אינסופי אינו שלם בהכרח" למה רק אינסופי? גם אוסף סופי, לפי הטיעון הזה, אינו שלם בהכרח. "ולכן הקרדינל המדוייק של אוסף אין סופי אינו קיים" ולכן גם הקרדינל המדוייק של אוסף סופי אינו קיים. הוכחת שאין דבר כזה, 17. "מה שמוריד לטמיון את קיומו של העולם הטרנספיניטי עצמו" כולל המספרים 1, 2, 3, ... שיורדים לטמיון. וואו. יש לך השלכה קצת פחות דרמטית? |
|
|
|
|
|
|
||
|
||||
|
שלום דקדקן, לאוסף סופי יש קרדינל מובחן, בעוד שלאוסף אינסופי איו קרדינל מובחן, ולכן אוסף סופי ואוסף אינסופי אינם נמצאים באותה קטגוריה. לפרטים טכניים אנא ראה את: ואשמח לתגובתך לתוכנו. תודה. |
|
|
|
|
|
|
||
|
||||
|
לא הבנתי. אני איטי, קצת סבלנות. אתה כתבת: "שום אוסף אינו יכול להשיג את עוצמת הקבוצה-המלאה". כתוב כאן "שום אוסף", ואני מבין מזה שזה נכון גם לאוסף סופי. נכון? יש אוסף סופי שיכול להשיג את עוצמת הקבוצה המלאה? תוכל לענות ב"כן" או "לא"? אח"כ כתבת: "ולכן כל אוסף אינסופי אינו שלם בהכרח". בגלל ה"ולכן" הזה שם בהתחלה, סברתי לתומי שמכך שאוסף אינו יכול להשיג את עוצמת הקבוצה המלאה, __נובע__ שהאוסף אינו שלם בהכרח. זה נכון? תוכל לענות ב"כן" או "לא"? אם זה נכון, אז מסתבר שגם אוסף סופי הוא לא שלם בהכרח, ולכן (לפי דבריך שלך) אין לו קרדינל מדוייק ואין לו קרדינל מובחן, מה שזה לא יהיה. אם זה לא נכון, אז ההסבר שלך לא שגוי: ה"ולכן" הזה הוא לפעמים נכון ולפעמים לא נכון. יש מבין? אתה מסוגל לענות בלי להפנות לעוד קישורים, או שזה נורא טכני, עמוק ומסובך? |
|
|
|
|
|
|
||
|
||||
|
דקדקן, טוב שאתה דקדקן. אז ככה: "אני כתבתי: "שום אוסף אינו יכול להשיג את עוצמת הקבוצה-המלאה" תיקון: "שום אוסף אינסופי אינו יכול להשיג את עוצמת הקבוצה-המלאה , לכן הקרדינל המדוייק של אוסף אינסופי אינו קיים" קיומו של קרדינל מדוייק של אוסף סופי אינו תלוי ביחס שלו לקבוצה-המלאה. |
|
|
|
|
|
|
||
|
||||
|
1. מקור: "שום אוסף אינו יכול להשיג את עוצמת הקבוצה-המלאה". 2. תיקון: "שום אוסף אינסופי אינו יכול להשיג את עוצמת הקבוצה-המלאה". 3. מסקנה: יש אוסף סופי שיכול להשיג את עוצמת הקבוצה המלאה. 4. הוכחה: אם אין אוסף כזה, אז הגרסה המקורית של המשפט נכונה ואין שום צורך בתיקון. אז דורון, יש או אין אוסף סופי כזה? אם יש, מהו? אם אין, למה תיקנת את המשפט? ואם הוא נכון כמו שהיה במקור, איך אתה מסביר את ההמשך? |
|
|
|
|
|
|
||
|
||||
|
. תיקון: "שום אוסף אינסופי אינו יכול להשיג את עוצמת הקבוצה-המלאה". 3. מסקנה: יש אוסף סופי שיכול להשיג את עוצמת הקבוצה המלאה." מסקנה שגויה מכיוון שאינך יכול להסיק דבר מהיחס של אוסף אינסופי לקבוצה-המלאה, למשהו הקשור לקבוצה סופית, כי הקרדינל של קבוצה סופית אינו תלויי ביחס של אוסף סופי לקבוצה-המלאה. מובן? |
|
|
|
|
|
|
||
|
||||
|
"מובן?" לא. אם מסקנתי שגויה, סימן שאין אוסף סופי כזה. אם אין אוסף סופי כזה, אז אתה מאוד מבולבל, שכן הכרזת במו-מקלדתך שהמשפט "שום אוסף אינו יכול להשיג את עוצמת הקבוצה-המלאה" היה __טעון תיקון__, ואז תיקנת ל"שום אוסף __אינסופי__...". ועכשיו אתה מסביר לי שגם אוסף סופי כזה אין, אז למה התיקון? אתה חוזר למצב ש__לפני__ התיקון, שבו אין שום אוסף שיכול וכו', לא סופי ולא אינסופי? |
|
|
|
|
|
|
||
|
||||
|
בו ואעזור לך דקדקן, תוכן הקבוצה המלאה ניתן לייצוג באופן המינימלי ההכרחי ע"י קו-ישר רציף לחלוטין (שאין בתחומו דבר למעט רציפותו המוחלטת) שאין לו התחלה ואין לו סוף. תוכן זה אינו ניתן להגדרה במונחים של אוסף, כאשר אוסף מחייב קיומו של לפחות אלמנט אחד *סופי*. ברור לחלוטין כי אוסף סופי מבוסס על כמות סופית ידועה היטב, של אלמנטים מובחנים היטב, ולכן הקרדינל (הכמות) של אוסף זה ידועה היטב ואיננה תלוייה כלל וכלל באיזה שהוא יחס לתוכן הקבוצה-המלאה. יותר מכך, אין אנו בוחנים את תוכן הקבוצה המלאה לפי מושג הכמות אלא לפי מושג המבנה, ועוצמת-הרצף של תוכן זה היא - פשוטו כמשמעו- הרציפות המוחלטת בהתגלמותה, שאיננה ניתנת לתיאור ע"י שימוש במושג הכמות. אוסף אינסופי אינו יכול להשיג את עוצמת-הרצף במובן המתואר לעיל מפני שכל אוסף אינסופי מכיל אינסוף אלמנטים מובחנים היטב, כאשר מצבים מובחנים אלה שוברים אינסוף פעמים את תכונת הרצף, המשוייכת רק ואך ורק לתוכן הקבוצה-המלאה, שהיא ורק היא הרציפות בהתגלמותה. כאשר אנו מבינים את הרצף בהתגלמותו, אנו מבינים מייד את הדברים הבאים: א) שום אוסף של אלמנטים מובחנים, אין לו את עוצמת הרצף, כי אוסף כזה שובר מבחינה מבנית את הרצף. ב) הרצף עצמו אינו ניתן לתיאור במונחים של אוסף כי אין בו שום תת-אלמטנים. ג) הכמות של אוסף סופי של אלמנטים מובחנים, ידועה היטב ואיננה קיימת כתוצאה מהשוואה בינה לבין הרצף המוחלט (שהייצוג המינימלי שלו הוא קו-ישר ללא התחלה וללא סוף, שאין בו אף תת-אלמנט בתחומו) ד) הכמות של אוסף אינסופי של אלמנטים מובחנים חייבת להיות לא ידועה, כי עם היא ידועה היטב, הריי היא בהכרח אוסף סופי. מצד שני, ברור לגמרי כי אוסף אינסופי של אלמנטים מובחנים אינו רציף (בהשוואה לתוכן הקבוצה-המלאה) ולכן אין לו את עוצמת-הרצף של תוכן הקבוצה המלאה, ולכן נובע מכך שהקרדינל המדוייק של אוסף אינסופי אינו בנמצא, ומזה נובע מיידית שהעולם הטרנספיניטי אינו בר-קיום. ה) היות והקרדינל המדוייק של אוסף סופי ידוע היטב, והקרדינל המדוייק של אוסף אינסופי אינו קיים, יש הפרדה ברורה לחלוטין בין אוסף סופי לאוסף אינסופי, או בקיצור נמרץ: אוסף סופי ואוסף אינסופי שייכים לקטגוריות נפרדות לחלוטין. מובן? |
|
|
|
|
|
|
||
|
||||
|
בלה, בלה, בלה. ואני רק שאלתי שאלה פשוטה: אוסף סופי יכול להשיג את עוצמת הקבוצה המלאה? התשובה לזה יכולה להיות "כן", והיא יכולה להיות "לא", או שאולי בלוגיקה האורגנית הלא-דדוקטיבית שלך זה אחרת? אם "כן", הייתי מבקש שתאמר לי איזה אוסף סופי עושה זאת. אם "לא", אז אני מחזיר את כבודו בנימוס לתגובה 328270, לתת לך צ'אנס לתקן את התיקון שכבר תיקנת. |
|
|
|
|
|
|
||
|
||||
|
"אוסף סופי יכול להשיג את עוצמת הקבוצה המלאה?" לא, והסיבה פשוטה בתכלית, כי תוכן הקבוצה-המלאה הוא רציפות מוחלטת אינסופית, ולכן מעצם הגדרה פשוטה זו אנו למדים, שהיות ואוסף סופי איננו אינסופי, הריי שאין לנו שום יכולת להשוות בינו לבין תוכן הקבוצה-המלאה. המצב שונה במקרה של אוסף אינסופי כי האינסוף משמש כאן כמושג משותף הניתן להשוואה, כאשר מדד ההשוואה הוא עוצמת-הרצף. כאשר מתבצעת ההשוואה, ברור לנו מיידית כי לאוסף אינסופי אין את עוצמת-הרצף של תוכן הקבוצה-המלאה. אחזור שנית: א) מבחינה מבנית ברור לגמריי ששום אוסף (סופי או אינסופי) אינו יכול להשיג את עוצמת-הרצף של תוכן הקבוצה-המלאה. ב) ברור לגמרי שאוסף סופי אינו ניתן להשוואה מבחינה כמותית לתוכן הקבוצה-המלאה כי אוסף סופי הוא סופי מעצם הגדרתו, ותוכן הקבוצה-המלאה הוא אינסופי מעצם הגדרתו. ג) ההשוואה בין אוסף אינסופי לתוכן הקבוצה-המלאה מתבססת על תכונת האינסופיות המשותפת לשניהם, אך אז ברור לחלוטין שמבחינה מבנית עוצמת-הרצף קיימת רק ואך ורק בתוכן הקבוצה-המלאה, ומייד אנו מבינים שהקרדינל המדוייק של כל אוסף אינסופי נתון, פשוט אינו קיים. יש מבין? |
|
|
|
|
|
|
||
|
||||
|
"תוכן הקבוצה-המלאה הוא רציפות מוחלטת אינסופית". טוב ויפה. אבל מדוע להסיק מזה ש*עוצמתה* היא עוצמת הרצף? רק מפני שכך קוראים לזה במתמטיקה? מדוע לא להסיק שעוצמת הקבוצה המלאה היא, פשוט, ברמה העולה על כל אינסוף אחר? (ואגב, בוויקיפדיה אין כל תזכורת לכך שקנטור "ויתר" על הקבוצה המלאה משיקולים דתיים. הוא רק אמר שהקבוצה המלאה היא אלוהים. לא נאמר שם כלום על ויתור). |
|
|
|
|
|
|
||
|
||||
|
אם כך, התיקון שלך את עצמך מקודם היה מיותר, ורק בעייה קטנה אחת נותרה: מקודם טענת "שום אוסף לא יכול להשיג את עוצמת הקבוצה המלאה, ולכן שום אוסף אינו שלם, ולכן לשום אוסף אין קרדינל מובחן". יש פה שרשרת של מסקנות ("א ולכן ב ולכן ג"), ועכשיו ראינו שאפשר להפעיל אותן בדיוק גם על אוספים סופיים (שכן גם הם לא יכולים וכו'). עכשיו אתה מביא נימוק אחר למה לאוסף סופי יש כן קרדינל מדוייק. יופי טופי, אבל זה עדיין סותר את מה שאמרת שם: לא יכול להשיג את עוצמת הרצף ---->> אין קרדינל מדוייק. האמת, סתם בא לי לראות אם אפשר להראות לך באופן חד-משמעי סתירה בתורה שלך, אבל זה די ברור שאתה קרנק מוכשר מדי בשביל ליפול בזוטות כאלה. אז שיהיה לך רק טוב ובהצלחה בלשכנע את כל מתמטיקאי העולם שהם עוורים. |
|
|
|
|
|
|
||
|
||||
|
"אם כך, התיקון שלך את עצמך מקודם היה מיותר," טעות בידך, בזכות הדקדקנות שלך, הראתי בצורה חד-משמעית כיצד אלמטים מתמטיים יסודיים כמו רצף ואוסף, נבחנים גם בזכות תכונותיהם הכמותיות וגם בזכות תכונותיהם המיבניות. "עכשיו אתה מביא נימוק אחר למה לאוסף סופי יש כן קרדינל מדוייק. יופי טופי, אבל זה עדיין סותר את מה שאמרת שם: לא יכול להשיג את עוצמת הרצף ---->> אין קרדינל מדוייק." לא, הרחבתי את ההסבר המראה בבירור כי יש להבין את הנאמר הן מהבחינה המבנית והן מהבחינה הכמותית. "האמת, סתם בא לי לראות אם אפשר להראות לך באופן חד-משמעי סתירה בתורה שלך, אבל זה די ברור שאתה קרנק מוכשר מדי בשביל ליפול בזוטות כאלה. אז שיהיה לך רק טוב ובהצלחה בלשכנע את כל מתמטיקאי העולם שהם עוורים." אם כך אתה מודה שלו באת לקיים איתי דיון אמיתי, אלא באת ל"עשות ניסוי בקרנק". הניסוי לא הצליח לך, אבל אני נשארתי קרנק בשבילך. לצערי אתה דוגמא חיה ליכולת ניהול הדיאלוגים של רבים מבני קהילתך (המתמטיקאים ה"טהורים") שהזדמן לי לנהל איתם דו-שיח ב-4השנים האחרונות דרך ה-Internet . אינך מתאר לך עד כמה אני מיצר על כך. |
|
|
|
|
|
|
||
|
||||
|
"ד) הכמות של אוסף אינסופי של אלמנטים מובחנים חייבת להיות לא ידועה, כי אם היא ידועה היטב, הריי היא בהכרח אוסף סופי." זו טענה מעגלית מובהקת, אלא אם יש הבדל טכני שאני לא מודע לו בין "ידועה" לבין "ידועה היטב". אגב, אפשר לפשט קצת את התסבוכת סביב מושג ה"עוצמה" אם מסכימים שאין כזה דבר בכלל (ברצינות). במקום להגיד "העוצמה של קבוצה A היא ...", נסתפק ב*השוואה* של עוצמות: "העוצמות של A ושל B שוות זו לזו אם ...", "העוצמה של A גדולה מזו של B אם ...". אחרי שרוכשים נסיון בכיוון הזה, אפשר להרשות גם מינוח מהסוג הראשון (בתנאי שזוכרים שאין לו משמעות). |
|
|
|
|
|
|
||
|
||||
|
אני זוכר שכשלמדתי תורת הקבוצות חשבתי על "עוצמה" בדרך שאתה מתאר כאן, ואחר כך מישהו (מרצה?) אמר לי שלעוצמות יש קיום עצמאי כלשהו. יש משמעות? | |
|
|
|
|
|
||
|
||||
|
בדרך כלל, מגדירים את המונים להיות הסודרים שאינה שקולים (העתקה חח''ע ועל) לסודר קטן מהם. העוצמה של קבוצה מוגדרת להיות המונה השקול לה. יש לזה חשיבות כשאתה רוצה להוכיח שכל שתי עוצמות ניתנות להשוואה. |
|
|
|
|
|
|
||
|
||||
|
לניסוח הזה של "מוגדרת להיות" (במקום, למשל, "מוגדרת בתור") יש איזו משמעות מיוחדת? | |
|
|
|
|
|
||
|
||||
|
לא. "מוגדרים להיות"=="מוגדרים בתור". | |
|
|
|
|
|
||
|
||||
|
מבחינה אתסטית-עברית, עדיף בעיני על שניהם ''מוגדרים כ-''. אולי קצת בעייתי בטקסט לא מנוקד כשהמלה הבאה מיודעת (כמו כאן). | |
|
|
|
|
|
||
|
||||
|
זה שוב אותו משחק. ה"אמת" היא שיש משמעות לעוצמה של קבוצה (=הסודר הקטן ביותר בעל אותה עוצמה (שימו לב לחוסר המעגליות של ההגדרה!), כפי שאורי הסביר). אבל בשלב מוקדם יותר בלימוד הנושא, אפשר להסתדר מצויין גם בלי העניין הזה. | |
|
|
|
|
|
||
|
||||
|
נהדר. העברת את הבעיה מבעיה של להבין מה זה עוצמות, ששייכות לשלב שבו עוד הקשבתי בהרצאה, לבעיה של להבין מה זה סודרים, ששייכים לשלב שבו אפילו המרצה כבר לא הקשיב. | |
|
|
|
|
|
||
|
||||
|
לא נכון - פתרתי אותך לגמרי מהצורך ''להבין מה זה עוצמות''. למי שאיננו מתעסק בתורת הקבוצות מספיק בדרך כלל ''להבין מתי שתי עוצמות שוות זו לזו'' (וזה הרבה יותר פשוט). | |
|
|
|
|
|
||
|
||||
|
כן, אבל אני דווקא רוצה לדעת מה זה עוצמות (טוב, עכשיו אני יותר רוצה לדעת מה זה סודרים, ולא לקרוא את קונווי בשביל זה) | |
|
|
|
|
|
||
|
||||
|
אתה תמיד יכול להתחיל כאן: לשאול את דרכך משם. |
|
|
|
|
|
|
||
|
||||
|
(שכר לימוד: אתה צריך לתרגם את הערך לעברית). | |
|
|
|
|
|
||
|
||||
|
הערך כבר קיים בעברית: |
|
|
|
|
|
|
||
|
||||
|
"זו טענה מעגלית מובהקת, אלא אם יש הבדל טכני שאני לא מודע לו בין "ידועה" לבין "ידועה היטב". ידועה היטב, זה אומר שיש לא ערך חדמשמעי וקבוע כמו לקרדינל של קבוצה סופית. מושג הקרדינל בשיטתי פותח אפשרויות מחקר רבות לאין ערוך בין קבוצות אין סופיות, מאשר שיטת המיפוי המקובלת, לדוגמא: 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} ). For further information, please read http://www.geocities.com/complementarytheory/Success... . |
|
|
|
|
|
|
||
|
||||
|
א) ההערות של הדקדקן מדויקות. ב) "ולכן הקרדינל המדוייק של אוסף אין סופי אינו קיים" - תוכל להסביר את ה"לכן" הזה? |
|
|
|
|
|
|
||
|
||||
|
''א) ההערות של הדקדקן מדויקות.'' כן, הן מדוייקות בריקנותן |
|
|
|
|
|
|
||
|
||||
|
לא, הן לא. אם אני אומר: "לכל הכלבים יש אף, ולכן הם הולכים על ארבע." ניתן להבין מכך שעבור כל x, אם יש ל-x אף, אז x הולך על ארבע. יכול הדקדקן לבוא ולומר לי: "אבל גם לבני אדם יש אף, והם לא הולכים על ארבע". בכך הוא יוכיח שהמילה "לכן" לא הייתה מתאימה במשפט הזה. גם אתה השתמשת במילה "לכן", לגבי קבוצות אינסופיות. בא הדקדקן והראה לך דוגמה נגדית לדרך ההיקש שלך: קבוצות סופיות. בכך הוא הראה שהשימוש שלך במילה "לכן" אינו שימוש תקין. נ.ב. אני עדיין מצפה לתשובה לסעיף ב'. |
|
|
|
|
|
|
||
|
||||
|
תגובתך עוסקת בשלבים מוקדמים של הדו-שיח בין הדקדקן לביני. כדי להבין במה דברים אמורים עיין נא ב: תגובה 328321 תגובה 328328 תודה. |
|
|
|
|
|
|
||
|
||||
|
נכון. תגובה זו עסקה בדבריו של הדקדקן שנאמרו בקשר לאותה תגובה לה הגבתי. זו הסיבה שציינתי את זה: זה היה רלוונטי לאותה תגובה. | |
|
|
|
|
|
||
|
||||
|
לקט תשובות של ילדי הגן דניאל ג: הם המציאו את המספרים ועשו חשבון עם מספרים. שי: הם כתבו באותיות ועשו חשבון עם אותיות. ארז : הם עשו מספרים של עצמם, הם אמרו מילים ויצא להם מספרים. דניאל י: הם ציירו צורות על הקירות, והצורות אמרו מה המספר, והם המציאו שמות למספרים. מתר: הם היו הממציאים וגם אנחנו ידענו מהם. גור: בשביל לדעת איך הקדמונים היו עושים חשבון צריך להסתכל באינציקלופדיה. יובל: הם ציירו ואז הם ראו מספרים מהצורות שבדימיון, ואז הם ידעו. ומאז שהם ידעו, והולידו אותנו אז ידענו לספור מאחד ועד עשר. אבל מעניין איזה מספר ראשון הם ידעו? { מה את חושבת?}, אני חושבת שהם ידעו את המספר אחד, אבל אני ידעתי קודם כל את חמש. יוני: הם עשו חשבון בציורים. תום: הם עשו חשבון באצבעות וגם עם זרעים של אוכל. נועם: אם הם רצו לעשות מספר יותר גדול עם האצבעות אז כל הקדמונים היו מתחברים ביחד. |
|
|
|
|
|
|
||
|
||||
|
דורון, אני באמת לא מבין אותך. האם אתה מעוניין להחזיק בעמדת המקופח, או מעוניין בהערכה לעבודה? עפ"י עדותך שלך נראה שאתה באמת מעוניין בהערכה, והערכה של מתמטיקאים. אז בוא תעשה, גם מצידך, את הצעדים המינימליים הנדרשים כדי שיקל עליהם להעריך אותה. אני בטוח שיצא לך לקרוא עבודות במתמטיקה שנחשבות בעלות ערך. אלון עמית עושה לך כאן שירות נהדר: הוא מפרט איזה אלמנטים נחשבים טרחניים מבחינת האקדמיה. אם כל העבודה שלך אכן מבוססת על הוספת הגדרה אחת בלבד - הקבוצה המלאה - אז כדאי להציג אותה בדיוק ככה, בלי כל אותם אלמנטיים טרחניים. אני בטוח שאם תשאל כאן, אנשים יצביעו לך בדיוק על אותם אלמנטים בעבודה שאפשר לוותר עליהם מבלי לפגוע בתוצאות המתמטיות. כמובן אין שום צורך לבטל את העבודה הקיימת שלך. פשוט, אל תגיש אותה להערכה בצורה הזו. אני מתחיל בימים אלה תיזה במדעי המחשב. הייתי שמח להגיש אותה בצורת מצגת דמו + תוכנה. אבל ברור לי שאף איש אקדמיה אפילו לא יטרח להגיב לאימייל כזה. אני נאלץ לכתוב עבודה, כנראה ב latex, עם רפרנסים למאמרים אחרים, הגדרות מתמטיות משמימות ועוד מריעין בישין. הדרישות האלו קשות ומרגיזות, אבל אני מקבל אותן בהשלמה. שאלתי את עצמי מה הייתי עושה לו הייתי בנעליך. מה שהייתי עושה זה מתחיל בקטן. הייתי לוקח רק את תורת הקבוצות המונדית וכותב על זה מאמר. הייתי מפרט באופן מפורש את האקסיומות של תורת הקבוצות הקיימות, ומראה בדיוק מהי התוספת שלי ומהם השינויים שלי. הייתי משווה את העבודה שלי לעבודות אחרות באותו נושא ומראה למה היא ייחודית או מעניינת (בהתייחס לתורת הקבוצות בלבד ולא לשום דבר אחר). הייתי נוטה לקבל הערות בעינייני טרמינולוגיה או ניסוח (כמו שנתנו לך לא מעט כאן) כי הרי אני רוצה שיבינו אותי. אם אתה באמת מעוניין בהערכה, אז קח את הנקודות האלו למחשבה.. |
|
|
|
|
|
|
||
|
||||
|
קהילת המתמטיקאים תדרוש הגדרות והוכחות פורמליות לתובנות של שדמי ותבדוק את עבודתו עפ"י כללי היסק מוסכמים. האם, לאחר קריאת דיון זה, אתה באמת חושב שיכולים להיות כללים כאלה? | |
|
|
|
|
|
||
|
||||
|
מה זאת אומרת מוסכמים? אם אתה מתכוון שכ-ו-ל-ם יסכימו לכללים האלה, אז לא. מצד שני, לא איבדתי את התקווה לגבי דורון שדמי. | |
|
|
|
|
|
||
|
||||
|
לא כ-ו-ל-ם, אלא רק שני הצדדים המנסים לברר יחדיו נכונות טענות. קרא את תגובה 328093 - השיח היחידי האפשרי בין מתמטיקאי שמנסה לברר את נכונות הרעויונות של שדמי לבין שדמי, הוא שיח חרשים. אלה יבקשו הגדרות "מוגדרות היטב" וסידרה של היסקים (עפ"י כללי היסק מוסכמים) שמובילים אותנו אל הדבר שצ"ל ודורון שדמי יענה להם בקישור אל אוסף של ציורים ש"שווים אלף מילים", בהילול עצמי על תובנותיו המבשרות את המהפכה וידחה *כל* ביקורת אפשרית ע"י הטענה שחשיבתו היא חשיבה מופשטת שאיננה תלויית-ייצוג. מצאת סתירה בטענות שלו? אתה שבוי בקונספציה של לוגיקה בוליאנית של נכון/לא נכון. מצאת אי בהירות בהגדרה? אתה לא תבוני מספיק. שאל עוד שאלות, קרא עוד מליון תגובות ובסוף תראה את האור. זה שאתה מצליח להבין תורות מורכבות של גאונים כמו אינשטיין ובכל זאת אתה לא מצליח להבין את שדמי, זו מגבלה שכלית שלך ולא של שדמי. לא ניתן לכתוב את הוכחת טענותיו של שדמי באמצעות מערכת ייצוג מוגדרת היטב? אין לך את הקישורים לחשיבה מופשטת. תשתחררררר. "לא איבדתי את התקווה" בעסה לך. |
|
|
|
|
|
|
||
|
||||
|
קישורים לחשיבה מופשטת: |
|
|
|
|
|
|
||
|
||||
|
יכול להיות שאתה צודק. אני חייב להגיד שחזית בצורה מאד קרובה את התגובות האחרונות של דורון שדמי. ממש עוברת לי צמרמורת בגוף :). |
|
|
|
|
|
|
||
|
||||
|
אין סיבה לצמרמורת :) היכולת העל טבעית שלי, בחיזוי אירועים שהתרחשו בעבר, לא צריכה להפחיד אותך. |
|
|
|
|
|
|
||
|
||||
|
אני מתחיל בימים אלה תיזה במדעי המחשב. הייתי שמח להגיש אותה בצורת מצגת דמו + תוכנה. אבל ברור לי שאף איש אקדמיה אפילו לא יטרח להגיב לאימייל כזה. אני נאלץ לכתוב עבודה, כנראה ב latex, עם רפרנסים למאמרים אחרים, הגדרות מתמטיות משמימות ועוד מריעין בישין. הדרישות האלו קשות ומרגיזות, אבל אני מקבל אותן בהשלמה. שאלתי את עצמי מה הייתי עושה לו הייתי בנעליך. מה שהייתי עושה זה מתחיל בקטן. הייתי לוקח רק את תורת הקבוצות המונדית וכותב על זה מאמר. הייתי מפרט באופן מפורש את האקסיומות של תורת הקבוצות הקיימות, ומראה בדיוק מהי התוספת שלי ומהם השינויים שלי. הייתי משווה את העבודה שלי לעבודות אחרות באותו נושא ומראה למה היא ייחודית או מעניינת (בהתייחס לתורת הקבוצות בלבד ולא לשום דבר אחר). הייתי נוטה לקבל הערות בעינייני טרמינולוגיה או ניסוח (כמו שנתנו לך לא מעט כאן) כי הרי אני רוצה שיבינו אותי. אם אתה באמת מעוניין בהערכה, אז קח את הנקודות האלו למחשבה.." ערכו של רעיון אמור להיות בלתי תלויי באופן הצגתו. זוהי בדיוק הטענה המרכזית של המתמטיקאים (שאני תומך בה בשתיי ידיים) המדגישים השכם והערב כי יש לפתח את יכולת החשיבה המופשטת באופן שלא תהיה תלויה בשיטת ייצוג כזו או אחרת. אך דיבורים לחוד ומעשים לחוד, זאת אומרת, שוב מתגלה שאין חינוך אמיתי לפתוח חשיבה מופשטת לא תלויית ייצוג בקרב המתמטיקאים המקצועיים, והם דורשים קטגורית צורת ייצוג אחת ויחידה המבוססת על מחרוזת לינארית של סמלים, כדרך היחידה להבין חשיבה מופשטת. אני איני שותף להגבלה שרירותית זו, אשר למעשה פוגעת ישירות ביכולתה של התודעה להשתמש במגוון אמצעים כדי לייצג את תובנותיה. הטענה שאיור אינו יכול לשמש כהוכחה ריגורוזית ומדוייקת לחלוטין של רעיון מופשט, היא טענה מופרכת מיסודה הסותרת את תובנת אי-התלות של חשיבה מופשטת בדרך הייצוג שלה. יותר מכך, לפעמים "תמונה אחת שווה אלף מילים" או במילים אחרות, איור אחד מסוגל לארגן בתוכו תובנה ריגורוזית באופן ישיר ומיידי ולחסוך את הצורך לייצג אותו בדרך טרחנית-לינארית של סימנים. יותר מכך, הניסיון לכפות את שיטת הייצוג הלניארי של נוטציות, פוגע קשות בהבנת התובנה עצמה באופן מיידי וישיר, ומצריך עיסוק טכני ארוך משמים ומתיש ואמצעי הייצוג עצמו, עד שהתובנה שמאחוריו מאבדת את יעילות השימוש בה, כאשר אנו שואפים לבחון אותה מול תובנות אחרות. ועוד אוסיף כי רעיון חדשים מאפשרים פיתוח שיטות ייצוג חדשות, אשר יכולות להתווסף למגוון רחב ועשיר של שיטות ייצוג, אשר רק מעצימות את יכולתה של החשיבה המופשטת שלא להיות תלויה בשיטת ייצוג אחת. אחדות הייצוג יש לה מטרה אחת ויחידה והיא: לייעל את שיטות הבקרה והשיפוט של הממסד האקדמי על רעיונות מופשטים. זאת אומרת, במקום שהממסד האקדמי יפתח את מיומנות אי-התלות של החשיבה המופשטת בשיטת ייצוג כזאת או אחרת (וזהו בעיני העיסוק העיקרי שבו צריך לעסוק הממסד האקדמי) הוא אונס את התלמידים לקבל רעיונות מופשטים של קבוצת אנשים (ללא ספק מוכשרים) מצומצמת, ומכריח דור אחר דור ללכת בעקבות רעיונותיהם ולהשתמש רק ואך ורק בדרך ייצוג אחת ויחידה (שיטת הנוטציות הלינארית) כדי לדון, לחשוב, להבחן ולקבל תואר עובר במסגרת שיטת כפייה זו להעברת רעיונות. ראה נא את תוצאות הכפייה הזאת, באי-יכולתם של רבים וטובים בפורום זה להבין את רעיונותי, מפני שכל יכולת החשיבה שלהם הינה מוגבלת לשיטת הייצוג הלינארית, ולמעשה כמעט ואין להם יכולת חשיבה מופשטת שאיננה תלויית-ייצוג. זוהי אחת מהמהפכות שאני מדבר אליהם וגם עומד בפועל בדבריי, והמהפיכה היא: במתמטיקה-המונדית אין ולא מתייקמת תלות כלשהי בין התובנה המכוננת לשיטת הייצוג שלה. בעניין רפרנסים, אכן יש תמיד לציין את מקורות הידע החיצוניים המשמשים כחלקים של עבודתך, אך אם אין מקורות כאלה, הריי שהרפרנס היחיד הוא העבודה עצמה. ובעניין השיממוןת מדוע לעזאזל אתה צריך לקבל במובן מאליו שתיזה שלך צריכה להיות עבודה משמימה ומייגעת ומשאירה אותך טרוט נשמה ועיינים? מי המרושע הזה שקבע שלימודים אקדמאיים צריכים לקצר חייו של אדם ולהפוך לחווייה טראומטית בחייו? תשובתי היא: שתיקת הכבשים מאפשרת זאת, ואתה ידידי והאח של אייל אינך אייל אלא כבש שותק, המאפשר למערכת האקדמית לטרוף את כשרונך המקורי הטמון בך, ולהפוך אותך בצורה שיטתית לעוד מוצר מדף אפרורי היוצא מפס הייצור שלה. ואחרי שהפכת למוצר-מדף של ייצור סידרתי אינך יכול יותר להפעיל את הטמון בך בדרכים מקוריות ומפתיעות, אלא בשיטה מובנית פס-ייצור א-לה-אקדמיה, ואם אתה פונה לחיים אקדמאים אז אתה הופך מילד מוכה להורה מכה, או במילים אחרות, אתה מפעיל את שיטת הייצור-הסידרתי על דורות של צעירים נוספים, ו"תורם" את "תרומתך" האישית כדי להעלות את סף השיממון והאפרוריות על הפלנטה היפה והמדהימה הזו. |
|
|
|
|
|
|
||
|
||||
|
"אינני שותף להגבלה השרירותית זו, אשר למעשה פוגעת ישירות ביכולתה של התודעה להשתמש במגוון אמצעים כדי לייצג את תובנותיה". לכל מטבע יש 2 צדדים. לדעתי, פיתוח שיטה סדורה להעברת רעיונות דווקא עוזרת גם למי שרוצה לפתח רעיונות חדשים וגם למי שרוצה להבין את רעיונות קיימים. הרי גם אתה מגביל את עצמך לשימוש במונחים מתמטיים כמו "קבוצה". אני לא רואה אותך מסביר את דבריך בעזרת מוזיקה שהלחנת, או גימטריה (להבדיל מגיאומטריה). אבל אתה סוטה לחלוטין מהנקודה. רומא לא נבנתה ביום אחד, וכדי לשנות את העולם צריך להתחיל בלשנות אדם אחד. איך תצליח לממש את כל המהפכות שלך, אם לא תצליח לשכנע אפילו מתמטיקאי אחד שיש ממש בתוצאות שלך? טענת שכל מה שעשית מתבסס על תוספת של מושג אחד לתורת הקבוצות. אם זה נכון, לא אמור להיות קשה להגדים את זה גם באותה נוטציה מדעית מוגבלת ומשמימה. בכך תהרוג 2 ציפורים במכה אחת: 1. תדגים את הערך של העבודה שלך. 2. תראה את הכוח של שיטת החשיבה החדשה שלך. יש לי שאלה פשוטה. פנית ל 1000 מתמטיקאים עם העבודה הנוכחית ואף אחד לא הסכים להעריך אותה. אחרי דיון של מאות תגובות באייל רוב האנשים אפילו לא עברו את הסף של להבין את ההגדרות שלך. האם לאור זה לא שווה לנסות את ההצעה שלי? אתה יכול רק להרוויח! ואני אסיים במשפט שתמיד דרבן אותי לעשות דברים שאני לא אוהב: "תעשה מה שאתה רוצה. לי באמת לא אכפת, זה החיים שלך, אתה יודע הכי טוב." (לקרוא בקול נפגע ונעלב). |
|
|
|
|
|
|
||
|
||||
|
|
|
|
|
|
|
||
|
||||
|
"יש לי שאלה פשוטה. פנית ל 1000 מתמטיקאים עם העבודה הנוכחית ואף אחד לא הסכים להעריך אותה. אחרי דיון של מאות תגובות באייל רוב האנשים אפילו לא עברו את הסף של להבין את ההגדרות שלך. האם לאור זה לא שווה לנסות את ההצעה שלי? אתה יכול רק להרוויח!" הלוואי והייתי יכול להשתמש בהצעה שלך, אבל היא איננה בת-ביצוע מכיוון שהגורם המרכזי בה היא מודעותה של התודעה לעצמה בזמן שהיא עוסקת במתמטיקה. מודעות-עצמית זו, או שהיא קיימת באופן טבעי, ואז שאר הדברים מובנים על בסיס תובנה-עצמית זו, או שניתן לחנך ילדים רכים כבר בגיל הגן לפיתוח תובנה-עצמית. המתמטיקאים הבוגרים וחלק גדול מהסטודנטים הם דור אבוד, מנקודת השקפתי המבוסס על נסיון מוכח מהשטח עם אלפי אנשים (רובם סטודנטים) שפשוט אינם מסוגלים להשתמש בתובנה-עצמית בזמן העיסוק במתמטיקה, ומתרגמים את העיסוק לתהליך חוץ-תודעתי (דומה הדבר במקצת לאדם הנדרש לדבר בקול רם כדי להבין את מחשבותיו, ואם מבקשים ממנו להבין את מחשבותיו ללא דיבור אלא באופן ישיר, אין הוא מסוגל לעשות זאת). |
|
|
|
|
|
|
||
|
||||
|
"טענת שכל מה שעשית מתבסס על תוספת של מושג אחד לתורת הקבוצות. אם זה נכון, לא אמור להיות קשה להגדים את זה גם באותה נוטציה מדעית מוגבלת ומשמימה. בכך תהרוג 2 ציפורים במכה אחת: 1. תדגים את הערך של העבודה שלך. 2. תראה את הכוח של שיטת החשיבה החדשה שלך." זהו כל יופיה של השיטה, כדי להבין אותה דרושה היכולת של התודעה להיות מודעת לעצמה באופן ישיר, בעת העיסוק במתמטיקה. במילים אחרות אני לא בדרן העומד בפני קבוצת אנשים פסיבית וצריך להוכיח שהוא מסוגל להצחיק אותם, אלא פו נדרשת מודעותו של אדם ליכולתו לעורר את עצמו לצחוק מבפנים, וזהו ערכה של עבודתי, המבוססת על יכולתה-העצמית של התודעה ולא על תלות בדברים שמחוץ לה. התודעה כמובן ניזונה ממידע החיצוני לה, אבל עבודתה נעשית על ידה ועל ידה בלבד, כאשר השיטה שאני מציע מלמדת את האדם "איך לדוג דגים בעצמו" במקום להיות תלויי בחסדיהם של אחרים. |
|
|
|
|
|
|
||
|
||||
|
אני מרשה לעצמי לעשות לך ניתוח בגרוש, כשם שהרשת לעצמך לקרוא לי "מוצר מדף אפרורי": אתה מעדיף להיות גאון לא מובן בעיני עצמך, מאשר עוד מתמטיקאי מהשורה. אני אסיים את הדיון איתך כאן. בהצלחה. לדעתי אתה תזדקק לה.. |
|
|
|
|
|
|
||
|
||||
|
'' אתה מעדיף להיות גאון לא מובן בעיני עצמך, מאשר עוד מתמטיקאי מהשורה'' עזוב אותי, אני שואל אותך, האם אתה מוכן להיות ''מוצר מדף אפרורי'' במקום לעשות מעשה ולשנות ביחד עם חבריך את העולם האקדמי שאתם שוהים בו. אל נא תשכח שאתה וחבריך משלמים כסף רב כדי לרכוש השכלה וזכותכם המלאה לדרוש את התמורה המלאה לכספכם. אם אתם שותקים ולא עושים דבר, אז אתם במו אי-עשייתכם קובעים את גורל עתידכם. |
|
|
|
|
|
|
||
|
||||
|
הוא וחבריו משלמים כדי לרכוש השכלה וכן גם כדי לקבל - *תואר*, סליחה על המילה הגסה - תואר, תואר אקדמי פורמלי, ב*מתמטיקה*, מוכר ע"י משרד החינוך, בארץ ובעוד ארצות. אחרי שירכשו גם תואר שני ותואר שלישי - יוכלו לנסות ולתקן את קלקלותיה של האקדמיה - *מתוך* האקדמיה - דבר שבמציאות העכשוית יש לו, כנראה, מעט יותר סיכויים מאשר הנסיונות שאתה עושה, מן המקום ממנו אתה עושה אותם. | |
|
|
|
|
|
||
|
||||
|
"אחרי שירכשו גם תואר שני ותואר שלישי - יוכלו לנסות ולתקן את קלקלותיה של האקדמיה - *מתוך* האקדמיה - דבר שבמציאות העכשוית יש לו, כנראה, מעט יותר סיכויים מאשר הנסיונות שאתה עושה, מן המקום ממנו אתה עושה אותם." אני מכיר אישית אנשים מתוך האקדמיה שניסו לעשות מעשה, ומצאו עצמם מחוץ למערכת. בקיצור חשמנית, את לא יודעת על מה את מדברת, במקרה זה. אין לך מושג איזה מלחמות כוח מלוכלכות מתקיימות בין מתמטיקאים "טהורים" על תקציבים הבאים מפעולות "שנור". הם מוכנים לטרוף אחד את השני חיים, ולא צריך הרבה סיבות כדי להעיף מישהו מהמערכת כדי לזכות בנתח התקציבי שלו. אם את חושבת שאני מאושר מהמתואר לעיל את טועה, אבל זוהי המציאות היומיומית של רבים מהמתמטיקאים ה"טהורים" בתחום האקדמיה ברחבי העולם, כי עולמם הולך ופושט את הרגל כתוצאה מדלילות רעיונית ותקציבית. |
|
|
|
|
|
|
||
|
||||
|
תודה על האבחנה המבריקה - אכן, בניגוד לך, המיטיב ידוע - אני *אף פעם* אינני יודעת על מה אני מדברת, לא רק במקרה זה. ואעפי"כ, המעט הידוע לי, ידוע דווקא ממקורות מוסמכים - בני משפחתי העובדים/עבדו עד לאחרונה במתמטיקה ובמחשבים באונ, ת"א, ומתעדכנים במתרחש בתחום זה גם במקומות אחרים. שרשרת המזון היא אכזרית ומאבקים על תקציבים יש בכל מקום. במתמטיקה הבעיה היא כנראה לא תמיד בדלילות רעיונית אלא בכך במדובר בתחום המצטמצם עם השנים יותר ויותר בתיאורטי. היישומים המתמטיים המקצועיים נלמדים בחוגים הרלוונטיים לאותם מקצועות ולאו דווקא בחוג למתמטיקה. דיברתי על *מעט* סיכויי שינוי מבפנים. מעט בכל מקרה - אבל בהשוואה, הסיכויים מבחוץ הם אפסיים. אבל אני מבינה שכאן מתנהל ויכוח על בעיה מקדמית - האם בכלל הרעיונות ש*אתה* פיתחת הם רעיונות אמיתיים או שאין בהם ממש. זאת בעיה המצריכה הכרעה נייטרלית - עוד הרבה לפני השאלה כיצד יוחדרו רעיונות חדשים מסוג *כלשהו* אל המוסדות המוכרים ואל החומר שעליו יש הסכמה. הרי אין טעם לדרוש שתוחרב עד היסוד מערכת קיימת ע"מ שתיווצר קרקע מתאימה ויקומו הגורמים רחבי האופקים המתאימים שיהיו מסוגלים לקלוט את עומק גאונותו של פלוני, מר שדמי. את המונח - "תודעה המודעת לעצמה", שהופיע בין השאר בתגובה 328124, הבנתי במין אופן כזה נוגע-לא-נוגע, ונראה שלא הצלחתי לחדור לעומק משמעותו, אם אכן *יש* בו עומק משמעות (אין טעם להפנות אותי לתגובות שלך כאן וללינקים חיצוניים. אני חוששת שהבעיה אינה רק בקשיי ההבנה שלי אלא גם במינוח עצמו). להנחתי, מינוח זה יש לו מקום, לעיתים בדוחק, בפילוסופיה ובפסיכולוגיה, ולא במדעים המדוייקים. ומכל מקום, אאוטסיידרים הרואים עצמם כמהפכנים - לעולם יטענו כי המערכת דוחה אותם לא משום שאין באמתחתם חידוש חשוב אלא מפני שהמצויים "בפנים" סובלים מקיבעון/קיפאון מחשבתי, ועל כך כבר אמר המשורר, או אולי *יכול* היה לומר - איפה ישנן עוד קלישאות כמו הקלישאה ההיא, אשר היא אכן כמעט תמיד, כמעט בלא יוצא מן הכלל - קלישאה בוכיה? :-] |
|
|
|
|
|
|
||
|
||||
|
"להנחתי, מינוח זה יש לו מקום, לעיתים בדוחק, בפילוסופיה ובפסיכולוגיה, ולא במדעים המדוייקים." לא עוד, השיטה שפיתחתי ב-25 שנים האחרונות עוסקת באופן גנרי בחקירת מודל תודעה המתקיים בין סימטריית חשיבה מקבילית לסימטריה השבורה של חשיבה סדרתית. מתוך מודל זה ניתן לראות בבירור כי שפת המתמטיקה (שפותחה במשך כ-2500 שנים) מבוססת רובה ככולה על סימטריה-שבורה של חשיבה סדרתית, המוצאת את ביטויה בהגדרות היסוד המכוננות של שפות המתמטיקה הקיימות. בכך ניתן להראות כי המתמטיקה דהיום עוסקת בחקר מוגבל לחלוטין של יקום עצום ורב של סימטריות מסדר-ראשון, אשר כרגע הן קיימות מחוץ לאופק המחקר של המתמטיקה המודרנית, והמערכת שפיתחתי ב-25 שנים האחרונות, חושפת לראשונה את קיומם הסדור. אני הזמתני, מזמין ואזמין כל מתמטיקאי שיחפוץ בכך לעסוק בפיתוח משותף לחקירת מרחב הסימטריות הנ"ל. עד כה לא העיז אף מתמטיקאי להרים את הכפפה, כי משמעותה של הרמת הכפפה הזו מצריך שינוי-פרדיגמה בתובנותיו היסודיות ביותר הקשורות למושגי יסוד כמו: לוגיקה, קבוצה, אריתמטיקה, גבול, אינסוף, פונקציה, מספר, רצף, בדידיות, אוסף, מרחב וכו'. |
|
|
|
| חזרה לעמוד הראשי |  |
| מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
 RSS מאמרים |
כתבו למערכת |
אודות האתר |
טרם התעדכנת |
ארכיון |
חיפוש |
עזרה |
תנאי שימוש
|
© כל הזכויות שמורות |