суббота, 22 мая 2010 г.

Очередное обещание забанить))

Alex: Может его просто заморозить, дабы не было у посетителей форума соблазна продолжать грешить?

Алексей Лотов: Пример алгоритмически неразрешимой задачи:
Нахождение для любого входного файла программы наименьшего возможного размера, печатающей этот файл, является алгоритмически неразрешимой задачей, поэтому "идеальный" архиватор невозможен.

Целостный единственный Мир устроен бесконечно сложно, а "множество всех множеств" не существует (что доказывается элементарно).

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

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

Комментариев нет: