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