Алонзо Чёрч

Алонзо Чёрч (14 июня 1903 — 11 августа 1995) — выдающийся американский математик и логик, внесший значительный вклад в основы информатики.

Алонзо Чёрч

Основные достижения направления деятельности:

  • Лямбда-исчисление
  • Тезис Чёрча-Тьюринга
  • Функциональное программирование
  • Теория вычислимости
  • Теория алгоритмов
  • Теорема Чёрча-Тьюринга

Одно из важных достижений:
Тезис Чёрча-Тьюринга: любая функция, которая может быть вычислена физическим устройством, может быть вычислена машиной Тьюринга.