ארכיב עבור תגית מתמטיקה
הרצאה של פרופ' מריו ליביו – 17 לדצמבר
פרופ' מריו ליביו, מחברם של מספר ספרי מתמטיקה פופולרית, ירצה בתאריך 17.12.09 במועדון האסטרונומי של אוניברסיטת תל אביב בנושא ספרו האחרון "האם אלוהים הוא מתמטיקאי?". לפרטים לחצו כאן. אני אשתדל מאוד להיות שם.
אני קורא כעת את ספרו האחרון של ליביו. לשבחו אוכל לומר שסגנון הכתיבה שלו משתפר, והספר יותר מעניין לקריאה מספריו הקודמים. התכנים שבספריו מרתקים כמובן, בלי קשר לסגנון הכתיבה. בספר האחרון יש פרק העוסק בסטטיסטיקה – אני חייב לומר שקצת התאכזבתי כשקראתי אותו. מקווה לדווח בקרוב על רשמי מהקריאה.
לקריאה נוספת בנושאים הקשורים לנושא רשימה זו
נשלח: 3 בדצמבר, 2009. נושאים: כללי.
תגובות: 1
| טראקבק
הקומבינטור הישראלי הידוע
ב-Ynet הופיע ראיון עם הקומבינטור הישראלי הידוע נוגה אלון. מעניין.
לקריאה נוספת בנושאים הקשורים לנושא רשימה זו
נשלח: 18 בינואר, 2009. נושאים: הממ... מעניין..., מדע.
תגובות: אין
| טראקבק
שיחה שנצפתה אי שם במישור המרוכב
נשלח: 11 בינואר, 2009. נושאים: אותי זה מצחיק.
תגובות: 1
| טראקבק
הרצאתו של נוגה אלון על חשיבה הסתברותית
אתמול, במסגרת טקס חלוקת תעודות שנערך בפקולטה למדעים מדוייקים באוניברסיטת תל אביב, הרצה פרופ' נוגה אלון, חתן פרס ישראל למתמטיקה לשנת 2008, על הנושא "חשיבה הסתברותית". נכחתי בהרצאה, ואביא כאן את עיקרי המסרים של פרופ' אלון, עד כמה שזכרוני הרעוע והבנתי את דבריו יאפשרו לי. אם טעיתי, לא הבנתי, החמצתי או התבלבלתי, אני מבקש מראש את סליחת הקוראים, ואשמח אם תאירו את עיני בתגובות.
אלון, שהוא מרצה מעולה, פתח בסקירה של שני "פרדוקסים" הסתברותיים ידועים: בעיית מונטי הול ובעיית המעטפות (המוכללת). הוא נתן הסבר קצר לפתרון הבעיה הראשונה, אך לא לשניה, והמטרה שלו, כפי שהבנתי מאוחר יותר, הייתה להצביע על כך שחשיבה במונחים הסתברותיים אינה טריויאלית, ויותר מכך, האינטואיציה לא תמיד "עובדת" כשדנים בהסתברות.
למרות זאת, אלון סבור שחשיבה הסתברותית עשויה להועיל גם בתחומים שאמורים מטבעם להיות דטרמינסטיים. בשארית ההרצאה הוא סקר באריכות שתי פרדיגמות העושות שימוש בחשיבה הסתברותית בתחומי עניין דטרמינסטיים המעניינים אותו – תורת המספרים ותורת הגרפים.
הפרדיגמה הראשונה היא מה שאלון כינה: "Randomization -Derandomization". הרעיון הוא לתקוף בעיה דטרמיניסטית באמצעות אלגוריתם הסתברותי (כלומר, אלגוריתם הנותן תשובה נכונה לבעיה בהסתברות מסויימת, ואך יש הסתברות חיובית כי התשובה שהאלגוריתם נתן אינה נכונה). לאחר מכן, ניתן (אולי) לקחת את האלגוריתם הההסתברותי ו"לשפצר" אותו באופן שיהפוך לדטרמינסטי. הוא נתן שתי דוגמאות. דוגמא אחת היא אלגוריתם הסתברותי לקביעה האם מספר טבעי נתון הוא ראשוני או פריק, שפיתחו Agrawal ושותפיו. מספר שנים לאחר מכן, פרסמו Agrawal ושותפיו אלגוריתם דטרמינסטי יעיל לקביעת הראשוניות/פריקות של מספרים טבעיים, המבוסס על עקרונותיו של האלגוריתם ההסתברותי. אלון טוען כי הדרך לאלגוריתם הדטרמינסטי הייתה חייבת לעבור באלגוריתם ההסתברותי שקדם לא, ולא ניתן היה לבצע ישירות את הקפיצה המחשבתית אל האלגוריתם הדטרמינסטי. דוגמא נוספת שנתן אלון היא בעיה בתורת הגרפים עליה עבד עם מספר שותפים (קביעה האם גרף מכיל מסלול באורך נתון) שעברה תהליך דומה – אלגוריתם הסתברותי תחילה, ולאחר מכן אלגוריתם דטרמיניסטי שהוא שכלול של האלגוריתם ההסתברותי.
הפרדיגמה השניה שהציג הייתה "העקרון ההסתברותי" של ארדש. לפי העקרון הזה, כדי להוכיח כי עצם בעל תכונה מסויימת קיים, אפשר לבנות מרחב הסתברות המכיל מספר רב של עצמים, ואחר כך להראות כי אם בוחרים עצם מהמרחב הזה באופן מקרי, ההסתברות כי העצם הינו בעל התכונה המבוקשת היא חיובית. כאן אתן דוגמא טריויאלית משלי לעקרון הזה (הדוגמא שאלון הביא הייתה מסובכת מדי בשבילי). נניח שאתם רוצים להוכיח כי קיים בעולם כדור אדום. לשם כך, התבוננו בקבוצת כל הכדורים שקיימים בעולם או שיכולים להיות קיימים, ובחרו ממנה כדור אחד באופן מקרי (זה כמו שק דמיוני שבתוכו נמצאים כל הכדורים שבעולם). מה ההסתברות שהכדור שבחרתם אדום? אם ההסתברות לכך היא אפס, הרי שאין כדור אדום, לא קיים כדור כזה. אבל אם יש הסתברות חיובית (אפילו אחד למיליון, או למיליארד, או למה שלא יהיה), זה אומר בהכרח שיש בשק שלנו לפחות כדור אדום אחד.
לסיכום, אלון טען שחשיבה במונחים הסתברותיים עשויה להביא תועלת גם בתחומים שבהם לכאורה אין מקריות, והדגים היטב את טענתו בהרצאה מרתקת.
פורסם לראשונה באתר "רשימות" בתאריך 6 במאי 2008 שם התקבלו 8 תגובות
עומר בתאריך 5/6/2008 6:06:57 PM
אם ההסתברות
היא אפס אין משמע שאין כדור אדום (באותו אופן אפשר לטעון שאין רציונליים). השיטה ההסתברותית גורסת שאם ההסתברות גדולה מאפס אז יש עצם שמקיים את הדרוש.
אלעד-וו בתאריך 5/6/2008 7:52:46 PM
כתבת היטב
עומר: הנח שמס' הכדורים בעולם סופי.
עומר בתאריך 5/6/2008 8:44:38 PM
אלעד-
אפילו במקרה זה – יתכנו מרחבי הסתברות שבהם למאורעות לא ריקים יש סיכוי אפס; השיטה ההסתברותית טוענת רק את הכיוון "הסתברות >0 גוררת מאורע לא ריק".
אלעד-וו בתאריך 5/6/2008 8:54:28 PM
עומר, אתה מתקטנן
אתה צודק כמובן. יוסי לא הגדיר את ה-setting באופן מלא, ואתה צודק באבחנתך שהכיוון של השיטה ההסתברותית הוא שאם ההסתברות היא גדולה מ-0 אז האובייקט המבוקש קיים. (מצד שני, באופן שבו משתמשים בד"כ בשיטה ההסתברותית, מרחב בבסתברות הוא דיסקרטי ונתמך בכל המרחב, ואז אם ההסתברות שווה ל-0 אז האובייקט לא קיים).
מצד שני, הדוגמה של יוסי היא רק דוגמה מאד מאד גנרית ועמומה, שמטרתה להצליח להגיד משהו בלי להיכנס לפרטים. לכן "תיקוניך" למודל הם התקטננות. המודל מלכתחילה לא היה אמור להיות ריגורוזי.
אלעד-וו בתאריך 5/6/2008 8:55:19 PM
פוסט מצויין
כתבת מצויין ומדוייק.
הנה מספר תיקונים קטנים:
1. האלגוריתם הרנדומי לבדיקת ראשוניות הוא של מיכאל רבין (ישראלי, אגב) ולא של Agrawal)
2. כתבת "אלון טוען כי הדרך לאלגוריתם הד טרמינסטי הייתה חייבת לעבור באלגוריתם ההסתברותי שקדם לא, ולא ניתן היה לבצע ישירות את הקפיצה המחשבתית אל האלגוריתם הדטרמינסטי.".
הייתי מחליף את הביטויים "לא ניתן" ו"הייתה חייבת" במשהו יותר שמרני. הייתי כותב "היה מאד קשה קונספטואלית להגיע לאלגוריתם הדטרמיניסטי בלי למצוא קודם את האלגוריתם הרנדומי" או משהו בסגנון. תמיד ייתכן שמישהו ימצא ישירות את האלגוריתם הדטרמיניסטי, אבל הדרך היחידה שידועה לקבל אלדוריתם דטרמיניסטי לבעיה הזאת עברה (בראיה היסטורית) דרך האלג' הרנדומי.
3. כתבת "המטרה שלו, כפי שהבנתי מאוחר יותר, הייתה להצביע על כך שחשיבה במונחים הסתברותיים אינה טריויאלית, ויותר מכך, האינטואיציה לא תמיד "עובדת" כשדנים בהסתברות.".
לא הייתי כותב "לא תמיד עובדת". מישהו שאינו בקיא במתימטיקה יכול לחשוב שזו פילוסופיה, ושלא תמיד 1 ועוד 1 שווה 2. הייתי במקום זה אומר שכשחושבים במונחים הסתברותיים קל להתבלבל ולעשות טעויות. למשל, קל להתבלבל כשמתעסקים עם הסתברויות מותנות.
4. לבסוף, בנוגע לשיטה ההסתברותית, הבנתי למה החלפת את הדוגמה שנוגה נתן בדוגמה אחרת. (אם יותר לי לנחש, נוגה הראה חסם תחתון למספרי רמזי?). אבל הדוגמה שנתת לטעמי לא ממש קולעת — אין בה מספיק מה"אופי" של השיטה ההסתברותית. שתי דוגמאות מצויינות (אבל, כמו שאמרת, לא טריוויאליות) ניתנות במאמר וויקיפדיה שכבר קישרת אליו: http://en.wikipedia.org/wiki/Probabilistic_method
דוגמה נוספת לשימוש בשיטה ההסתברותית היא להוכיח שיש אוסף של מליון תתי קבוצות של המספרים בין 1 ל-1000
, כך שהחיתוך בין כל שתי קבוצות באוסף הוא בגודל לכל היותר 600. קשה מאד לבנות כזה אוסף, אבל קל להוכיח שקיים כזה אוסף: בוחרים את הקבוצות באקראי, ומוכיחים בעזרת יוניון-באונד שבהסתברות גדולה מאפס הוא מקיים את התכונות הנדרשות. זו דוגמה שחביבה על טימוטי גאוארס, ונידונה במאמר (הפופולרי) המעננין שלו "שתי התרבויות של המתימטיקה" שניתן לקריאה כאן:
http://www.dpmms.cam.ac.uk/~wtg10/2cultures.pdf
תודה על הפוסט. תמיד תענוג לשמוע הרצאות של נוגה, ואפילו לשמוע על הרצאות של נוגה. 
עומר בתאריך 5/7/2008 9:21:14 AM
אלעד וו-
תודה על המחמאות. כמתמטיקאי אני יודע שללא התכונה הזו לא היתה לתחום שבו אנו עוסקים תקומה. למרבה הצער לא בקטנוניות עסקינן. יוסי תיאר כיוון מסויים שאותו השיטה ההסתברותית לא גורסת וגם לא מתכוונת לגרוס; אחרת היית מקבל המוני הוכחות "אי-קיום" שגויות בעליל, או, לחילופין, הוכחות הסתברותיות לכך שכל האובייקטים מסוג מסויים מקיימים איזו תכונה.
גיל [אתר] בתאריך 5/8/2008 8:03:51 AM
בהקשר הזה חשוב לציין
שלא רק חשיבה הסתברותית חשובה, אלא גם שהיא במקרים רבים לא אינטואטיבית לאנשים. חשוב להדגיש חשיבה הסתברותית בהקשרים רלוונטיים ולא רק מבחינה תיאורטית כי יש גורמים שונים המשפיעים על סטטיסטיקה נאיבית.
יוסי לוי [אתר] בתאריך 5/11/2008 7:36:57 AM
תודה לכל המגיבים עד כה
כפי שציינתי, בסך הכל הבאתי את עיקרי הדברים שנשארו בזכרוני מההרצאה הזו – מעין סוג של "טלפון שבור". אני מודה לאלעד עומר וגיל על שהרחיבו את דברי והבהירו את התמונה – גם לי.
לקריאה נוספת בנושאים הקשורים לנושא רשימה זו
נשלח: 8 בדצמבר, 2008. נושאים: הממ... מעניין..., מדע.
תגובות: אין
| טראקבק
על מתמטיקה שירה ויופי
כשהייתי תלמיד תיכון, בבת-ים של סוף שנות השבעים, לא הייתי תלמיד לדוגמא. אמנם אהבתי מאוד ללמוד, וגם אהבתי מאוד את בית הספר שלי (תיכון "החשמונאים"). אבל ללמוד בבית הספר? זה כבר סיפור אחר לגמרי. ללמוד בבית הספר זה להיות נוכח בשיעורים, גם כאלה שלא כל כך מעניינים אותך, או שאתה לא מבין מה הולך בהם, וגם אם המורה לא כל כך מוצלח, להכין שיעורי בית, ולעבור מבחנים, ולקבל תעודה, בקיצור, כל מה שמוציא את הכף מעצם הלימודים.
כמו כל בית ספר, היו בו מורים טובים, מורים פחות טובים, ואפילו מורים גרועים. היו מקצועות מעניינים ומקצועות משעממים. מקצועות שבהם רוב מהתלמידים הצליחו בלימודיהם, ומקצועות שגרמו לרובם לחרוק שיניים.
אני, למשל, הצלחתי לא רע בלימודי המתמטיקה. היו לי ארבעה מורים שונים למתמטיקה במהלך ארבע שנות לימודי בתיכון: אחד גרוע, אחד בסדר, אחד מצויין, ואחד לא נחשב כי הוא לימד אותנו רק לתקופת מעבר של חודש, וגם אז הוא לא לימד יותר מדי. בלימודי הספרות, לעומת זאת, הייתי כשלון חרוץ, למרות שהיו לי במהלך שנות התיכון שלוש מורות מצויינות לספרות (שכולן, דרך אגב, הכירו אישית את אמא שלי: אחת הייתה חברה שלה, אחת בת של חברה שלה, וגם השלישית הייתה קשורה איכשהו). שיעורי הספרות היו בדרך כלל מעניינים, אפילו קראתי חלק מהיצירות שנלמדו, הבנתי על מה המורה מדברת (או לפחות חשבתי שהבנתי), ובכל זאת, תמיד גירדתי בקושי ציון 6.
אני משער שהקשיים שחוויתי בלימודי הספרות היו דומים לקשיים שחוו תלמידי המגמה הספרותית בשיעורי המתמטיקה. אולי אני טועה בכך, ומדובר בקשיים מסוגים שונים לגמרי. אבל התוצאה הייתה דומה. היה מבחן בספרות. למדתי לקראתו. הרגשתי שהפעם אני מבין את החומר, ולבסוף שוב קיבלתי ציון 6, לפעמים עם פלוס, לפעמים קצת פחות.
לכן, שמחתי כשיצא לאור לא מזמן ספרו החדש של פרופ' רון אהרוני – "מתמטיקה, שירה ויופי".
רון אהרוני הוא פרופסור למתמטיקה בטכניון, וידוע בציבור הרחב בעיקר בזכות פעילותו בתחום החינוך המתמטי, וכן בזכות ספרו המצויין "חשבון להורים".
בפתח ספרו החדש, מצטט אהרוני את המתמטיקאי הגרמני קרל ווירשטראס: "מתמטיקאי שאינו גם קצת משורר לעולם לא יהיה מתמטיקאי מושלם". אם ווירשטראס צדק, אני לעולם לא אהיה מתמטיקאי מושלם, אך קיוויתי שהספר הזה יעזור לי לעבור בפתח אותו לא עברתי בלימודי הספרות בתיכון, ובכך אתקרב קצת לשלמות (אם כי לעולם לא אגיע לשם, כנראה).
אהרוני מקווה להראות בספרו את הדמיון בין השירה והמתמטיקה, וכך מי שמוצא יופי בשירה, יוכל גם לראות יופי דומה במתמטיקה, ולהיפך (הוא לא ציין אם הספר מיועד למתמטיקאים שרוצים להבין שירה או למשוררים שרוצים להבין מתמטיקה). הוא עושה זאת בעזרת סדרה של דוגמאות. כך למשל, הוא מדגים את מושג ה"התקה" (הסטת תשומת הלב מהעיקר לטפל) באמצעות שירה של לאה גולדברג "על עצמי", ובאמצעות חידה מתמטית תמימה המסתירה מאחוריה עקרון מתמטי מרכזי (מושג הזוגיות). את מונח הסימטריה הוא מדגים בשירו של דוד אבידן "ערב פתאומי" ("אדם זקן מה יש לו בחייו…"), ודוגמא משעשעת לפרדוקס מופיעה בשירו של שלונסקי "מעשה בשני גורו". המושגים המתמטיים ומקביליהם הספרותיים (או להיפך) רבים, והדוגמאות מעניינות.
הבעיה שלי היא שעקב ריבוי פרטים קטנים התקשיתי לראות את התמונה הגדולה (משורר היה כותב אולי כי מרוב כוכבים אין רואים את הלילה או משהו כזה). אני מוצא יופי במתמטיקה (בחלק ממנה, לפחות) ומוצא גם יופי בשירה (בחלק ממנה, לפחות). אבל עדיין יש לי בעיה עם הניתוח הספרותי – כאן יש מטאפורה, שם יש צימוד גזרי, והספר הזה בסופו של דבר מנסה לנתח שירה מנקודת מבט מתמטית. גם חובבי השירה לא ימצאו דרכם אל נפש המתמטיקאי, ולא יצליחו להבין לאחר קריאת הספר מדוע מתמטיקאים כה רבים סבורים כי המשפט האומר ששלושת גבהי המשולש נפגשים בנקודה אחת הוא אחד המשפטים היפים ביותר במתמטיקה (אל תצפו ממני להסביר מדוע המשפט הזה כל כך יפה, אני לא מסוגל, למרות שאני יודע). הספר אמנם מעניין ומומלץ לקריאה, אבל פתרון החידה של היופי, במתמטיקה ובשירה, עדיין נסתר מעיני.
פורסם לראשונה באתר "רשימות" בתאריך 14 באפריל 2008 שם התקבלו 5 תגובות
גיא בתאריך 4/15/2008 12:24:10 AM
אם היינו מבינים את כל היופי
החיים היו הרבה פחות מעניינים
ענת פרי [אתר] בתאריך 4/15/2008 10:33:06 AM
ללא נושא
הרשימה הזו מאד פיוטית, וגם מורים לספרות יכולים לטעות.
אדם בתאריך 4/15/2008 11:48:19 AM
אינני מתמתיקאי ואינני משורר.
קיבלתי 8 במתמתיקה ו-8 בספרות. ואני מתרגש בכל פעם שאני נתקל ביופי בכל אחד מהתחומים. שמח לשמוע על הספר, ואני מאמין שאהנה ממנו מאוד.
נציגת 372 בתאריך 4/15/2008 12:57:37 PM
אז…
לקרוא או לא לקרוא?
לקנות או לא לקנות?
יוסי לוי [אתר] בתאריך 4/15/2008 2:33:31 PM
לנציגת 372
לדעתי בכל זאת כדאי לקרוא, כיוון שגם אם הספר לא השיג את מטרתו (אצלי, לפחות) הקריאה עצמה הייתה מעניינת.
לקריאה נוספת בנושאים הקשורים לנושא רשימה זו
נשלח: 8 בדצמבר, 2008. נושאים: ספרים וסרטים.
תגובות: אין
| טראקבק