при любых значениях a и b
a + b = b + a.
Несмотря на официальный вид этой формулы, мы говорим здесь о факте, который инстинктивно понимает каждый ребенок.
Немного другой случай – умножение. Формула выглядит почти так же:
при любых значениях a и b
a × b = b × a.
Мозг, анализирующий данное утверждение, соглашается с ним не так быстро, как в случае сложения. Разве отвечает здравому смыслу тот факт, что два набора из шести объектов дают в результате то же, что и шесть наборов из двух объектов?
Возможно, это утверждение и не отвечает здравому смыслу, но оно может стать очевидным. Вот одно из моих первых математических воспоминаний. Я лежу на полу в доме своих родителей, щекой на жестком коврике, и смотрю на стереосистему. Скорее всего, я слушаю вторую сторону «Синего альбома» Beatles. Мне, наверное, лет шесть. Это происходит в семидесятых, значит, стереосистема установлена в корпусе из ДСП с прямоугольными отверстиями на боковой панели. Восемь отверстий по горизонтали, шесть отверстий по вертикали. Я лежу и рассматриваю эти отверстия. Шесть рядов отверстий. Восемь столбцов отверстий. Фокусируя свой взгляд то на одном, то на другом, я переключаю свой мозг с рядов на столбцы и наоборот. Шесть рядов с восемью отверстиями в каждом. Восемь столбцов с шестью отверстиями в каждом.
А затем я понял: восемь групп по шесть отверстий – это то же самое, что шесть групп по восемь отверстий. И не потому, что когда-то мне объяснили правило, а потому, что иначе быть не может. Как ни подсчитывай, но количество отверстий в панели останется одним и тем же.
Как правило, мы преподаем математику в виде длинного перечня правил. Вы изучаете эти правила, чтобы подчиняться им, потому что в противном случае вы получите тройку с минусом. Но не это математика. Мы называем математикой изучение вещей, которые происходят определенным образом по той простой причине, что другого способа не существует.
Посмотрим правде в глаза: не все в математике можно сделать настолько доступным для нашей интуиции, как сложение и умножение. Дифференциальное и интегральное исчисление невозможно понять, руководствуясь только здравым смыслом. И все-таки исчисление проистекает из здравого смысла: Ньютон взял наши фактические знания о движении объектов по прямой линии, составил формальное описание этого движения, а затем на основе формальной схемы построил универсальное математическое описание движения. Имея в своем распоряжении теорию Ньютона, вы можете применить ее к решению задач, от которых у вас голова пойдет кругом, если вы не призовете на помощь формулы. Точно так же в нас заложены ментальные системы оценки вероятности неопределенных событий. Однако эти системы довольно слабы и ненадежны, особенно когда речь идет о крайне редких событиях. Именно в этом случае мы подкрепляем свою интуицию фундаментальными теоремами и методами, построив на этой основе математическую теорию вероятностей.
Специальный язык, на котором математики общаются друг с другом, – это замечательный инструмент для точного и лаконичного описания сложных идей. Но из-за непонятности этого языка у людей непосвященных может возникнуть ощущение, что данная область мысли недоступна пониманию обычного человека. Но все не так.
Математика – это как работающее на атомной энергии вспомогательное приспособление, которое вы прикрепляете к своему здравому смыслу, многократно увеличив его охват и эффективность. Несмотря на всю силу математики, ее абстрактность и символику, порой внушающую страх, истинная умственная работа, которая требуется в ней, мало чем отличается от того, как мы размышляем над решением простых повседневных задач. В этом случае, на мой взгляд, полезно представить образ Железного человека
[10], пробивающего дыру в кирпичной стене. С одной стороны, сила, пробивающая стену, порождена не мышцами Тони Старка, а совокупностью точно синхронизированных действий сервомеханизмов, которые приводит в движение компактный генератор бета-частиц. С другой стороны, с точки зрения Тони Старка, он просто пробивает стену – точно так же, как он сделал бы и без своего снаряжения, только тогда это было бы гораздо труднее.
Перефразируя Клаузевица, можно сказать, что математика – это продолжение здравого смысла иными средствами
[11].
С одной стороны, без строгих структур, которые предоставляет математика, здравый смысл может ввести вас в заблуждение. Именно это произошло с командующими, которые хотели укрепить броней и без того надежные части самолета. С другой – формальная математика без здравого смысла (без постоянного взаимодействия между абстрактными рассуждениями и интуитивными догадками по поводу количества, времени, пространства, движения, поведения и неопределенности) была бы всего лишь бесплодным упражнением в следовании правилам и счетоводстве
[12]. Другими словами, математика была бы именно тем, чем считает ее недовольный студент, изучающий математический анализ.
В этом кроется настоящая опасность. В эссе The Mathematician («Математик»)
[13], опубликованном в 1947 году, Джон фон Нейман предупреждал:
