timelets

Сейчас буду хвастаться.
Вчера вечером я догадался, как сформулировать теорему по поводу одной эмпирической зависимости, которую некий необыкновенно умный человек обнаружил лет 40 назад. У этой эмпирической зависимости очень капризный характер. Чтобы ею воспользоваться надо долго ковыряться, соблюдать кучу каких-то левых правил и ошибаться, ошибаться, ошибаться. Черная магия, а не инструмент.

Вчера сформулировал теорему, несколько раз ночью просыпался со всякими идеями, а сегодня днем я ее все-таки доказал с помощью простенького pullback из теории категорий. Теорема показывает, в каких случаях наша старая добрая эмпирическая зависимость обязана работать. Таким образом, вместо черной магии получаем более-менее приличный алгоритм, который, скорее всего, можно применять для решения нескольких классов проблем. Ура!

Самое смешное, что позавчера я совершенно отчаялся разобраться с Теорией Категорий. Задолбала она меня своей сложностью. Подумал, что поковыряюсь в последний раз, перед тем, как отложить на пару месяцев. А она взяла, да и сработала. Теперь у меня вместо веры в то, что старый добрый инструмент работает, есть знание, как и когда он должен работать. Знание - сила!