Грязная математика

На днях мнеассистенту написала знакомая с мастерской ScienceArt – у неё сейчас курс по вычислительной математике, и её немного смущает отсутствие строгости в подходах. "От препода слышать 'а эту формулу я сам придумал' прикольно, но немного напрягает".

Хотелось ответить как в том меме с Джеймс Франко "first time?", но получился интересная разгон о природе численных методов. Я бы сказал что вычислительная математика — это грязная математика, математический панк. И в этом её красота.

Здесь формулы рождаются как "а давайте возьмём два delta h вместо одного, потому что так точнее выходит". К чёрту условности, главное – результат! Алгоритмы обрастают эвристиками и любой метод, доведённый до реальной библиотеки, становится как панк-группа со стажем: вроде и FFT, но не совсем, вроде метод Рунге-Кутты, но с десятком неформальных приёмов, вроде бы и квиксорт, но код такой что фиг поймёшь о чём тут речь. Обожаю.

И это нормально. Потому что задача не в том, чтобы всё было академически причёсано, а в том, чтобы мосты не падали и спутники не сбивались с орбиты. Когда формула работает — она имеет право на жизнь, даже если её вывели на салфетке в баре после третьей чашки эээ... кофе, ну да, пусть это будет кофебар.

И в конце концов, "я сам придумал эту формулу" в численных методах — это почти как "я обучил эту нейросеть" или "я сам собрал эту гитару в гараже". Формально да, это что-то новое. Но давайте не будем делать вид, что это что-то революционное. Просто ещё один трек в альбоме грязной, но удивительно драйвовой и прикладной математики.