אלגוריתם בלום-בלום-שוב (Blum Blum Shub) משמש ככלי קריפטוגרפי בסיסי ליצירת מספרים פסאודו-אקראיים, ומסמן צומת משמעותי בין מתמטיקה תאורטית לפרקטיקה חישובית. מייקל איירה שוב, שנולד בברוקלין ב-1943, הקדיש את הקריירה שלו לבחינת המורכבות של אלגוריתמים של מספרים ממשיים ומערכות דינמיות, ועיצב הבנות עכשוויות של חישוביות ויציבות בתוך מסגרות מתמטיות קפדניות.
התפתחות אקדמית מוקדמת
שוב למד באוניברסיטת קליפורניה בברקלי, שם קיבל את הדוקטורט שלו ב-1967. עבודת הדוקטורט שלו, "Endomorphisms of Compact Differentiable Manifolds", הושלמה בהנחייתו של סטיבן סמייל. במהלך מחקר זה, הוא זיהה את המושג של העתקות מרחיבות, וסיפק דוגמאות ראשוניות לאטרקטורים מוזרים יציבים מבנית. לאחר תקופה זו, החזיק במשרות באוניברסיטת ברנדייס, אוניברסיטת קליפורניה בסנטה קרוז, וקווינס קולג' באוניברסיטת העיר ניו יורק.
תרומות למערכות דינמיות
בשנת 1974 הציע שוב את השערת האנטרופיה, בעיה פתוחה בחקר מערכות דינמיות. הכרך שלו מ-1987, "Global Stability of Dynamical Systems", משמש כספר עזר עיקרי בתוכניות לימוד מבואיות ומתקדמות כאחד. עבודה זו גישרה על פערים תאורטיים שונים בתחום, ושופרה עוד יותר על ידי מחקר אנליטי מאוחר יותר שנערך לצד סטיבן סמייל ב-1993 בנוגע לאלגוריתמים מבוססי הומוטופיה למערכות משוואות אלגבריות לא ליניאריות.
תאוריה חישובית ותקופת עבודה ב-IBM
במהלך תקופת עבודתו במרכז המחקר תומאס ג'. ווטסון של IBM בין 1985 ל-2004, הרחיב שוב את עבודתו לתאוריה חישובית. הוא היה שותף לכתיבת מחולל המספרים האקראיים "בלום-בלום-שוב" עם לינור ומנואל בלום ב-1986. בשנת 1989 הצטרף ללינור בלום וסטיבן סמייל כדי להציג את מכונת בלום-שוב-סמייל, חלופה למודל טיורינג הקלאסי שנועדה לניתוח חישוביות פונקציות. הוא גם שימש כיו"ר המייסד של האגודה ליסודות המתמטיקה החישובית ועזר להקים את כתב העת המסונף אליה.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →מינויים אחרונים והכרה מקצועית
לאחר שעזב את IBM ב-2004, הצטרף שוב לאוניברסיטת טורונטו לתקופה של שש שנים. מאז 2010 הוא מחזיק בתפקידי מחקר באוניברסיטת בואנוס איירס ובמרכז הבוגרים של אוניברסיטת העיר ניו יורק. בשנת 2016 הפך לפרופסור מרטין ומישל כהן ויו"ר המחלקה למתמטיקה בסיטי קולג' של ניו יורק. חברותו המקצועית כוללת את האגודה האמריקאית למתמטיקה, שהעניקה לו תואר עמית ב-2015.
עובדות מהירות
- תאריך לידה: 1943, ברוקלין, ארצות הברית - דוקטורט: אוניברסיטת קליפורניה, ברקלי (1967) - פרסום מפתח: "Global Stability of Dynamical Systems" (1987) - יו"ר מייסד: האגודה ליסודות המתמטיקה החישובית (1995) - תפקידים אקדמיים: אוניברסיטת טורונטו, אוניברסיטת ברנדייס, אוניברסיטת העיר ניו יורק - הכרה בולטת: עמית האגודה האמריקאית למתמטיקה (2016)
שאלות נפוצות
### מהו אלגוריתם בלום-בלום-שוב?
זהו מחולל מספרים פסאודו-אקראיים שפותח ב-1986 על ידי מייקל שוב לצד לינור ומנואל בלום, המוכר כבלתי צפוי ומאובטח כאחד.
### מהי מכונת בלום-שוב-סמייל?
הוצעה ב-1989, זהו מודל תאורטי של חישוב המשתמש במספרים ממשיים, שפותח כחלופה למודל מכונת טיורינג הקלאסי.