Как не ошибаться. Сила математического мышления. Джордан Элленберг

математике пойдет речь в моей книге?

      Если ваше знакомство с математикой ограничивается школьной программой, это означает, что вам известна весьма ограниченная, а в какой-то степени даже ложная версия этого предмета. Школьная математика состоит главным образом из совокупности фактов и правил – фактов, которые нельзя оспаривать, и правил, которые предписаны высшим авторитетом и не подлежат сомнению. Такой подход рассматривает математические концепции как нечто непреложное.

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

      Безусловно, факты фактам рознь. Никогда не было особых споров по поводу того, что 1 + 2 = 3. Но можем ли мы действительно доказать, что 1 + 2 = 3, и как это можно сделать, – вопрос, который блуждает где-то между математикой и философией. Однако это совсем другая история, и мы вернемся к ней в конце книги. Правильность вычислений в данном случае не подлежит сомнению. Проблема кроется совсем в другом. Мы не раз столкнемся с ней на этих страницах.

      Математические факты могут быть простыми и сложными, поверхностными и глубокими, что делит математическую вселенную на четыре сектора:

      Базовые арифметические факты, такие как 1 + 2 = 3, относятся к категории простых и поверхностных. К этой же категории принадлежат и основные тождества, в частности sin(2x) = 2sin x × cos x или формула корней квадратного уравнения. Возможно, убедить себя в истинности таких тождеств немного труднее, чем в том, что 1 + 2 = 3, но по большому счету они не так уж сложны на концептуальном уровне.

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

      Сектор сложных и глубоких математических фактов – это именно то, на что тратят большую часть своего времени профессиональные математики, к числу которых отношусь и я. Здесь обитают знаменитые теоремы и гипотезы, такие как гипотеза Римана, последняя теорема Ферма[14], гипотеза Пуанкаре[15], равенство классов P и NP[16], теорема Гёделя и так далее. Каждая из этих теорем касается идей, имеющих глубокий

14

В настоящее время специалисты называют теорему Ферма теоремой Уайлса, поскольку Эндрю Уайлс доказал ее (не без помощи Ричарда Тейлора), тогда как Ферма не сделал этого. Однако, по всей вероятности, традиционное название неискоренимо и вряд ли будет когда-нибудь вытеснено.

15

Ее доказал Григорий Перельман. Прим. М. Г.

16

Это гипотеза. Прим. М. Г.