Апология математики (сборник статей)

Раздел математики, сейчас называемый математическим анализом, в старые годы был известен под названием «дифференциальное и интегральное исчисление». Отнюдь не всем обязательно знать точное определение таких основных понятий этого раздела, как производная и интеграл. Однако каждому образованному человеку желательно иметь представление о производном числе как о мгновенной скорости (а также как об угловом коэффициенте касательной) и об определённом интеграле как о площади (а также как о величине пройденного пути). Поучительно знать и о знаменитых математических проблемах (разумеется, тех из них, которые имеют общедоступные формулировки) – решённых (как проблема Ферма и проблема четырёх красок[8]), ждущих решения (как проблема близнецов[9]) и тех, у которых решения заведомо отсутствуют (из числа задач на геометрическое построение и простейших задач на отыскание алгоритмов). Ясное понимание несуществования чего-либо – чисел ли с заданными свойствами, или способов построения, или алгоритмов – создаёт особый дискурс, который можно было бы назвать культурой невозможного. И культура невозможного, и предпринимаемые математикой попытки познания бесконечного значительно расширяют горизонты мышления.

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

Здесь возможен следующий упрёк. Хотя в названии настоящего очерка политкорректно говорится о преодолении барьера, изложение явно уклоняется в сторону пропаганды «математического». Автор болезненно относится к такому упрёку и спешит оправдаться. Дело в том, что гуманитарная культура не нуждается в пропаганде: она не только повсеместно признана непременной частью культуры вообще, но часто отождествляется с последней. Отличать ямб от хорея, понимать смысл выражения «всевышней волею Зевеса», а заодно и знать, кто такой Зевес, – все (или по крайней мере большинство) согласны в том, что подобные знания и умения входят в общеобязательный культурный багаж. Включение же в этот багаж чего-то математического в качестве обязательной составной части многим может показаться непривычным и потому нуждается в лоббировании.

IV

Однако образование состоит не только в расширении круга знаний. В неменьшей степени оно подразумевает расширение навыков мышления. Математик и гуманитарий обладают различными стилями мышления, и ознакомление с иным стилем обогащает и того и другого. Скажем, изучение широко распространённого в математике аксиоматического метода, дозволяющего использовать в рассуждениях только ту информацию, которая явно записана в аксиомах, прививает привычку к строгому мышлению. А знакомство со свойствами бесконечных множеств развивает воображение. Потребуются ли когда-нибудь, скажем, историку аксиоматический метод или бесконечные множества? Более чем сомнительно. Но вот строгость мышления и воображение не помешают и ему. С другой стороны, и математику есть чему поучиться у гуманитария. Последний более толерантен к чужому мнению, чем математик, и это говорится здесь в пользу гуманитария (разумеется, имеются в виду некоторые усреднённые – а то и воображаемые автором этих строк – гуманитарий и математик). Математические понятия резко очерчены, тогда как гуманитарные расплывчаты; и как раз эта расплывчивость делает их более адекватными для описания окружающего нас расплывчатого мира, поскольку его явления (или надо сказать «его феномены»?) сами расплывчаты. Математик ведь привык иметь дело с такими утверждениями, каждое из которых либо истинно, либо ложно, и эта привычка поневоле заставляет его видеть мир в чёрно-белом цвете. Его мышление настроено на более высокую контрастность или резкость (не знаю, какое слово здесь правильнее употребить). Ему, в отличие от гуманитария, чужда или непонятна мысль, что истина, может быть, и одна, но вот правда у каждого своя.

Поучительно сравнить между собой методы рассуждений, применяемые в математических и в гуманитарных науках. На самом деле речь идёт здесь о двух типах мышления, и человеку полезно познакомиться с каждым из них. Автор не берётся (потому что не умеет) описать эти типы, но попытается проиллюстрировать на двух примерах своё видение их различия.