Математиком, который показал возможность существования универсальной вычислительной машины выполнить любую эффективную процедуру, считается... (это НЕ Тьюринг)
ответ, желательно чтобы был развернут, или с ссылкой на источник !