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

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

Как говорил один из самых крупных математиков XX в. Джон фон Нейман (1903–1957), «в конечном счёте современная математика находит применение. А ведь заранее и не скажешь, что так должно быть».

Нередко утверждают, что математику следует рассматривать как часть физики, поскольку она описывает внешний физический мир. Но с тем же успехом её можно считать частью психологии, поскольку изучаемые в ней абстракции суть явления нашего мышления, а значит, должны проходить по ведомству психологии. Взять, например, такое основное (и, может быть, самое главное) понятие математики, как понятие натурального числа, т. е. числа, являющегося одновременно и целым, и положительным (иногда к натуральным числам причисляют ещё и число ноль, для чего есть серьёзные основания). Ведь показать, скажем, число пять невозможно, можно только предъявить пять пальцев или пять иных предметов. Уже здесь не такая уж малая степень абстракции. Ещё более высокая степень абстракции в числе пять септиллионов: ясно, что предъявить столько предметов невозможно. И уж совсем высокая (и одновременно глубокая) абстракция заключена в понятии натурального числа вообще и натурального ряда как совокупности всех натуральных чисел. Здесь поле, которое психология только начала распахивать. Упоминавшийся уже Лузин, который был не только математиком, но и философом (и даже его избрание в 1929 г. в Академию наук СССР произошло «по кафедре философии»), так высказывался на эту тему: «По-видимому, натуральный ряд чисел не представляет собой абсолютно объективного образования. По-видимому, он представляет собой функцию головы того математика, который в данном случае говорит о натуральном ряде».

Тем не менее два математика на разных континентах приходят к одним и тем же выводам о свойствах натурального ряда чисел, хотя могут наблюдать числа никак не внешним зрением, а лишь зрением внутренним, мысленным. В этом труднообъяснимом единстве взглядов на идеальные сущности некоторые усматривают доказательство существования Бога. (Как пишет Ю. И. Манин, «мы [математики. – В. У.] изучаем идеи, с которыми можно обращаться так, как если бы они были реальными предметами»[24]. Весь вопрос в том, почему это возможно.)

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