Джордан Элленберг - Как не ошибаться. Сила математического мышления

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

Математика – это как работающее на атомной энергии вспомогательное приспособление, которое вы прикрепляете к своему здравому смыслу, многократно увеличив его охват и эффективность. Несмотря на всю силу математики, ее абстрактность и символику, порой внушающую страх, истинная умственная работа, которая требуется в ней, мало чем отличается от того, как мы размышляем над решением простых повседневных задач. В этом случае, на мой взгляд, полезно представить образ Железного человека [10] Железный человек по имени Энтони Эдвард, или Тони Старк, – герой комиксов. Прим. М. Г. , пробивающего дыру в кирпичной стене. С одной стороны, сила, пробивающая стену, порождена не мышцами Тони Старка, а совокупностью точно синхронизированных действий сервомеханизмов, которые приводит в движение компактный генератор бета-частиц. С другой стороны, с точки зрения Тони Старка, он просто пробивает стену – точно так же, как он сделал бы и без своего снаряжения, только тогда это было бы гораздо труднее.

Перефразируя Клаузевица, можно сказать, что математика – это продолжение здравого смысла иными средствами [11] Парафраз известной формулировки Карла фон Клаузевица: «Война есть не что иное, как продолжение государственной политики иными средствами» ( К. Клаузевиц . О войне / Пер. А. Рачинского. М.: Логос; Наука, б.г. [1998]. С. 27). Прим. ред. .

С одной стороны, без строгих структур, которые предоставляет математика, здравый смысл может ввести вас в заблуждение. Именно это произошло с командующими, которые хотели укрепить броней и без того надежные части самолета. С другой – формальная математика без здравого смысла (без постоянного взаимодействия между абстрактными рассуждениями и интуитивными догадками по поводу количества, времени, пространства, движения, поведения и неопределенности) была бы всего лишь бесплодным упражнением в следовании правилам и счетоводстве [12] Владимир Игоревич Арнольд приводил следующие слова Годфри Харди (в двух вариантах – и оба раза с негодованием): 1) «Общая черта королевы и математики – полная бесполезность обеих» ( В. Арнольд . Переориентация науки на «прикладные исследования» приведет к снижению интеллектуального уровня страны // Троицкий вариант – Наука. 2008. № 19. http://trv-science.ru/2008/12/23/18/ ); 2) «Теория чисел является королевой математики вследствие своей полной бесполезности» ( В. Арнольд . Нужна ли в школе математика? Доклад на Всероссийской конференции «Математика и общество. Математическое образование на рубеже веков» в Дубне 21 сентября 2000 года // Скепсис. http://scepsis.net/library/id_649.html ). Харди написал это в начале прошлого века. Сейчас всякий раз, когда вы пользуетесь кредитной карточкой, вы (точнее, банк) используете алгоритмы шифрования транзакций, основанные на результатах теории чисел. Прим. М. Г. . Другими словами, математика была бы именно тем, чем считает ее недовольный студент, изучающий математический анализ.

В этом кроется настоящая опасность. В эссе The Mathematician («Математик») [13] См.: J. von Neumann . Collected Works. Volume I: Logic, Theory of Sets and Quantum Mechanics. New York; London; Oxford; Paris: Pergamon Press, 1961. Pp. 1–9. [Приведенная далее цитата дается в пер. Ю. А. Данилова, см.: Ю. А. Данилов . Математик фон Нейман и его «Математик» // Природа. 1983. № 2. С. 86–87. Прим. перев. ] , опубликованном в 1947 году, Джон фон Нейман предупреждал:

На довольно большом удалении от своего эмпирического источника и тем более во втором и третьем поколении, когда математическая дисциплина лишь косвенно черпает вдохновение из идей, идущих от «реальности», над ней нависает смертельная опасность. Ее развитие все более и более определяется чисто эстетическими соображениями, оно все более и более становится искусством для искусства. Само по себе это неплохо, если она взаимодействует с примыкающими математическими дисциплинами, обладающими более тесными эмпирическими связями, или если данная математическая дисциплина находится под влиянием людей с исключительно развитым вкусом. Но существует серьезная угроза, что математическая дисциплина будет развиваться по линии наименьшего сопротивления, что вдали от источника поток разветвится на множество ручейков и дисциплина превратится в хаотическое нагромождение деталей и сложностей. Иначе говоря, при большом отдалении от эмпирического источника или после основательного абстрактного «инбридинга» (близкородственного скрещивания. – Ю. Д. ) математической дисциплине грозит опасность вырождения.