Читать «Газета Троицкий Вариант # 43 (22_08_2009)» онлайн - страница 26

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

— Да, но, по-моему, лучше так объяснять глубокие вещи, чтобы та самая доска, о которой говорил Ольшанский, из равновесия не выходила. Чисто по-человечески, когда я вижу хорошую идею, для меня это гораздо убедительнее, чем компьютерный сертификат логичности. Цель математики, как и науки в целом, — не узнать ответ «да» или «нет» на все мыслимые вопросы, а в том, чтобы понять наш мир. Предположим, прилетели бы инопланетяне и сказали: «Гипотеза Римана верна, и вот формальное доказательство. Вы можете проверить на своей машине». Ну и чему мы, собственно говоря, научились от этого? Ничему не научились.

- Вы хотите сказать, что важно не просто формально получить доказательство, а важно то, чтобы это доказательство было естественно принято сообществом и осмыслено?

— Да. Доказательство — это не цель математики, а мера нашего понимания. Есть феномен, который Риман осознал. И это величайшее открытие. И мы его до сих пор очень плохо понимаем. Я, например, совсем не понимаю. Но даже мои замечательные коллеги, я думаю, не так хорошо понимают. Ну и какой бы мерой понимания было бы инопланетное доказательство?

- Доказательство важно как свидетельство понимания проблемы?

— Именно так. Моя любовь — это математическая физика. Очень часто задают вопрос: зачем математические физики доказывают те вещи, которые физически очевидны? Вот существует природа, и ткань мироздания на наших глазах не рвется, значит, математика работает. Зачем математически выводить, скажем, фазовый переход? Ведь вот была вода, она вскипела, все видят. Зачем это доказывать? Когда доказательства нет, это не конец света, но когда есть, это важная мера нашего понимания. Если мы можем математически описать и даже доказать какое-то явление, значит, оно нами понято.

Флайер конференции «Классические группы, взгляд из бесконечности», состоявшейся 13–14 августа 2009 г. в ИППИ РАН, к 60-летию Г.Ольшанского. На ней — подписи участников конференции. (Фото Н. Деминой)

- Но что, если просто нет, не можем найти простого доказательства?

— Это проблема, настоящая, серьезная, может быть, даже главная. Наука сложна, и сложность ее уже заметно превосходит возможности одного индивидуального ученого, пусть и вооруженного самой современной техникой. Посмотрите, какого размера стали научные проекты в других науках, какого сосредоточения физических, материальных и людских усилий требуется для того, чтобы сделать прорыв в науке!