Алонзо Чёрч (14 июня 1903 — 11 августа 1995) — выдающийся американский математик и логик, внесший значительный вклад в основы информатики.
Основные достижения направления деятельности:
- Лямбда-исчисление
- Тезис Чёрча-Тьюринга
- Функциональное программирование
- Теория вычислимости
- Теория алгоритмов
- Теорема Чёрча-Тьюринга
Одно из важных достижений:
Тезис Чёрча-Тьюринга: любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга.
Похожая информация: