История возникновения термина "алгоритм"

Частичная формализация понятия алгоритма началась с попыток решения проблемы разрешения (нем. Entscheidungsproblem), которую сформулировал Давид Гильберт в 1928 году. Следующие этапы формализации были необходимы для определения эффективных вычислений [1] или "эффективного метода" [2]; среди таких формализаций - рекурсивные функции Геделя - Эрбрана - Клини 1930, 1934 и 1935 гг., λ-исчисление Алонзо Чёрча 1936 г., "Формулировка 1" Эмиля Поста 1936 года и машина Тьюринга.