Эрвин Энгелер

Эрвин Энгелер (родился 13 февраля 1930 года) — швейцарский математик, который провел пионерскую работу по взаимосвязи между логикой , компьютерной наукой и научными вычислениями в 20 веке. Он был одним из студентов Пола Бернайса в ETH Zürich .

После получения докторской степени в 1958 году Энгелер провел четырнадцать лет в Соединенных Штатах, преподавая в Университете Миннесоты и Калифорнийском университете в Беркли . В 1959 году он внес независимый вклад в доказательство нескольких эквивалентных условий омега-категоричности , важной концепции в теории моделей . Он вернулся в Швейцарию в 1972 году, где он занимал должность профессора логики и компьютерных наук в ETH до своей отставки в 1997 году.

В 1995 году Энгелер был назначен членом Ассоциации вычислительной техники .

Избранные публикации

Энгелер, Эрвин (1993). Алгоритмические свойства структур: избранные труды Эрвина Энгелера. World Scientific. ISBN 978-981-02-0872-1.

Внешние ссылки

Эрвин Энгелер в проекте «Генеалогия математики»
Домашняя страница профессора Энгелера в Швейцарской высшей технической школе Цюриха .