Пуанкаре ошибался, заранее предрекая выбор в пользу геометрии Евклида. В то же время, он утверждал, что можно в принципе использовать любую другую внутренне непротиворечивую геометрию. Но эти общие соображения остались неподкрепленными конкретными физическими описаниями явлений на основе различных геометрий. Поэтому долгое время ученые, не принимая геометрический конвенционализм Пуанкаре, пытались его как-то преодолеть. И лишь в последние десятилетия исчезли сомнения в справедливости этого вывода о возможности описания одних и тех же явлений с применением различных геометрий пространства и времени.
То обстоятельство, что наблюдаемые физиками факты укладываются в рамки различных геометрий, вовсе не снимает вопроса о геометрической структуре пространства-времени, отвечающей установленным физическим законам движения материи. Разные геометрические представления одних и тех же физических явлений еще не свидетельствуют о произвольности и условности законов физики или пространственно-временных свойств реального мира, как не свидетельствуют об этом выбор различных единиц измерения физических величин или применение различных систем координат. Истинная или, вернее, естественная геометрия реального пространства-времени только одна, и выделена она тем, что наиболее полно отражая с ее помощью физические явления, ученые в то же время обходятся без вынужденного усложнения физической теории[112]. Используя другие, отличные от нее геометрии, они одновременно подправляют физические законы введением в них дополнительных сил, называемых универсальными, чтобы согласовать теоретическое описание с опытными данными. Эти универсальные силы, одинаковым образом действуя на все материальные объекты, например, на лучи света, на космические частицы, на кометы, позволяют объяснить различные особенности их движения силовым воздействием, а не искривлением пространства. Тем самым, физические теории, включающие универсальные силы, берут на себя часть «геометрической нагрузки». Их уравнения фактически учитывают некоторые геометрические свойства мира.
В своих работах Пуанкаре неоднократно обращался к обсуждению общих и методологических проблем математики и математического творчества. Ни один сколько-нибудь значительный вопрос из области математических наук, дискутировавшийся в то время научными кругами, не был обойден его вниманием. И нередко бывало, что именно он выступал инициатором такой дискуссии или же становился ее активным центром. Многие из рассмотренных им математических проблем и сейчас представляют немаловажный интерес. Так, до сих пор не получили однозначного разрешения обсуждавшиеся им проблемы, связанные с парадоксами теории множеств и классической логики, статусом аксиомы Цермело, взаимоотношением интуиции и логики в математическом познании и некоторые другие вопросы.
В начале нашего века острая полемика разгорелась вокруг весьма общей и принципиальной проблемы: откуда математика черпает свое основное содержание? Целый ряд ученых, отвергая роль интуиции и наглядных представлений, категорически утверждали, что математическое знание выводится чисто логическим путем. В конце XIX — начале XX веков складывается учение логицизма, сводившее всю математику к логике. В этот же период бурно развивается и математическая логика. Итальянский математик Пеано в пяти томах своего «Математического формуляра» дает комментированное изложение математики на языке логических действий с помощью разработанных им специальных обозначений для понятий логики, используемых в математических рассуждениях. В этом же направлении работают немецкие ученые Фреге и Дедекинд, а также англичане Рассел и Уайтхед. С развитием математической логики противники интуиции получили в свои руки (в дополнение к имеющимся доказательствам недостоверности ссылок на наглядность) мощное оружие, которое, как им казалось, дает возможность полностью и без всяких надежд на реабилитацию изгнать из математического познания столь опорочившее себя понятие — интуицию.
В 1901 году Рассел пишет статью «Новейшие работы о началах математики», где излагает развернутую программу логицизма. Затем выходят в свет знаменитые расселовские «Принципы математики» (Кембридж, 1903). Вскоре французский ученый Кутюра публикует несколько статей, в которых дает всестороннюю и детально разработанную оценку результатов Рассела и Пеано и яростно обрушивается на учение о математической интуиции.
112