Die Programmiersprache ARIBAS wurde als Interpreter für Arithmetik mit beliebiger Genauigkeit entwickelt und bietet eine rechnerische Grundlage für die algorithmische Zahlentheorie-Forschung des deutschen Mathematikers Otto Forster. Er wurde 1937 in München geboren und verbrachte seine Karriere damit, durch Positionen an mehreren großen deutschen Universitäten eine Brücke zwischen abstrakter Analysis und rechnerischen Methoden zu schlagen.
Akademische Ausbildung und früher Werdegang
Forster schloss 1960 sein Diplom an der Ludwig-Maximilians-Universität München ab. Er setzte sein Studium an derselben Einrichtung fort und promovierte 1961 unter der Betreuung von Karl Stein. Seine Dissertation untersuchte Banach-Algebren stetiger Funktionen auf kompakten Räumen. 1965 habilitierte er sich in München. Sein früher beruflicher Weg umfasste einen Aufenthalt am Institute for Advanced Study während des akademischen Jahres 1966–1967, gefolgt von einer Tätigkeit als Vertretungsprofessor an der Universität Göttingen.
Institutionelle Berufungen
1968 nahm Forster eine Stelle als ordentlicher Professor an der Universität Regensburg an. Während dieser Zeit war er auch Gastprofessor an der Universität Genf. 1975 wechselte er an die Universität Münster, bevor er 1982 an das Mathematische Institut der Ludwig-Maximilians-Universität München zurückkehrte. Obwohl er im Sommer 2005 offiziell in den Ruhestand ging, ist er dem Institut durch das Angebot von Vorlesungen für fortgeschrittene Studenten verbunden geblieben.
Beiträge zur Mathematik und Informatik
Seine Forschung konzentriert sich auf komplexe Analysis, algebraische Geometrie und analytische Zahlentheorie. In der mathematischen Gemeinschaft ist er für die Entdeckung des Forster–Swan-Theorems bekannt. Über die theoretische Arbeit hinaus schuf er ARIBAS, einen Interpreter mit Pascal-ähnlicher Syntax, der für leistungsstarke rechnerische Arithmetik konzipiert ist. Dieses Werkzeug unterstützt die Algorithmen, die in seiner Publikation Algorithmische Zahlentheorie detailliert beschrieben sind. Darüber hinaus hat er durch Texte über Riemannsche Flächen und Analysis sowie durch Anhänge für Dale Husemöllers Buch über elliptische Kurven zum breiteren Fachgebiet beigetragen.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Anerkennung
Forster ist eine aktive Figur im internationalen mathematischen Dialog geblieben. 1970 nahm er als geladener Sprecher am Internationalen Mathematikerkongress in Nizza teil und hielt einen Vortrag über topologische Methoden in der Theorie der Steinschen Räume. Sein akademischer Status wurde 1984 weiter gefestigt, als er zum Mitglied der Bayerischen Akademie der Wissenschaften gewählt wurde.
Fakten auf einen Blick
- Geboren: 1937, München, Deutschland - Ausbildung: Ludwig-Maximilians-Universität München - Akademischer Schwerpunkt: Zahlentheorie, algebraische Geometrie, komplexe Analysis - Bedeutendes Werk: Forster–Swan-Theorem - Softwareentwicklung: ARIBAS-Interpreter - Mitgliedschaft: Bayerische Akademie der Wissenschaften - Laufbahn: Universität Regensburg, Universität Münster, Ludwig-Maximilians-Universität München
Häufig gestellte Fragen
### Was ist die Hauptfunktion des ARIBAS-Programms?
ARIBAS ist ein Interpreter mit Pascal-ähnlicher Syntax, der für Arithmetik mit beliebiger Genauigkeit und Bibliotheksfunktionen in der algorithmischen Zahlentheorie verwendet wird.
### Hat Otto Forster nach seiner Pensionierung weiter unterrichtet?
Ja, er hat nach seiner Pensionierung im Jahr 2005 weiterhin Vorlesungen für fortgeschrittene Studenten an der Ludwig-Maximilians-Universität München angeboten.
