Диалоги (июнь 2003 г.) - Гордон Александр - Страница 24
- Предыдущая
- 24/62
- Следующая
Ну а теперь вернёмся к математике. Так вот, я уже объяснил, что математическая логика была создана как некоторое охранное предприятие. Охрана от противоречий. Как для нынешних фирм система охраны необходима, так и математика нуждалась в определённом охранении. Но казалось бы, ну что тут такого? Но вот оказалось, что языки, в частности один из языков математической логики, так называемое «исчисление предикатов первой ступени», обладает некоторым мощным внутренним математическим свойством. Анатолий Иванович Мальцев в 36 году доказал так называемую Теорему компактности. Не буду говорить, что это такое, но это, так сказать, мощное внутреннее свойство формального языка. А в 41 году Анатолий Иванович продемонстрировал, что только с помощью этого свойства языка можно доказать очень многие теоремы, которые уже в специализированных отделах математики доказывались – так называемые локальные теоремы, причём, разные теоремы разными способами. Они чем-то были похожи, но кроме ощущения того, что они похожи, ничего другого не было.
Оказалось, что большинство из этих локальных теорем – это есть следствие этой локальной теоремы. Что достаточно сформулировать на этом формальном языке соответствующее утверждение с некоторыми ограничениями, и тогда уже как следствие получается эта локальная теорема. Вот здесь я хотел бы сослаться на книгу Пойя – это известный американский учёный, но на самом деле он из Венгрии происходит. Пойя написал книгу, которая у нас была переведена, «Как решать задачу?», она была издана в «Учпедгизе». И там, собственно, рассказывается некоторая эвристика и даются некоторые советы, как решать задачу, как анализировать и так далее. И там, в частности, описываются разные явления, которые при этом возникают. И одно из явлений называется «парадокс изобретателя». Там особенно про изобретателя не идёт речи, но суть состоит в следующем: иногда, решая задачу, полезно взглянуть на неё, может быть, сверху и рассмотреть более общую задачу. И при таком взгляде она становится проще. Я считаю, что открытие локальной теоремы и открытие способа её применения для доказательства серьёзных теорем, которые уже были известны и очень многих новых теорем, это был парадокс изобретателя.
Оказалось, что суть большинства этих локальных теорем – это свойство того формального языка, который используется. Ну, дальше – больше. Теорема компактности привела к созданию одного из наиболее развитых разделов математической логики – так называемой «теории моделей». И здесь прослеживается, на мой взгляд, довольно любопытная эволюция, которую я попытаюсь как-то объяснить. Я для себя использую деление «современная математика» и «классическая математика», достаточно понятное различие. Можно про любую науку сказать – современная и классическая. Но на самом деле, что такое классическая математика и что такое современная? Классическая математика занималась очень ограниченным числом объектов – линия, плоскость, фигуры на плоскости, трехмерное пространство, далее непрерывные функции в трехмерном пространстве. Этим классическая математика занималась многие века.
Современная математика началась, я думаю, с открытия Эвариста Галуа, который для решения классических вопросов о нахождении корней уравнения в радикалах, о которых я уже здесь говорил, предложил ввести некоторые новые вещи. Не те классические объекты, а автоморфизм и конечные группы и так далее. Для решения классических вопросов нужно было ввести новые сущности. И вот с этого, на мой взгляд, начинается современная математика. Но и сейчас изучение классических объектов можно отнести к работам по классической математике. Но необходимо и изучение тех новых конструкций, которые нужны и для внутреннего развития математики, и для решения старых вопросов. Вот знаменитая теорема Ферма, которую несколько столетий пытались решать математики, она была, наконец, решена несколько лет тому назад. Но для её решения, а она была сформулирована в 17-м веке, понадобились совершенно современные методы. И это потребовало нескольких столетий развития математики. Так что существуют классические вопросы и классическая математика и есть современная математика, когда изучаются уже объекты более общей природы.
Так вот первые применения Локальной теоремы, которые Анатолий Иванович делал, касались современной математики. Они относились к теории групп, к теории алгебраических систем, к таким понятиям, которые характеризуют современную математику. Хрущовский применил методы математической логики для совершенно классического раздела математики – для теории чисел и алгебраической геометрии. Это такие как бы священные коровы, которым молятся. И оказалось, что даже для решения таких серьёзных, вернее, классических вопросов, методы теории моделей, математической логики, тоже применимы. А ещё один этап, тут я хочу говорить о своих собственных последних работах, связан со следующим. Тут небольшое отступление всё-таки требуется.
Развитие всякой науки, в том числе и математики, сопровождается не только постановками задач и их решениями, но и развитием понятийного аппарата, ведением понятий. Причём, ведение правильных понятий на самом деле является очень существенным, и часто введение плодотворного понятия является столь продуктивным, что вызывает взрывную реакцию и проникновение понимания в существо вещей. Так вот, мне удалось применить математическую логику и её средства для того, чтобы ввести в обиход понятия, которые важны для классических теорий. Итак, Мальцев применил математическую логику для современной математики, Хрущовский для решения вопросов классической математики, а я предложил некоторые понятия для классической математики, в том числе и для теории чисел. То есть один из наиболее таких развитых разделов для теории чисел, а теория чисел – это одна из самых первых математических теорий.
В конце 19 – начале 20 века была доказана так называемая «теория полей классов». Не буду говорить, что это такое, но до решения проблемы Ферма считалось, что это вершина в теории чисел. И те понятия, которые вводились для формулировки этой теории, они обладали определёнными недостатками, так скажем. А техника математической логики позволила предложить понятия, которые могут быть использованы вместо тех понятий и, на мой взгляд, более глубоко проникнуть в существо вопроса. Боюсь, что вдаваться в детали здесь всё равно сложно. Я просто хотел этот ряд подчеркнуть: логика, начав с того, что продемонстрировала свою мощь в современной математике, потом оказалась применимой и для решения классических вопросов, а сейчас начинает покушаться и на понятийный аппарат классической математики. Так что это одна из линий развития. Есть и другие.
Я уже упомянул о том, что создание математической логики послужило, в частности, важным элементом в развитии компьютеров, и там есть свои формальные языки, языки программирования, и так далее, и так далее. Эта линия тоже сама по себе развивается и весьма успешно, и там возникают очень интересные, в том числе математические вопросы. Так что математическая логика, ещё раз говорю, возникнув как некоторый охранительный механизм, неожиданно, на самом деле неожиданно, оказалась весьма и весьма мощным орудием, которое применимо практически во всех разделах математики.
Для слушателей или зрителей нашей программы, может, я чересчур увлёкся, уйдя внутрь математики, может быть, полезно вернуться к теореме Гёделя о неполноте, о которой я говорил, что она волнует и философов, и, может быть, часть обычных людей. Есть такое представление, что она демонстрирует ограничения человеческого разума, и так далее, и так далее. Если на это взглянуть изнутри математики, то на самом деле там особых тайн нет, это очень похоже на такие парадоксы, уже не относящиеся к математике, как «парадокс лжеца», который демонстрирует следующее. Обычно люди считают, что каждое высказывание можно каким-то правдоподобным образом оценить, является оно истинным или ложным. Конечно, можно накладывать определённые условия и так далее, но можно оценить, вернее, можно придать истинностное значение – истинное или ложное это высказывание. Но ещё со времён греков известен «парадокс лжеца». Один критянин говорит: «все критяне – лжецы». Что соответствовало исторической легенде, по крайней мере. Простодушная попытка оценить, истинно это высказывание или нет, показывает, что не всё так просто. Если он сказал правду, значит, он критянин и сказал правду. Хорошо, а если он обманул, тогда приходим к другому противоречию.
- Предыдущая
- 24/62
- Следующая
