Ответ на пост «Зачем нам учить все эти интегралы?»
30 мая 1832 года 20-летний Эварист Галуа был смертельно ранен на дуэли и умер на следующий день. В ночь перед дуэлью он занимался тем, что в письме своему другу Огюсту Шевалье сводил воедино дело своей короткой жизни: теорию групп — один из фундаментальных языков математики.
В течение следующих ~100 лет теория групп оставалась одним из самых абстрактных разделов математики (после теории чисел, см. ниже), пока не выяснилось, что симметрии физических систем чрезвычайно удобно описываются группами. В частности, Стандартная модель элементарных частиц построена на группе калибровочных симметрий SU(3) × SU(2) × U(1); например, бета-распад описывается электрослабым взаимодействием, основанным на SU(2)L × U(1)Y. Ещё через несколько десятилетий выяснилось, что бета-излучение можно использовать в медицине, конкретнее — в ядерной медицине, а ещё конкретнее — рак щитовидной железы лечат йодом-131, который разрушает опухоль изнутри в результате бета-распада.
Да, а ещё теория групп очень пригодилась квантовой механике. В 1925 году Вольфганг Паули, пытаясь объяснить свойства атомного спектра, придумал для элементарных частиц «спин» — внутренний угловой момент. Ну, представьте, что электрон — это такой маленький заряженный шарик и вращается; только он не шарик и не вращается. Спин описывается группой SU(2).
В 1937-1938 годах Исидор Раби разработал метод магнитного резонанса для измерения магнитных моментов атомных ядер. В 1973 году Пол Лотербур придумал, как с помощью ядерного магнитного резонанса можно получать 3D-изображения сложных структур; Питер Мэнсфилд затем разработал математические методы формирования и ускорения таких изображений. На основе этих работ была создана магнитно-резонансная томография.
Около 300 года до нашей эры Евклид решил описать аксиомы геометрии — ну вот те, которые в шестом классе проходятся. Про точки, идеальные прямые, ровные окружности и так далее. Зачем — одному Зевсу ведомо. В 1829 году Николай Лобачевский, исследуя эту абсолютно бесполезную и полностью фиктивную конструкцию, выяснил, что, если отказаться от аксиомы о единственной параллельной прямой, то получится совершенно новая фантастическая геометрия, в которой через точку вне данной прямой проходит бесконечно много прямых, не пересекающих данную. В 1854 году Бернхард Риман пошёл ещё дальше — а что, если свойства пространства вообще могут меняться от точки к точке, и нет никаких «параллельных прямых» и вот этого всего.
В 1915 году эту идею подхватил Эйнштейн: а что, если пространство-время, которое мы наблюдаем, на самом деле искривляется в зависимости от распределения материи и энергии. Яблоко падает на Землю потому, что Земля своей массой искривляет пространство-время. Прошло каких-то 100 лет и, внезапно, оказалось, что у этой наркомании (а я не шучу, тензорный анализ на многообразиях — моё почтение, я вообще не понимаю, как нормальный человек это может осилить) есть вполне практическое применение. Оказывается, если спутник движется вокруг Земли в её гравитационном поле, то его часы идут немного медленнее, чем у землян, на 38 микросекунд в сутки. Разница невелика, но для точного определения координат существенна: без учёта эффектов Общей теории относительности ошибка GPS накапливалась бы примерно на 10 километров в день. Ну или, проще говоря, ни GPS, ни ГЛОНАСС вообще не работали бы без поправок Эйнштейна.
Да, а ещё тот же Евклид около 300 года до нашей эры изучал простые числа и первым доказал, что простых чисел — бесконечное количество. Веками выросшая из выкладок Евклида теория чисел оставалась чистейшей игрой разума — Годфрид Харди аж в 1940(!) году едко называл теорию чисел «самой очевидно бесполезной областью чистой математики». В 1970-х Уитфилд Диффи и Мартин Хеллман, работая с этой математикой, внезапно показали, что она довольно полезна для криптографии: существуют операции, которые легко выполнить в одну сторону и очень сложно — в другую. Конкретно, перемножить два больших простых числа очень просто, а вот разложить их произведение обратно на простые множители — очень-очень сложно. Так была изобретена асимметричная криптография. Если вы видите рядом с именем сайта в строке браузера значок защищённого соединения — значит, ваше соединение использует алгоритмы Диффи-Хеллмана и недоброжелатель, даже перехватив сообщения, не сможет просто так их расшифровать. Да, этот ваш биткойн работает на тех же принципах.
Сейчас ввиду развития квантовых компьютеров (ох блядь вы не хотите знать, какая там математика задействована) постепенно происходит переход на новые постквантовые алгоритмы шифрования (ох блядь вы не хотите знать, какая там математика задействована).
Что я хотел сказать этим длинным постом без единой картинки.
Интегралы не пригодились мне ни разу в жизни. И я очень, очень, жалею об этом. Увы, мне не хватило таланта, а может, и усердия, для фундаментальной науки. Да, я занимался в своей жизни практически полезными вещами типа веб-картографии; но я мог ими заниматься потому, что на протяжении трёх предыдущих тысяч лет любознательные умы полностью игнорировали вопрос «а зачем тебе пригодятся интегралы».
ЗЫ: этот ваш ИИ, если что, обучается, минимизируя математическое ожидание ошибки — то есть, формально говоря, считает интеграл Лебега по распределению данных.