Читать онлайн Владимир Успенский - Апология математики (сборник статей)

Редактор Маргарита Савина

Руководитель проекта А. Шувалова

Корректор Е. Аксёнова

Компьютерная верстка М. Поташкин

Дизайн обложки Ю. Буга

Иллюстрация на обложке shutterstock.com

© Успенский В., 2017

© Издание на русском языке, оформление. ООО «Альпина нон-фикшн», 2017

Все права защищены. Произведение предназначено исключительно для частного использования. Никакая часть электронного экземпляра данной книги не может быть воспроизведена в какой бы то ни было форме и какими бы то ни было средствами, включая размещение в сети Интернет и в корпоративных сетях, для публичного или коллективного использования без письменного разрешения владельца авторских прав. За нарушение авторских прав законодательством предусмотрена выплата компенсации правообладателя в размере до 5 млн. рублей (ст. 49 ЗОАП), а также уголовная ответственность в виде лишения свободы на срок до 6 лет (ст. 146 УК РФ).

Любезного читателя, купившего, укравшего, одолжившего, взявшего в библиотеке или иным способом получившего в постоянное или временное владение настоящую книгу, прошу прочесть предисловие к первому изданию. Оно идёт сразу вслед за этим предисловием.

Но ведь читатель сначала должен решить, стоит ли ему хотя бы фрагментарно читать настоящую книгу. Поэтому сообщаю, на кого она рассчитана. Настоящая книга рассчитана на образованных дилетантов.

Приятно отметить, что ошибку в одном из чертежей первого тиража первого издания указал мне вовсе не математик, а лингвист доктор филологических наук Анатолий Фёдорович Журавлёв.

Книга не вышла бы в свет, если бы этого не пожелало издательство «Альпина нон-фикшн». Приношу глубокую признательность этому издательству в лице тех, чьё содействие я ощутил.

Это генеральный директор Павел Дмитриевич Подкосов. Именно он позвонил мне и предложил переиздать «Апологию математики». Он пошёл мне навстречу в важном для меня вопросе: сделать исключение из стандартов издательства и использовать букву ё с двумя диакритическими точками. Личное общение с ним было приятным и полезным.

Это менеджер проектов Александра Михайловна Шувалова. С ней я вёл постоянную переписку. Она взяла на себя труд быть посредником между автором и генеральным директором, а также между автором и редактором книги.

Это редактор книги Маргарита Евгеньевна Савина. Не будучи математиком, она провела героическую работу по редактированию книги хотя и популярной, но всё же математической. Более того, она поправила некоторые формулы в этой книге.

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

1. Фразу Слово «число» выражает понятие числа можно записать так: Слово «число» выражает понятие 'число'.

2. Фразу Смысл предложения «Петя съел яблоко» состоит в том, что Петя съел яблоко можно записать так: Смысл предложения «Петя съел яблоко» есть 'Петя съел яблоко'.

Пропуски в цитатах обозначены многоточием, заключённым в квадратные скобки […], чтобы читатель не путал его с многоточием, употреблённым автором цитаты.

В сборник вошли девять текстов, написанных автором в разное время, с 1965 по 2008 г. Все они были в своё время опубликованы[1]. Однако при подготовке сборника тексты подвергались переработке, иногда минимальной, а иногда довольно существенной. Наилучший способ получить представление об их тематике – заглянуть в содержание; все они в той или иной степени относятся (или хотя бы примыкают) к не имеющей чётких границ области знания, которую одни именуют философией математики, другие – основаниями математики, третьи – ещё как-нибудь. К этой же области принадлежат работы А. Н. Колмогорова и П. К. Рашевского, включённые в сборник в качестве приложений I и II. Автор имел честь быть учеником А. Н. Колмогорова и слушать лекции П. К. Рашевского во время учёбы в Московском университете.

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

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

Хотел бы выразить глубокую благодарность заместителю главного редактора издательства «Амфора» Елене Сергеевне Суворовой, которая способствовала выходу в свет этой книги, и Татьяне Германовне Филатовой, которая эту книгу редактировала. Работать с ними было приятно.

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

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

Исчерпывающие причины такого стремительного (в течение последних 10–15 лет) изменения роли математики в современном мире, конечно, легче будет установить будущим историкам науки, чем нам, наблюдающим его сегодня. Однако уже сейчас можно, пожалуй, сказать, что основная причина заключается не только и не столько в конкретных успехах последних лет, сколько в осознании необъятных возможностей применения математики и появлении возросших потребностей в использовании этих возможностей.

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

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

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

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