Диалоги (июнь 2003 г.)

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

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

Оказалось, что большинство из этих локальных теорем – это есть следствие этой локальной теоремы. Что достаточно сформулировать на этом формальном языке соответствующее утверждение с некоторыми ограничениями, и тогда уже как следствие получается эта локальная теорема. Вот здесь я хотел бы сослаться на книгу Пойя – это известный американский учёный, но на самом деле он из Венгрии происходит. Пойя написал книгу, которая у нас была переведена, «Как решать задачу?», она была издана в «Учпедгизе». И там, собственно, рассказывается некоторая эвристика и даются некоторые советы, как решать задачу, как анализировать и так далее. И там, в частности, описываются разные явления, которые при этом возникают. И одно из явлений называется «парадокс изобретателя». Там особенно про изобретателя не идёт речи, но суть состоит в следующем: иногда, решая задачу, полезно взглянуть на неё, может быть, сверху и рассмотреть более общую задачу. И при таком взгляде она становится проще. Я считаю, что открытие локальной теоремы и открытие способа её применения для доказательства серьёзных теорем, которые уже были известны и очень многих новых теорем, это был парадокс изобретателя.

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

Современная математика началась, я думаю, с открытия Эвариста Галуа, который для решения классических вопросов о нахождении корней уравнения в радикалах, о которых я уже здесь говорил, предложил ввести некоторые новые вещи. Не те классические объекты, а автоморфизм и конечные группы и так далее. Для решения классических вопросов нужно было ввести новые сущности. И вот с этого, на мой взгляд, начинается современная математика. Но и сейчас изучение классических объектов можно отнести к работам по классической математике. Но необходимо и изучение тех новых конструкций, которые нужны и для внутреннего развития математики, и для решения старых вопросов. Вот знаменитая теорема Ферма, которую несколько столетий пытались решать математики, она была, наконец, решена несколько лет тому назад. Но для её решения, а она была сформулирована в 17-м веке, понадобились совершенно современные методы. И это потребовало нескольких столетий развития математики. Так что существуют классические вопросы и классическая математика и есть современная математика, когда изучаются уже объекты более общей природы.