В чем заключается тезис Тьюринга в контексте теории алгоритмов?

Тезис Тьюринга в контексте теории алгоритмов гласит: «Каково бы ни было разумное понимание алгоритма, любой алгоритм, соответствующий такому пониманию, может быть реализован на машине Тьюринга». habr.com

Машина Тьюринга — это математическая модель, которая является абстракцией и никогда не была реализована. sarfti.ru С её помощью доказывается возможность реализации сложных алгоритмических процессов на основе простых операций. sarfti.ru

Тезис Тьюринга является формальным определением алгоритма и выдвинут исходя из опыта, но не может быть доказан методами математики. mathhelpplanet.com