אברהם רובינזון

אברהם רובינזון (בגרמנית: Abraham Robinson; ‏6 באוקטובר 1918 – 11 באפריל 1974) היה מתמטיקאי יהודי. הוא רכש מוניטין בשלושה תחומים: הנדסה אווירונאוטית, לוגיקה מתמטית, ואנליזה מתמטית, ונודע יותר מכל על פיתוח האנליזה הלא סטנדרטית, ענף במתמטיקה המפתח באופן ריגורוזי את מושג האינפיניטסימל ומושגים הנגזרים ממנו. רובינזון נולד בוואלדנבורג שבגרמניה (כיום ולבז'יך שבפולין) למשפחה יהודית בעלת אמונה ציונית יוקדת. אביו, אברהם רובינזון, נפטר זמן קצר טרם לידתו. בשנת 1933, בעקבות עליית היטלר לשלטון, עלה רובינזון, עם אמו ואחיו הבכור, לארץ ישראל. את שנת הלימודים האחרונה של לימודיו התיכוניים השלים בגימנסיה רחביה. בתחילה התגוררה משפחתו בביתו של מנהל המוסד וידיד המשפחה, אברהם ברתנא, ומאוחר יותר עברה לדירה משל עצמם בדרך עזה.. רובינזון למד מתמטיקה באוניברסיטה העברית בירושלים, ובשנת 1939 קיבל תואר ראשון[דרושה הבהרה]. בזכות הצטיינותו קיבל מלגת לימודים בסורבון והחל ללמוד שם. לאחר חודשים אחדים פלשה גרמניה הנאצית לצרפת, ורובינזון נמלט לאנגליה. בשלב זה שינה את הכתיב של שם משפחתו מ-Robinsohn ל-Robinson. הוא התגייס לחיל האוויר של צרפת החופשית ותרם למאמץ המלחמתי באמצעות לימוד-עצמי של אווירודינמיקה ורכישת מומחיות בתחום משטחי העילוי שבהם נעשה שימוש בכנפי מטוסי הקרב. בשנת 1946 מונה למרצה בקולג' לאווירונאוטיקה בקריינפילד, ורכש מוניטין עולמי באווירודינמיקה, ובאותה שנה הוענק לו תואר שני במתמטיקה מטעם האוניברסיטה העברית. בשנת 1949 קיבל תואר דוקטור למתמטיקה מאוניברסיטת לונדון, על עבודה בשם The Metamathematics of Algebraic Systems שנעשתה בהנחייתו של זולטן פאל דיינס. בשנת 1951 החל ללמד באוניברסיטת טורונטו ובשנת 1957 עבר לאוניברסיטה העברית בירושלים. הוא היה ראש החוג למתמטיקה עד לשנת 1962. אז עבר לאוניברסיטת קליפורניה בלוס אנג'לס. בתקופה זו נודע ברבים בגישתו העושה שימוש בשיטות של לוגיקה מתמטית על מנת להתמודד עם סוגיות בתחום האנליזה המתמטית והאלגברה המופשטת. הוא "הציג לראשונה רבים מרעיונותיה היסודיים של תורת המודלים". בעשותו שימוש בשיטות אלה, מצא רובינזון דרך לנצל לוגיקה פורמלית כדי להוכיח קיומם של מודלים לא סטנדרטיים עקביים של מערכת המספרים הממשיים, הכוללים מספרים אינסופיים ואינפיניטסימלים. מתמטיקאים אחרים, ובהם וים לוקסמבורג, הראו כי ניתן להגיע לתוצאות אלה באמצעות מסנני-על, דבר שהפך את עבודתו של רובינזון לנגישה למתמטיקאים נעדרי מומחיות בלוגיקה הפורמלית. ספרו של רובינזון, "אנליזה לא סטנדרטית", ראה אור בשנת 1966. רובינזון התעניין רבות בהיסטוריה ובפילוסופיה של המתמטיקה, ופעמים רבות העיר כי היה רוצה להיכנס אל תוך ראשו של לייבניץ, המתמטיקאי הראשון שניסה לתאר ביסודיות את רעיון המספרים האינפיניטסימליים. עמיתיו באוניברסיטת קליפורניה תארו אותו כאדם שעמל קשות על מנת להכשיר את הדוקטורנטים בכל רמות היכולת באמצעות הפנייתם למיזמים בעלי רמות-קושי מתאימות, אך גם ככזה שהתלונן על איכותם הירודה של בוגרי האוניברסיטה. אוניברסיטת ייל חיזרה אחריו, ולאחר סירוב ראשוני, הוא ניאות לבסוף ועבר אל שורותיה בשנת 1967, ונשאר בה עד לפטירתו. פרסם תשעה ספרים ו-130 מאמרים. אברהם רובינזון נפטר מסרטן הלבלב בשנת 1974. ארכיונו מופקד במחלקת הארכיונים בספרייה הלאומית בירושלים. J. W. Dauben, Abraham Robinson: The Creation of Nonstandard Analysis, A Personal and Mathematical Odyssey, Princeton, NJ: Princeton University Press, 1998 A D Young, S Kochen, S Körner and P Roquette, "Abraham Robinson", Bull. London Math. Soc. 8 (1976), 307-323 מדיה וקבצים בנושא אברהם רובינזון בוויקישיתוף אברהם רובינזון, באתר פרויקט הגנאלוגיה במתמטיקה אברהם רובינזון, באתר MacTutor (באנגלית) אברהם רובינזון, באתר dblp אברהם רובינזון, באתר "Find a Grave" (באנגלית) אברהם רובינזון (1918-1974), דף שער בספרייה הלאומית J. W. Dauben, Abraham Robinson: The Creation of Nonstandard Analysis, A Personal and Mathematical Odyssey, Princeton, NJ: Princeton University Press, 1998 pg. 36 Hodges, W: "A Shorter Model Theory", page 182. CUP, 1997 ארכיון ארכיון אברהם רובינסון, בספרייה הלאומית