Alan Turing and Alonzo Church independently, and also together, introduced the formalization of an algorithm, with limits on what can be computed, and a "purely mechanical" model for computing .
Алан Тьюринг и Алонзо Черч параллельно друг с другом представили формализацию алгоритмов с определением пределов того, что может быть вычислено, и «чисто механическую» модель для вычисления.