Введение

      Истоки всех научных направлений можно проследить далеко в прошлом, в туманных далях истории, но в большинстве случаев, рассказывая о каком-либо из них, добавляют что-нибудь вроде: «Сегодня мы знаем, что на самом деле это не так» или «Направление было выбрано верно, но сегодня мы считаем иначе». К примеру, греческий философ Аристотель был убежден, что лошадь, идя рысью, не может целиком отрываться от земли; это утверждение опроверг в 1878 г. Эдвард Мейбридж, воспользовавшись несколькими фотокамерами, затворы которых срабатывали от натянутых растяжек. Аристотелевы теории движения полностью опровергли Галилео Галилей и Исаак Ньютон, а его теории разума неприменимы в современных нейробиологии и психологии.

      Математика – другое дело. Математика имеет долгую и поступательную историю. С той поры как древние вавилоняне научились решать квадратные уравнения, – а произошло это, вероятно, около 2000 г. до н. э., хотя первые доказательства датируются примерно 1500 г. до н. э., – их результат не устарел. Он был верен, и вавилоняне понимали почему. Остается верным он и сегодня. Мы записываем результат при помощи специальных символов, но рассуждаем точно так же, как и они. Неразрывная линия математической мысли прочно соединяет наш завтрашний день с Вавилоном. Когда Архимед получил формулу для объема сферы, он не пользовался алгебраическими символами и не думал о числе π, как мы думаем сегодня. Он выражал свои результаты геометрически, в терминах пропорций, как было принято у греков. Тем не менее в его ответе мгновенно распознается эквивалент сегодняшнему

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

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

      С учетом сказанного отметим, что основной посыл остается неизменным: математическая теорема, если она однажды верно доказана, становится – навсегда – кирпичиком, на который мы можем в дальнейшем опираться. Несмотря на то что концепция доказательства со времен Евклида стала значительно строже, сегодня, чтобы избавиться от прежних допущений, мы сами