Апология математики

АПОЛОГИЯ 
МАТЕМАТИКИ

Москва
2017

Обновлённое 
и дополненное издание

Владимир Андреевич 
УСПЕНСКИЙ

ISBN 978-5-91671-735-8

Все права защищены. Никакая часть этой 
книги не может быть воспроизведена в какой бы то ни было форме и какими бы 
то ни было средствами, включая размещение 
в сети интернет и в корпоративных сетях, 
а также запись в память ЭВМ для частного 
или публичного использования, без письменного 
разрешения владельца авторских прав. По вопросу организации доступа к электронной библиотеке издательства обращайтесь по адресу 
mylib@alpina.ru

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

УДК 001.92:51
ББК 22.1
 
У77

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

Успенский В. А.

У77  
Апология математики: [сборник статей] / Владимир Андреевич 
Успенский. — М. : Альпина нон-фикшн, 2017. — 622 с.

ISBN 978-5-91671-735-8

Математическая биология, математическая лингвистика, математическая экономика, математическая психология — математика 
занимает всё более важное место во всех областях знаний. А между 
тем у многих гуманитариев сохраняется страх перед этой «царицей 
наук», как называл её М. В. Ломоносов. Но математика — это отнюдь 
не только цифры, теоремы и вычисления. Известный математик, 
лингвист и популяризатор науки Владимир Андреевич Успенский 
сравнивает математику с искусством в её способе познания мира. 
Сборник статей «Апология математики» автор замышлял не для специалистов, а для «просвещенных дилетантов». Доступно и увлекательно 
он рассказывает о роли математики в современном мире, о её проблемах, о параллелях с гуманитарными науками. Новое издание книги 
расширено и дополнено публикациями последних лет.

УДК 001.92:51
ББК 22.1

Содержание 

Предисловие ко второму изданию ...............................................7

Предисловие к первому изданию ..................................................9

Из предисловия к сборнику переводов 
«Математика в современном мире» ...........................................13

Математическое и гуманитарное:
преодоление барьера .......................................................................22

Апология математики, или О математике
как части духовной культуры .......................................................73

Глава 1
Ватсон против Холмса...................................................................73

Глава 2
Теорема Пифагора и теорема Ферма ........................................83

Глава 3
Проблемы нерешённые и проблемы нерешимые ...............107

Глава 4
Длины и числа.............................................................................. 136

Глава 5
Квадратура круга ........................................................................ 141

Глава 6
Массовые задачи и алгоритмы ................................................ 149

Глава 7
Парадокс Галилея, эффект Кортасара
и понятие количества ................................................................ 156

Глава 8
Параллельные прямые в мифологии, 
реальности и математике ......................................................... 178

СОДЕРЖАНИЕ

Глава 9
Проблема на миллион долларов ............................................. 205

Глава 10
От метрической геометрии к геометрии положения ....... 213

Глава 11
От геометрии положения к топологии ................................. 246
Односвязность ........................................................................ 247
Многообразия ........................................................................ 249
Гомеоморфизмы, гомеоморфия, топология .................. 259
Изотопия .................................................................................. 269
Так что же такое гомеоморфия? ....................................... 272
Ещё о многообразиях ........................................................... 277

Глава 12
Какой м оже т  оказаться наша Вселенная? ......................... 282

Приложение к главе 1
Мнение читателя ......................................................................... 301

Приложение к главе 3
К истории проблемы Гольдбаха .............................................. 304
Список литературы к приложению к главе 3 ................ 322

О понятиях ‘множество’, ‛кортеж’, ‛соответствие’,
‛функция’, ‛отношение’ ................................................................. 324

Множество  ................................................................................... 324
Кортеж ............................................................................................ 327
Соответствие ................................................................................ 329
Функция ......................................................................................... 331
Отношение .................................................................................... 338

Из книги «Что такое аксиоматический метод?» ................. 340

§1. Что такое аксиомы? ............................................................. 340
§2. Аксиомы Евклида ................................................................. 343
§3. Современный подход к аксиоматизации 
геометрии: аксиоматика Гильберта ...................................... 350

СОДЕРЖАНИЕ

§15. Аксиомы метрики и аксиомы меры .............................. 356
Заключительные замечания .................................................... 362

Простейшие примеры математических доказательств ... 364

§1. Математика и доказательства .......................................... 364
§2. О точности и однозначности математических 
терминов ....................................................................................... 370
§3. Доказательства методом перебора ...................................374
§4. Косвенные доказательства существования. 
Принцип Дирихле ....................................................................... 378
§5. Доказательства от противного ......................................... 381
§6. Принципы наибольшего и наименьшего числа
и метод бесконечного спуска ................................................... 384
§7. Индукция ................................................................................ 394
§8. Алфавиты и буквы. Слова и строки. 
Взаимно однозначные соответствия и мощность. 
Диагональный метод.................................................................. 409
§9. Задачи из элементарной комбинаторики ......................415
§10. Счётные и несчётные множества ...................................419
§11. Представление о математических 
доказательствах меняется со временем ............................... 430
§12. Два аксиоматических метода — неформальный 
и формальный .............................................................................. 437
§13. Теорема Гёделя .................................................................... 447

Семь размышлений на темы философии математики .... 450

1. Действительно ли в математике всё определяется 
и доказывается? ........................................................................... 450
2. Можно ли определить понятие натурального числа? .....455
3. Можно ли определить Натуральный Ряд 
(с прописной буквы)? ................................................................ 459
4. Можно ли аксиоматически определить понятие 
натурального ряда (со строчной буквы)? ............................ 463
5. «Можно ли доказать, что Великую теорему Ферма 
нельзя ни доказать, ни опровергнуть?» ................................ 484

СОДЕРЖАНИЕ

6. Что такое доказательство? ................................................... 496
7. Можно ли сделать математику понятной? ...................... 517
Литература .................................................................................... 521

Приложение. Проблема континуума и языки второго 
порядка .......................................................................................... 524

Математика языка .......................................................................... 528

О «Лингвистических задачах» А. А. Зализняка .................... 537

Опыт применения математики к филологии. Анализ 
фрагментов текстов Гоголя и Достоевского ........................ 543

А. Н. Колмогоров: статья для «Философской 
энциклопедии» .............................................................................. 568

Сочинения Колмогорова, имеющие философскую 
составляющую ..............................................................................574

Приложение I. А. Н. Колмогоров. Современные 
споры о природе математики .............................................. 577

Приложение II. П. К. Рашевский. О догмате 
натурального ряда .................................................................... 607

Сведения о предыдущих публикациях статей ......................617

Предисловие 
ко второму изданию

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

ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ 

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

Предисловие 
к первому изданию

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

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

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

ПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮ 

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

1 
Сведения о предыдущих публикациях приведены в конце настоящего издания на с. 617.