Der unabhängige Beweis von 1959 bezüglich der Bedingungen für Omega-Kategorizität etablierte Erwin Engeler als eine bedeutende Figur in der Modelltheorie. Während einer Karriere, die sich über mehr als sechs Jahrzehnte erstreckte, navigierte er durch die sich verschiebenden Grenzen zwischen formaler Logik und dem aufstrebenden Feld der Informatik und behielt eine beständige akademische Präsenz an Institutionen in der Schweiz und den Vereinigten Staaten bei.
Akademische Grundlagen und frühe Karriere
Engeler wurde 1930 in Schaffhausen geboren und absolvierte sein Studium an der ETH Zürich. Er studierte bei dem prominenten Logiker Paul Bernays und promovierte 1958. Diese logische Grundlage bildete den Rahmen für seine spätere Forschung, die sich auf die interdisziplinären Verbindungen zwischen Rechenprozessen und mathematischen Strukturen konzentrierte.
Internationale Anstellungen
Nach seinem Abschluss verbrachte Engeler vierzehn Jahre in den Vereinigten Staaten. Während dieser Zeit hielt er Lehrpositionen an der University of Minnesota und der University of California, Berkeley. Diese Rollen ermöglichten es ihm, sich in die sich schnell entwickelnde Landschaft der amerikanischen wissenschaftlichen Informatik Mitte des 20. Jahrhunderts einzubringen, bevor er schließlich in sein Heimatland zurückkehrte.
Tätigkeit an der ETH Zürich
Engeler kehrte 1972 in die Schweiz zurück, um eine Professur an der ETH Zürich anzunehmen. Er lehrte dort fünfundzwanzig Jahre lang Logik und Informatik bis zu seiner Pensionierung im Jahr 1997. Seine Arbeit in dieser Zeit, einschließlich der Sammlung Algorithmic Properties of Structures: Selected Papers of Erwin Engeler von 1993, unterstrich sein Engagement für die Definition der logischen Grundlagen des algorithmischen Designs.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Berufliche Anerkennung
Die Association for Computing Machinery würdigte seine Beiträge zum Fachgebiet, indem sie ihn 1995 zum ACM Fellow ernannte. Darüber hinaus blieb er als Mitglied der Academia Europaea aktiv in der wissenschaftlichen Gemeinschaft tätig. Er blieb bis zum Ende seiner Karriere in Zürich ein produktiver Akademiker und verstarb am 28. Juli 2026 im Alter von 96 Jahren.
Fakten auf einen Blick
- Geboren: 1930, Schaffhausen - Gestorben: 28. Juli 2026 - Ausbildung: ETH Zürich - Wichtige akademische Positionen: University of Minnesota, University of California, Berkeley, ETH Zürich - Berufliche Auszeichnungen: ACM Fellow (1995) - Mitgliedschaften: Academia Europaea, Association for Computing Machinery
Häufige Fragen
### Was waren Engelers Hauptforschungsgebiete?
Er war ein Mathematiker und Informatiker, der sich auf die Wechselbeziehungen zwischen Logik und wissenschaftlicher Informatik spezialisierte.
### Wo hatte Engeler Lehrpositionen inne?
Er lehrte an der University of Minnesota, der University of California, Berkeley, und der ETH Zürich.
