заключался в том, что он нашел среди математических структур, известных к тому времени, те, что были наиболее приспособлены служить как «модели» для мира физических явлений. Его модель пришла на смену предыдущей, бывшей уже при смерти{74}, когда-то завещанной его предшественниками. В этом смысле его труд был вот именно трудом физика и, сверх того, трудом естественного философа, как понимали задачи последнего Ньютон и его современники. Это «философское» измерение отсутствует в моем математическом труде. Мне никогда не приходило в голову задаться вопросом о возможных связях между воображаемыми, «идеальными» концептуальными конструкциями, осуществимыми во Вселенной математических объектов, и явлениями физического мира (и даже событиями из мира духовного). Мой труд был трудом математика, намеренно обходящего стороной вопрос «приложений» (в других науках) или «мотивации» и внутренних, душевных корней того, что побуждало меня к работе. Математика, к тому же, влекомого духом, прежде всего прочего, к неустанному расширению арсенала основных для своего искусства понятий. Так-то мне и привелось, совершенно не осознавая того и как бы играючи, поставить с ног на голову самое что ни на есть основополагающее понятие геометрии: понятие пространства (и «многообразия»), то есть наше представление о самом месте, где живут геометрические существа. Новое понятие «пространства» (что-то вроде «обобщенного пространства», но только точки, которые должны как будто бы его образовывать, более или менее из него исчезли), ничем не напоминает, по сути, понятие, которое Эйнштейн внес в физику (отнюдь не обескураживающее для математика). Здесь, напротив, напрашивается сравнение с квантовой механикой, открытой Шредингером{75}. В этой новой механике традиционная «материальная точка» исчезает, уступив место чему-то вроде «вероятностного облака», более или менее плотного в той или иной области пространства, в зависимости от «вероятности», с которой точка находится в этой области. В этом новом подходе явст-
венно ощущается «мутация» нашего способа восприятия явлений в механике, еще более глубокая, чем та, что приведена в действие моделью Эйнштейна - мутация, которая не ограничивается простой заменой математической модели, немного узкой в плечах, другой похожей, но большего размера или лучше скроенной. На этот раз новая модель так мало напоминает старые добрые традиционные модели, что даже математик, будь он при этом большим специалистом в области механики, перед ней вдруг чувствует себя в недоумении, даже в растерянности (или в бешенстве…). Переход от механики Ньютона к эйнштейновской должен ощущаться математиком примерно так же, как переход от давнего, трогательного провинциального диалекта к парижскому жаргону последней моды. Напротив, перейти к квантовой механике - все равно что заменить французский китайским.
И эти «вероятностные облака», пришедшие на смену таким надежным материальным частицам прежнего, странным образом напоминают мне ускользающие «открытые окрестности», которые населяют топосы, эдакие неуловимые призраки, окружающие несуществующие «точки», за которые, всему уже наперекор, продолжает цепляться непослушное воображение…
21. Этот короткий визит к «соседям напротив», физикам, мог бы помочь сориентироваться читателю, который (как большинство людей) совсем не знает, что делается в мире математиков, но заведомо наслышан об Эйнштейне с его прославленным «четвертым измерением» и даже о квантовой механике. В конечном счете, даже если изобретатели не могли предвидеть, что их открытия приведут к Хиросиме, и позже к безумному наращиванию атомной техники, военной и (так называемой) «мирной», несомненно, что открытия в физике оказывают ощутимое и почти немедленное воздействие на человеческое общество в целом. Воздействие же математического открытия, и прежде всего в математике, которую называют «чистой» (то есть, не имеющей в виду конкретного «приложения»), менее непосредственное, и, конечно, его труднее выявить. Например, я не имею представления о том, могли ли мои результаты в математике «послужить» чему бы то ни было, скажем, созданию малейшего устройства или механизма. В этом, разумеется, нет особой заслуги, но все же мне так спокойнее. Как только появляются приложения, можно не сомневаться, что военные (и, по их следам, полиция) будут первыми, кто приберет их к рукам; что бы это
Прогулка по творческому пути, или дитя и Мать
ни дало промышленности (даже той, которую называют «мирной»), это далеко не всегда к лучшему…
Конечно, для моей же собственной пользы и для удобства читателя-математика было бы разумней соотнести мой труд с маяками в истории самой математики, чем отправляться искать аналогий на стороне. Я обдумал это в последние несколько дней, в рамках моего довольно туманного представления об истории науки{76}. Во время «Прогулки» мне уже как-то случилось вызвать в памяти «линию» математиков, сходных по роду темперамента, к какому и я себя отношу. Вот она: Галуа, Риман, Гильберт. Будь я более осведомлен в истории моего искусства, я бы, возможно, сумел продолжить эту линию глубже в прошлое, или, скажем, включить в нее еще несколько имен, теперь мне известных лишь понаслышке. Поразительно то, что я не могу припомнить ни из каких источников, даже из разговоров друзей или коллег, лучше меня разбиравшихся в истории, сведений о каком-нибудь математике, кроме меня, который привнес бы в науку множество новых идей, не разрозненных, но собравшихся в единое видение (как это вышло с Ньютоном и Эйнштейном в физике и космологии, а в биологии - с Пастером и Дарвином). Я могу указать лишь два «момента» в истории математики, связанные с появлением нового видения широкого размаха. Один из них - само рождение математики, как науки в сегодняшнем понимании этого слова: 2500 лет назад, в Древней Греции. Другой - возникновение анализа бесконечно малых и интегрирования, в семнадцатом столетии; эпоха, отмеченная именами Ньютона, Лейбница, Декарта и других. Насколько мне известно, в обоих случаях новое видение явилось продуктом не индивидуального, но коллективного труда математиков, составлявших эпоху.
Конечно, от Пифагора и Евклида до начала семнадцатого столетия у математики было довольно времени, чтобы сменить облик - да и потом, между «Исчислением бесконечно малых», изобретенным математиками в семнадцатом веке, и серединой теперешнего двадцатого
утекло немало воды. Но, насколько я знаю, глубокие изменения, происшедшие в течение этих двух периодов (один сроком более чем в две тысячи лет, другой - в три столетия), ни разу не приняли формы нового видения, представленного чьим-нибудь конкретным трудом{77}, как это было в физике и космологии, с великим синтезом, осуществленным Ньютоном, а затем Эйнштейном - два важнейших, узловых события в истории этих наук.
Похоже, что постольку, поскольку служитель нового широкого, объединяющего видения родился во мне, я оказался «единственным в своем роде» в истории математики, считая от ее начала до наших дней. Печально иметь вид человека, желающего так непозволительно выделяться на общем фоне! Все же я, кажется, разглядел издалека, к своему облегчению, возможного (и спасительного!) как будто бы брата. Мне недавно уже случилось его упомянуть, первым в ряду моих «братьев по темпераменту»; это Эварист Галуа. В его короткой и осле-
С одной стороны, этот синтез ограничивался чем-то вроде «приведения в порядок» широкой совокупности идей и результатов, уже известных, без того, чтобы добавить к ним свои новаторские идеи. Если там была новая идея, то она заключалась в строгом математическом определении понятия «структуры», явившейся бесценною путеводною нитью для всей деятельности союза. Но эта идея, мне кажется, подобна скорее идее толкового и не без воображения лексикографа, чем одной из основ обновления языка, дающей свежее представление о реальности (в данном случае, математической).
С другой стороны, считая с пятидесятых годов, идея структуры оказалась в хвосте событий, с неожиданным наплывом «категорных» методов в некоторые из наиболее динамичных разделов математики, именно топологию и алгебраическую геометрию. (Так, понятие «топоса» отказалось влезть в «мешок Бурбаки», не то он бы расползся по швам!) Решив для себя, со всей ответственностью, разумеется, не ввязываться в это дело, Бурбаки тем самым отреклись от своего исходного намерения, состоявшего в том, чтобы обеспечить единые основы и единый язык для современной математики в целом.
Они, напротив, закрепили на месте язык, и в то же время определенный стиль изложения и подхода к математике. Этот стиль появился, как отражение (весьма неполное) некоего духа, когда-то живого и впрямую унаследованного от Гильберта. В течение пятидесятых и шестидесятых годов этот стиль, к лучшему то или к худшему (вот это скорее), сделался в конце концов обязательным. За двадцать лет он стал жестким каноном чисто наружной, парадной «строгости»; дух же, его некогда оживлявший, словно бы исчез
