Alex: Может его просто заморозить, дабы не было у посетителей форума соблазна продолжать грешить?
Алексей Лотов: Пример алгоритмически неразрешимой задачи:
Нахождение для любого входного файла программы наименьшего возможного размера, печатающей этот файл, является алгоритмически неразрешимой задачей, поэтому "идеальный" архиватор невозможен.
Целостный единственный Мир устроен бесконечно сложно, а "множество всех множеств" не существует (что доказывается элементарно).
Кажется очевидным и банальным, что в бесконечно сложном Мире лишь для узкого класса задач можно надеяться, что нам повезет и решение будет приемлемым для практического использования.
В таком Мире можно придумать достаточно много задач, попытка решения которых лишь породит очередную сложность. Причем никогда не надо забывать, что в Будущем мы наверняка поднимемся на такой уровень понимания, с которого многие неразрешимые задачи будут решены, если немного пересмотреть условия задач в русле реального Глобального исторического процесса развития вашей родной цивилизации.