Группа Тревиля - Владимир Березин

— Офигеть.

— Это что, раньше у них денег не было, а как завелись, так они тут же начали издавать подмётные письма и прельстительные брошюры. В частности про то, что Пушкин, как Настрадал Предсказамус, в «Евгении Онегине» зашифровал всё, что будет. Но главная тайна всё равно ещё не прочитана, потому поля слишком узкие, чтобы… А они — суперструны, понимаешь. Пушкин и зомби. Картина маслом «Пушкин побеждает кровососа».

— Мы-то отвлеклись, — всё-таки прервал этот поток пушкинистики Мушкет. — А ведь говорили о важном. Вот тут я битый час рассказывал о теории струн, и непонятно, удачно ли рассказал. Вот с теоремой Ферма всё забавнее, ведь вопрос — понятно ли доказательство Уайлса?

— Вы это серьезно? — возмутился Базэн.

— Ну ладно: можно ли его понять?

— Я лично — нет, и не пытался, — сказал Базэн. — Это не совсем моя область математики, я-то занимаюсь куда более интересными вещами. Теорему-то все знают, а вот доказательство не из моей области, а из смежной: там слишком много модулярных форм, а я их совсем не знаю. Но прорва народу из моих коллег понимает. Я думаю, что число математиков, полностью разобравшихся в доказательстве примерно сто человек. Это — большое число. Да и популярных книг много вышло…

— Как бы популярных, — вставил Мушкет.

— Не важно, сейчас это вообще пройденный этап. Есть немало работ, основанных на тех же идеях и идущих гораздо дальше. Но, коллеги, если бы работы Уайлса никто не понял, то много бы что не возникло: работы Дармона и Мереля, модулярный метод Беннета-Скиннера-Сиксека… не говоря уже о великой работе Брёйя-Даймонда-Тэйлора, которые доказали модулярность всех эллиптических кривых, а не только полустабильных, как Уайлс. Я имею в виду именно две работы Уайлса, в которых доказывается модулярность полустабильных эллиптических кривых.

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

Мы только что разогнали учёными словами всех сталкеров, но при этом заговорили о том, зачем мы тут сидим. Чем мы отличаемся от грязных и немытых вольных сталкеров? Тем, что нам платят на карточку белыми и у нас есть легальный, а не теневой пенсионный фонд? И чем мы отличаемся от перекупщиков хабара? Какой смысл нашей работы на Зоне, и понимает ли её кто.

Вон, Мушкет уже сколько лет работает на косметическую компанию и может говорить, что несёт счастье дряблой коже светских красавиц. Но вот какова судьба чистой науки в нашем мире, где наплевать на фундаментальные знания?

Может, мы хранители подлинно эзотерического знания, не выплёскивающегося в народные массы трактористов с гармошками? А вот можем мы рассчитывать на среднеобразованных людей, окончивших инженерные высшие учебные заведения, а?..

Я вот как-то в Америке ехал в поезде с одной красивой девушкой. (Тут я специально не стал упоминать фамилии Миледи, потому что не один я её тут мог знать.) Тогда у неё был муж-математик, и они оба только что вернулись с Филдсовского конгресса. Этот математик был уже в каких-то больших чинах, делал там доклад. Подробностей я не знаю, тем более это была очень красивая девушка. Я спросил, за что дали очередную премию.

«Ты не поймёшь», — ответила она. Я несколько обиженно стал напоминать, что я окончил не самый глупый факультет, и вроде не чужой математике человек. Но она была непреклонна: «Вы не поймёте» (то ли она упомянула о Гильберте, который отказался заниматься теоремой Ферма, сказав, что ему нужно три года, чтобы только вникнуть в проблему, то ли у меня тут срабатывает ложная память). Тут важна была интонация. Она в двух словах объяснила мне, что нематематик этого понять не может. Не знаю, как это у неё получилось, наверное, дело было именно в интонации.

Ровно то же самое приключается и у нас — мы на переднем крае. Тут, в Зоне, стронулись с места фундаментальные законы физики, тут сумасшедшая биология, тут непочатый край работы. А финансируется примочка от дряблости щёк, ну и у военных что-то там финансируется.

Мы так эволюционировали, что не только методика исследований, но и сам их результат имеет корпоративную ценность. Почто обывателю кровосос?

Он не хочет кровососа.

То есть, он не хочет его знать, не хочет понять, как он живёт, зато очень его хочет в качестве страшилки.

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

Вопрос заключается в том — насколько справедливы эти мои рассуждения. Насколько закрыт мир современной математики? Можно ли оценить размеры групп математиков, которые понимают друг друга в рамках одной проблемы (понятно, что проблемы разные, да)? Можно ли оценить численно группы математиков, которые за год, примерно, могут поменять задачу?

Это, конечно, профанический вопрос — но отчасти и потому, что я мог его неловко сформулировать.

— Серёжа, это очень сложный вопрос, — печально ответил Базэн. — Я, скажем, тоже не понимаю работ большинства филдсовских медалистов и не могу сказать, что меня это не тревожит. Действительно, большинство даже очень хороших математиков знают очень мало за границей своих узких областей. С другой стороны, математика по-прежнему едина, пронизана общими принципами, и чем дальше, тем больше выясняется поразительных аналогий между совершенно, на первый взгляд, не связанными вещами.

— Об этом можно долго говорить, но «понять» во всех деталях доказательство изолированного факта, каковым является теорема Ферма, для серьезного математика не является самоцелью. Гораздо важнее понять общие принципы, на которых оно работает, чтобы уметь применять (и развивать) эти принципы для решения других задач. А в деталях всегда можно разобраться, если понимаешь принципы.

— Вот с принципами самое интересное — вокруг этого и крутится моя мысль. Я абсолютно согласен с тем, что сама по себе теорема Ферма не важна, а есть вещи поважнее. Я как-то добровольно-принудительно регистрировал сумасшедших, что приносили доказательства теоремы Ферма. Абсолютно безумных. Причём это было лет за пять до доказательства — и я был готов дать руку на отсечение, что её доказать невозможно. Руку, слава Богу, сберёг. Но для меня было совершенно очевидно, что все, кто ко мне приходил, никакого доказательства принести не могут. К тому же был случай Иоичи Мияока — отнюдь не похожего на сумасшедшего старичка с мятыми листами в авоське. Я думаю, я бы не поверил и Уайлсу. Но мне-то не нужно было выносить вердикт. Мне нужно было принять бумаги, а по возможности, не принять. Потому как если примешь — хорошим людям придётся писать обстоятельное заключение на всё это.