מיכאל רבין
מתוך ויקיפדיה, האנציקלופדיה החופשית
מיכאל עוזר רבין (נולד 1931) הוא מתמטיקאי ישראלי, מחשובי החוקרים במדעי המחשב.
תוכן עניינים |
[עריכה] ביוגרפיה
מיכאל רבין נולד בשנת 1931 בברסלאו שבגרמניה. בשנת 1935 עלתה משפחתו ארצה. בצעירותו רצה להיות מיקרוביולוג, בהשפעת הספר "ציידי החיידקים" של פ' דה-קריף. אולם לאחר שנחשף בגיל 12 לגאומטריה האוקלידית, נשבה בקסם המתמטיקה.
רבין למד מתמטיקה באוניברסיטה העברית בתחילת שנות החמישים והתענין בעיקר באלגברה ובלוגיקה. את לימודי הדוקטורט עשה באוניברסיטת פרינסטון בהנחייתו של אלונזו צ'רץ'. עבודת הגמר שלו קישרה בין מושג החישוביות לתורת החבורות. לאחר שסיים בהצלחה את לימודי הדוקטורט, הזמין אותו קורט גדל להיות חבר במכון למחקר מתקדם בפרינסטון, שם שהה במשך כשנה, ואז חזר לאוניברסיטה העברית. לאחר מכן חילק רבין את זמנו בין מחקר והוראה באוניברסיטה לבין מחקר במעבדות המחקר של חברת IBM.
יחד עם דנה סקוט פרסם מאמר קצר ואלגנטי בו הראה כיצד ניתן להתייחס לאוטומט כאל אובייקט מתמטי, הוכיח את המשפטים העיקריים בתחום והמציא את האוטומט הלא דטרמינסטי. שני הכותבים קיבלו את פרס טיורינג על מאמר זה. לקריאה נוספת ראה פרסומים חשובים בחישוביות.
בשנת 1970 יסד את המחלקה למדעי המחשב במסגרת המכון למתמטיקה באוניברסיטה העברית, יחד עם פרופסור אלי שמיר. בשנת 1972 הפך לרקטור האוניברסיטה. מאז שנת 1980 הוא מחלק את זמנו בין האוניברסיטה העברית לאוניברסיטת הרוורד.
[עריכה] מחקר
מחקרו של רבין פרוש על מספר תחומים: לוגיקה מתמטית, תורת החישוביות, אלגוריתמים הסתברותיים, חישוב מבוזר וחישוב מקבילי. בכל אחד מהתחומים הללו הוא ביצע כמה פריצות דרך מחקריות, שהטביעו את חותמן על תחום המחקר בכללותו.
אחת מעבודותיו החשובות והמפורסמות ביותר היא בתחום האלגוריתמים ההסתברותיים. הרעיון של רבין הוא לאפשר לתוכנית מחשב לקבוע את צעד החישוב הבא באמצעות "הטלת מטבע", כלומר, באופן אקראי, במקום לקבוע אותו באופן דטרמינסטי. הבחירה האקראית מבטיחה, בהסתברות גבוהה, בחירת מסלול חישוב שמביא לפתרון הנכון במספר ממוצע של צעדי חישוב שקטן במידה רבה ממספר צעדי החישוב בשיטה הדטרמיניסטית הקלאסית. ראו עוד בנושא זה: שיטת מונטה קרלו.
רבין לימד אלפי סטודנטים באוניברסיטה העברית, שבה אף שימש כרקטור, ובאוניברסיטאות אחרות, ובכלל זה אוניברסיטאות ברקלי, ייל, ניו יורק, MIT, פרינסטון, הרוורד ופריז.
[עריכה] הכרה לאומית ובינלאומית
פרופ' רבין קיבל את הפרסים הבאים:
- פרס ויצמן למדע (1960)
- פרס רוטשילד למתמטיקה (1974)
- פרס טיורינג (1976) - הפרס החשוב בעולם למדעי המחשב
- פרס הארווי למדע ולטכנולוגיה (1980)
- פרס ישראל (1995)
- פרס א.מ.ת - פרס האמנות, המדע והתרבות (2004).
פרופ' רבין גם חבר באגודות הבאות:
- האקדמיה הישראלית למדעים מאז שנת 1982,
- חבר חוץ באקדמיה האמריקאית למדעים ולאמנויות מאז שנת 1974,
- חבר חוץ באקדמיה הלאומית למדעים של ארצות הברית מאז שנת 1984,
- חבר חוץ של החברה הפילוסופית האמריקאית מ-1988,
- חבר חוץ של האקדמיה הצרפתית למדעים מ-1995.
[עריכה] קישורים חיצוניים
- ראיון לכתב העת "הבטים בהוראת מדעי המחשב", גליון ספטמבר 1995
- פרס א.מ.ת שהוענק לפרופ' מיכאל רבין
- גנאלוגיה מתמטית של מיכאל רבין באתר The Mathematics Genealogy Project

