A linguagem de programação ARIBAS foi desenvolvida como um interpretador para aritmética de precisão arbitrária, fornecendo uma base computacional para a pesquisa em teoria algorítmica dos números conduzida pelo matemático alemão Otto Forster. Nascido em Munique em 1937, ele passou a sua carreira unindo a análise abstrata e métodos computacionais através de cargos em várias universidades alemãs importantes.
Formação académica e início de carreira
Forster completou o seu Diplom na Ludwig-Maximilians-Universität München em 1960. Continuou os seus estudos na mesma instituição, obtendo um doutoramento em 1961 sob a supervisão de Karl Stein. A sua tese investigou álgebras de Banach de funções contínuas em espaços compactos. Em 1965, obteve a sua habilitação em Munique. O seu percurso profissional inicial incluiu um período no Institute for Advanced Study durante o ano académico de 1966–1967, seguido de um cargo como professor substituto na Universidade de Göttingen.
Nomeações institucionais
Em 1968, Forster aceitou um cargo como professor catedrático na Universidade de Ratisbona. Durante este período, também atuou como professor visitante na Universidade de Genebra. Transitou para a Universidade de Münster em 1975 antes de regressar ao Instituto Matemático da Ludwig-Maximilians-Universität München em 1982. Embora se tenha reformado oficialmente no verão de 2005, manteve uma presença no instituto oferecendo palestras para estudantes avançados.
Contribuições para a matemática e computação
A sua investigação foca-se na análise complexa, geometria algébrica e teoria analítica dos números. Dentro da comunidade matemática, é reconhecido pela descoberta do teorema de Forster–Swan. Para além do trabalho teórico, criou o ARIBAS, um interpretador que utiliza uma sintaxe semelhante à Pascal, concebido para uma aritmética computacional poderosa. Esta ferramenta suporta os algoritmos detalhados na sua publicação, Algorithmische Zahlentheorie. Adicionalmente, contribuiu para o campo mais vasto através de textos sobre superfícies de Riemann e análise, bem como fornecendo apêndices para o livro de Dale Husemöller sobre curvas elípticas.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Reconhecimento profissional
Forster permaneceu uma figura ativa no diálogo matemático internacional. Em 1970, participou como orador convidado no Congresso Internacional de Matemáticos em Nice, apresentando uma palestra sobre métodos topológicos na teoria dos espaços de Stein. O seu estatuto académico foi ainda mais afirmado em 1984, quando foi eleito membro da Academia Bávara de Ciências e Humanidades.
Factos rápidos
- Nascimento: 1937, Munique, Alemanha - Educação: Ludwig-Maximilians-Universität München - Foco académico: Teoria dos números, geometria algébrica, análise complexa - Obra notável: Teorema de Forster–Swan - Desenvolvimento de software: Interpretador ARIBAS - Membro: Academia Bávara de Ciências e Humanidades - Percurso profissional: Universidade de Ratisbona, Universidade de Münster, Ludwig-Maximilians-Universität München
Perguntas dos leitores
### Qual é a função principal do programa ARIBAS?
ARIBAS é um interpretador com sintaxe semelhante à Pascal usado para aritmética de precisão arbitrária e funções de biblioteca em teoria computacional dos números.
### Otto Forster continuou a ensinar após a sua reforma?
Sim, continuou a oferecer palestras para estudantes avançados na Ludwig-Maximilians-Universität München após a sua reforma em 2005.
