Erwin Engeler
Erwin Engeler (* 13. Februar 1930 in Schaffhausen;[1] † 28. Juli 2026[2]) war ein Schweizer Mathematiker, der im 20. Jahrhundert wegweisende Arbeiten zu den Wechselbeziehungen zwischen Logik, Informatik und wissenschaftlichem Rechnen leistete. Er war einer der Studenten von Paul Bernays an der ETH Zürich.
Leben
[Bearbeiten | Quelltext bearbeiten]Nach seiner Promotion zu «Untersuchungen zur Modelltheorie» (1958)[3][4] verbrachte Engeler vierzehn Jahre in den Vereinigten Staaten und lehrte an der University of Minnesota und an der University of California, Berkeley. 1959 steuerte er einen unabhängigen Beweis mehrerer äquivalenter Bedingungen zur Omega-Kategorizität bei, einem wichtigen Konzept in der Modelltheorie. 1972 kehrte er als ordentlicher Professor für Logik und Informatik an die ETH Zürich zurück. Seine Einführungsvorlesung mit dem Titel «Die Herausforderung des Computers an die Wissenschaft» hielt er am 7. Januar 1972.[5] Bis zu seiner Emeritierung 1997 blieb er an der ETH Zürich tätig. Seine Abschiedsvorlesung am 10. Dezember 1996 befasste sich mit dem Thema «Wie die Mathematik zum Computer kam».[6]
Der Academia Europaea gehörte er seit 1991 als ordentliches Mitglied an. Engeler wurde 1995 zum Fellow der Association for Computing Machinery ernannt.
Zu seinen Doktoranden zählte Preda Mihăilescu.
Ende Juli 2026 starb er im Alter von 96 Jahren.
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Website an der ETH Zürich
- Erwin Engeler: Die Herausforderung des Computers an die Wissenschaft. Einführungsvorlesung. Videoportal der ETH Zürich, 7. Januar 1974 (Audio).
- Erwin Engeler: Wie die Mathematik zum Computer kam. Abschiedsvorlesung. Videoportal der ETH Zürich, 10. Dezember 1996.
- Erwin Engeler bei der Academia Europaea.
- Erwin Engeler in der Datenbank zbMATH
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ CV, ae-info.org, abgerufen am 1. August 2026.
- ↑ Todesanzeige. Funere.com, Juli 2026, abgerufen am 31. Juli 2026.
- ↑ Erwin Engeler: Untersuchungen zur Modelltheorie. ETH Diss No.: 2734. 1958, abgerufen am 20. Oktober 2022.
- ↑ Erwin Engeler im Mathematics Genealogy Project (englisch) abgerufen am 1. August 2026.
- ↑ Erwin Engeler: Die Herausforderung des Computers an die Wissenschaft. Einführungsvorlesung (Tonaufzeichnung). 7. Januar 1972, abgerufen am 20. Oktober 2022.
- ↑ Erwin Engeler: Wie die Mathematik zum Computer kam. Abschiedsvorlesung (Videoaufzeichnung). 10. Dezember 1996, abgerufen am 20. Oktober 2022.
| Personendaten | |
|---|---|
| NAME | Engeler, Erwin |
| KURZBESCHREIBUNG | Schweizer Mathematiker |
| GEBURTSDATUM | 13. Februar 1930 |
| GEBURTSORT | Schaffhausen |
| STERBEDATUM | 28. Juli 2026 |
