Как не ошибаться. Сила математического мышления - [7]

Как правило, мы преподаем математику в виде длинного перечня правил. Вы изучаете эти правила, чтобы подчиняться им, потому что в противном случае вы получите тройку с минусом. Но не это математика. Мы называем математикой изучение вещей, которые происходят определенным образом по той простой причине, что другого способа не существует.

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

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

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

Перефразируя Клаузевица, можно сказать, что математика – это продолжение здравого смысла иными средствами[11].

С одной стороны, без строгих структур, которые предоставляет математика, здравый смысл может ввести вас в заблуждение. Именно это произошло с командующими, которые хотели укрепить броней и без того надежные части самолета. С другой – формальная математика без здравого смысла (без постоянного взаимодействия между абстрактными рассуждениями и интуитивными догадками по поводу количества, времени, пространства, движения, поведения и неопределенности) была бы всего лишь бесплодным упражнением в следовании правилам и счетоводстве[12]. Другими словами, математика была бы именно тем, чем считает ее недовольный студент, изучающий математический анализ.

В этом кроется настоящая опасность. В эссе The Mathematician («Математик»)[13], опубликованном в 1947 году, Джон фон Нейман предупреждал:

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

О какой математике пойдет речь в моей книге?

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