По поводу "оптимизации" полностью согласен с
Ink'ом
Формализованная оптимизация - частный случай. То что для оптимизации нужна максимизация (минимизация) некоторого критерия - это правда. Но эти задачи решаются и в рамках логических и вербальных моделей, экспертных оценок и т.д. (в гуманитарных науках). Как можно математически оптимизировать законодательство? Ту более важен качественный анализ. Ну и в экономике оптимизацией занимались еще до появления мат. моделей (оптимизация землепользования в хозяствах Древнего Рима - добивались максимизации показателей путем проб и ошибок, так сказать натуральная модель. Потом оптимальный вариант закреплялся в традициях). Ну и так далее. Есть оптимизационные задачи и в психологии, и т.д.