Эрвин Энгелер - Википедия - Erwin Engeler

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

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

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

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

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

внешняя ссылка