Le langage de programmation ARIBAS a été développé comme un interpréteur pour l'arithmétique de précision arbitraire, fournissant une base computationnelle pour la recherche en théorie algorithmique des nombres menée par le mathématicien allemand Otto Forster. Né à Munich en 1937, il a consacré sa carrière à faire le pont entre l'analyse abstraite et les méthodes computationnelles à travers des postes dans plusieurs grandes universités allemandes.
Formation académique et début de carrière
Forster a obtenu son Diplom à la Ludwig-Maximilians-Universität München en 1960. Il a poursuivi ses études dans la même institution, obtenant un doctorat en 1961 sous la direction de Karl Stein. Sa thèse portait sur les algèbres de Banach de fonctions continues sur des espaces compacts. En 1965, il a obtenu son habilitation à Munich. Son parcours professionnel précoce comprend une période à l'Institute for Advanced Study durant l'année académique 1966–1967, suivie d'un poste de professeur remplaçant à l'Université de Göttingen.
Nominations institutionnelles
En 1968, Forster a accepté un poste de professeur titulaire à l'Université de Ratisbonne. Durant cette période, il a également été professeur invité à l'Université de Genève. Il a rejoint l'Université de Münster en 1975 avant de retourner à l'Institut mathématique de la Ludwig-Maximilians-Universität München en 1982. Bien qu'il ait officiellement pris sa retraite à l'été 2005, il a maintenu une présence à l'institut en proposant des cours pour les étudiants avancés.
Contributions aux mathématiques et à l'informatique
Ses recherches se concentrent sur l'analyse complexe, la géométrie algébrique et la théorie analytique des nombres. Au sein de la communauté mathématique, il est reconnu pour la découverte du théorème de Forster–Swan. Au-delà des travaux théoriques, il a créé ARIBAS, un interpréteur utilisant une syntaxe de type Pascal conçue pour une arithmétique computationnelle puissante. Cet outil prend en charge les algorithmes détaillés dans sa publication, Algorithmische Zahlentheorie. De plus, il a contribué au domaine plus large par des textes sur les surfaces de Riemann et l'analyse, ainsi qu'en fournissant des annexes pour le livre de Dale Husemöller sur les courbes elliptiques.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissance professionnelle
Forster est resté une figure active du dialogue mathématique international. En 1970, il a participé en tant qu'orateur invité au Congrès international des mathématiciens à Nice, présentant un exposé sur les méthodes topologiques dans la théorie des espaces de Stein. Sa stature académique a été confirmée en 1984 lorsqu'il a été élu membre de l'Académie bavaroise des sciences et des sciences humaines.
Faits marquants
- Naissance : 1937, Munich, Allemagne - Éducation : Ludwig-Maximilians-Universität München - Domaine académique : Théorie des nombres, géométrie algébrique, analyse complexe - Œuvre notable : Théorème de Forster–Swan - Développement logiciel : Interpréteur ARIBAS - Membre : Académie bavaroise des sciences et des sciences humaines - Parcours professionnel : Université de Ratisbonne, Université de Münster, Ludwig-Maximilians-Universität München
Questions des lecteurs
### Quelle est la fonction principale du programme ARIBAS ?
ARIBAS est un interpréteur avec une syntaxe de type Pascal utilisé pour l'arithmétique de précision arbitraire et les fonctions de bibliothèque en théorie computationnelle des nombres.
### Otto Forster a-t-il continué à enseigner après sa retraite ?
Oui, il a continué à proposer des cours pour les étudiants avancés à la Ludwig-Maximilians-Universität München après sa retraite en 2005.
