שפת התכנות ARIBAS פותחה כמפרש לאריתמטיקה בעלת דיוק שרירותי, ובכך סיפקה בסיס חישובי למחקר בתורת המספרים האלגוריתמית שערך המתמטיקאי הגרמני אוטו פורסטר (Otto Forster). הוא נולד במינכן בשנת 1937, ובילה את הקריירה שלו בגישור בין אנליזה מופשטת לשיטות חישוביות באמצעות תפקידים באוניברסיטאות גרמניות מרכזיות.
הכשרה אקדמית וקריירה מוקדמת
פורסטר השלים את התואר השני (Diplom) שלו באוניברסיטת לודוויג מקסימיליאן במינכן (Ludwig-Maximilians-Universität München) בשנת 1960. הוא המשיך את לימודיו באותו מוסד, וקיבל דוקטורט בשנת 1961 בהנחייתו של קרל שטיין (Karl Stein). התזה שלו חקרה אלגברות בנך של פונקציות רציפות על מרחבים קומפקטיים. בשנת 1965 השלים את ההביליטציה שלו במינכן. מסלולו המקצועי המוקדם כלל תקופה במכון למחקר מתקדם (Institute for Advanced Study) במהלך שנת הלימודים 1966–1967, ולאחריה כיהן כפרופסור מחליף באוניברסיטת גטינגן.
מינויים מוסדיים
בשנת 1968 קיבל פורסטר משרה של פרופסור מן המניין באוניברסיטת רגנסבורג. במהלך תקופה זו, הוא שימש גם כפרופסור אורח באוניברסיטת ז'נבה. הוא עבר לאוניברסיטת מינסטר בשנת 1975 לפני שחזר למכון למתמטיקה של אוניברסיטת לודוויג מקסימיליאן במינכן בשנת 1982. אף שפרש רשמית בקיץ 2005, הוא שמר על נוכחות במכון על ידי העברת הרצאות לסטודנטים מתקדמים.
תרומות למתמטיקה ולחישוב
מחקריו מתמקדים באנליזה מרוכבת, גאומטריה אלגברית ותורת המספרים האנליטית. בקהילה המתמטית הוא מוכר בזכות גילוי משפט פורסטר–סוואן (Forster–Swan theorem). מעבר לעבודה תיאורטית, הוא יצר את ARIBAS, מפרש המשתמש בתחביר דמוי פסקל שתוכנן לאריתמטיקה חישובית רבת עוצמה. כלי זה תומך באלגוריתמים המפורטים בפרסומו, Algorithmische Zahlentheorie. בנוסף, הוא תרם לתחום הרחב באמצעות ספרים על משטחי רימן ואנליזה, וכן סיפק נספחים לספרו של דייל הוסמולר (Dale Husemöller) על עקומים אליפטיים.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →הכרה מקצועית
פורסטר נותר דמות פעילה בשיח המתמטי הבינלאומי. בשנת 1970 הוא השתתף כדובר מוזמן בקונגרס הבינלאומי של המתמטיקאים בניס, שם הציג הרצאה על שיטות טופולוגיות בתוך תורת מרחבי שטיין. מעמדו המלומד אושרר בשנת 1984 כאשר נבחר לחבר באקדמיה הבווארית למדעים ומדעי הרוח.
עובדות מהירות
- לידה: 1937, מינכן, גרמניה - השכלה: אוניברסיטת לודוויג מקסימיליאן במינכן - מיקוד אקדמי: תורת המספרים, גאומטריה אלגברית, אנליזה מרוכבת - עבודה בולטת: משפט פורסטר–סוואן - פיתוח תוכנה: מפרש ARIBAS - חברות: האקדמיה הבווארית למדעים ומדעי הרוח - טווח קריירה: אוניברסיטת רגנסבורג, אוניברסיטת מינסטר, אוניברסיטת לודוויג מקסימיליאן במינכן
שאלות נפוצות של קוראים
### מהו התפקיד העיקרי של תוכנית ARIBAS?
ARIBAS הוא מפרש עם תחביר דמוי פסקל המשמש לאריתמטיקה בעלת דיוק שרירותי ופונקציות ספריה בתורת המספרים החישובית.
### האם אוטו פורסטר המשיך ללמד לאחר פרישתו?
כן, הוא המשיך להציע הרצאות לסטודנטים מתקדמים באוניברסיטת לודוויג מקסימיליאן במינכן לאחר פרישתו בשנת 2005.