> -- Илья Ермаков писал(а):
> нельзя создать формальную систему (алгоритм), которая даст ответ о произвольном цикле, завершим он или нет, но человек даёт такой ответ.
Ну, разве что: "мамой клянусь, завершим".