Здравствуйте, GhostCoders, Вы писали:

Я во всё не вникал, но вот тут очевидная ошибка.

GC> Почему? Возьмем алгоритм сортировки.
GC> Построим "другой" алгоритм сортировки, который будет вызывать нормальный алгоритм сортировки и зависать.
GC> Тьюринг доказал, что его не существует. Отсюда вывод, что алгоритмов сортировки не существует.
Нет, Тьюринг доказал несуществование не любых зависающих алгоритмов, а конкретно Анализатора.
Алгоритм сортировки с зависанием — очевидно существует. Более того, тривиально построить алгоритм, который берёт на вход любой алгоритм и преобразует его в зависающий.