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

Эрвин Энгелер (ок. 1975 г.)

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

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

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

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

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

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

• Эрвин Энгелер в проекте «Математическая генеалогия»
• Домашняя страница профессора Энгелера в ETH Zurich .