Опытных математиков — независимо от эпохи, научной школы или страны пребывания — роднит интересный вопрос

Опытных математиков — независимо от эпохи, научной школы или страны пребывания — роднит интересный вопрос. Где та граница между полезным обобщением и абстракцией, существующей исключительно ради себя самой? Одни считают, что именно способность к абстрагированию гротендиковских масштабов сделала математику мощнейшей интеллектуальной системой, когда-либо созданной человеком. Другие же опасаются, что в какой-то момент наука заговорит на языке, чуждом даже для специалистов.

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

Случайностью это не назовёшь: математика двигалась преимущественно в сторону объединения разрозненных идей. Стоит кому-то обнаружить, что несколько различных задач подчиняются единой закономерности — и появляется новый уровень обобщения. Так математика растёт и развивается во всех направлениях: от частных исследований знание становится содержательнее, а от выделения в них общего — шире по охвату. Воистину, каждое удачное обобщение обогащает и упрочняет науку.

Вот почему многие математики воспринимают абстракцию чуть ли не основным рабочим инструментом своей профессии. Она позволяет перестать распыляться на второстепенные мелочи, сосредотачиваясь на главном. В этом смысле выделение общего экономит интеллектуальные усилия и «силачом» слывёт недаром: столько свойств — одним ударом! Доказательным, разумеется.

После нескольких успешных обобщений возникает естественное желание продолжать. Если удалось объединить десять разных объектов, почему бы не объединить сто? Если получилось построить общую теорию для нескольких разделов математики, почему бы не построить ещё более общую? Так постепенно надстраиваются новые этажи абстракции. На определённом уровне математики начинают изучать уже не сами объекты, а способы их описания. Затем предметом исследования становятся отношения между такими способами. Позже появляются ещё более общие конструкции — об отношениях между отношениями. Каждая новая ступень смотрится логичным продолжением предыдущей.

И вот здесь начинаются споры. Критики этого подхода считают, что по достижении определённой степени абстракции связь с первоначальными задачами становится настолько слаба, что теряется всякий смысл продолжать обобщение. Появилось даже ироничное выражение «абстрактный нонсенс», которым в середине XX века отдельные математики и физики называли наиболее радикальные направления теории категорий и связанных с ней исследований. Сам термин родился скорее как дружеская насмешка, чем как научное определение, но хорошо отражал мнение части математического сообщества.

Современная математика разрослась настолько, что специалисты из соседних областей уже подчас не способны читать статьи друг друга. Исследователю, занимающемуся алгебраической геометрией, могут с большим трудом даваться публикации по эргодической теории, хотя обе дисциплины относятся к одной науке. Чем выше уровень абстракции, тем уже становится круг людей, свободно владеющих её языком.

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

История науки призывает относиться к подобным выводам с осторожностью. Вспомните только участь мнимых чисел. Когда они появились, многие математики воспринимали их как формальную игру с невозможными объектами — даже само название подчёркивало сомнительный статус новой идеи. Сегодня комплексные числа лежат в основе электротехники, обработки сигналов, квантовой механики и множества инженерных дисциплин.

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

А теория чисел, которую на протяжении многих столетий называли одной из самых бесполезных областей математики? Многие её результаты создавались исключительно из исследовательского интереса, но именно они сегодня составляют основу современной криптографии. Каждый защищённый банковский перевод, интернет-магазин или электронная подпись используют математические конструкции, долгое время считавшиеся исключительно академическим развлечением.

Подобные примеры встречаются настолько часто, что Юджин Вигнер посвятил этому знаменитое эссе «о непостижимой эффективности математики в естественных науках». Его удивляло постоянство, с которым идеи, рождавшиеся без всякой практической цели, спустя десятилетия или даже столетия неожиданно оказывались в основаниях новых технологий.

Любопытный парадокс. Если требовать от каждого математического исследования немедленной пользы, можно случайно остановить развитие направлений, которые изменят мир через полвека. Если же полностью отказаться от подобных вопросов, рискуем построить область знаний, связь которой с остальной наукой станет настолько слабой, что её смогут оценить лишь несколько десятков специалистов.

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

Как по мне, главная ошибка — объявить какую-то из двух этих позиций единственно правильной. История показывает, что наука многограннее, чем кажется. Одни направления рождаются из конкретных инженерных проблем и постепенно становятся всё более общими. Другие появляются как отвлечённые интеллектуальные конструкции, а затем неожиданно оказываются востребованы физикой, информатикой или экономикой. Эти два процесса постоянно переплетаются.

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

Телеграм: t.me/ainewsline

Источник: vk.com

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