Алгоритмически неразрешимые задачи

 

Пример алгоритмически неразрешимой задачи:

«Нахождение для любого входного файла программы наименьшего возможного размера, печатающей этот файл, является алгоритмически неразрешимой задачей, поэтому "идеальный" архиватор невозможен» [ ]

 

Целостный единственный Мир устроен бесконечно сложно, а «множество всех множеств» не существует, иначе бы оно содержало само себя в качестве собственного элемента.

 

Кажется очевидным, что в бесконечно сложном Мире лишь для узкого класса задач можно надеяться, что нам повезет и решение будет полным и приемлемым для практического использования.

 

В таком Мире (а другого у нас и нет) можно придумать достаточно много задач, попытка решения которых лишь породит очередную сложность.

 

Но никогда не надо забывать, что в Будущем мы наверняка поднимемся на такой уровень понимания, с которого многие неразрешимые задачи будут решены, если немного пересмотреть условия задач и выбирать только те из них, которые ложатся в русло реального Глобального исторического процесса развития вашей родной цивилизации.