А. Тяпкин - Пуанкаре

Критерий «удобства», неоднократно использованный Пуанкаре для выбора предпочтительной геометрии, стал причиной многих недоразумений. Пуанкаре не объяснил смысл, вкладываемый им в этот явно неудачный термин. В своих последующих выступлениях он лишь возражал против субъективистской его трактовки. Однако в 1887 году в работе "Об основных гипотезах геометрии", впервые поставив вопрос о выборе геометрии для описания физических явлений, Пуанкаре поясняет: "Мы выбрали между всеми возможными группами одну особенную для того, чтобы к ней относить физические явления, подобно тому как мы выбираем систему трех координатных осей, чтобы к ним относить физические фигуры. Что же определило наш выбор? Это, во-первых, простота выбранной группы; но есть и другое основание: в природе существуют замечательные тела, называемые твердыми, и опыт говорит нам, что связь различных возможных перемещений этих тел выражается со значительной степенью приближения теми же самыми соотношениями, как и различные операции выбранной группы". Пуанкаре прямо указывает, что выбор геометрии и группы движений определяется соответствием их движению реальных тел. Он ошибался лишь в том, что заранее предрекал выбор геометрии Евклида. В то же время Пуанкаре утверждал, что можно в принципе использовать любую другую внутренне непротиворечивую геометрию.

Эти общие соображения остались не подкрепленными конкретными физическими описаниями явлений на основе различных геометрий. Поэтому в течение целых десятилетий ученые, не принимая геометрический конвенционализм Пуанкаре, пытались его как-то преодолеть. Некоторые из них, поддавшись силе авторитета А. Эйнштейна, впоследствии тоже выступившего против конвенциональности геометрии, считали, что ему удалось опровергнуть доводы французского теоретика. И лишь сравнительно недавно, в шестидесятые годы, ряд советских и зарубежных физиков строго доказали возможность описания одних и тех же явлений с применением различных геометрий пространства и времени. Ныне это уже не вызывает сомнений.

То обстоятельство, что наблюдаемые физиками факты укладываются в рамки различных геометрий, вовсе не снимает вопроса об истинной геометрической структуре пространства — времени. Разные геометрические представления одних и тех же физических явлений еще не свидетельствуют о произвольности и условности законов физики или пространственно-временных свойств реального мира, как не свидетельствует об этом выбор различных единиц измерения физических величин или применение различных систем координат. Истинная геометрия реального пространства — времени только одна, и выделена она не удобством использования, а тем, что, наиболее полно отражая с ее помощью физические явления, ученые в то же время обходятся без вынужденного усложнения физической теории. Используя другие, отличные от нее геометрии, они одновременно подправляют физические законы введением в них дополнительных сил, называемых универсальными, чтобы согласовать теоретическое описание с опытными данными. Эти универсальные силы, одинаковым образом действуя на все материальные объекты, например, на лучи света, на космические частицы, на кометы, позволяют объяснить различные особенности их движения силовым воздействием, а не искривлением пространства. Тем самым физические теории, включающие универсальные силы, берут на себя часть "геометрической нагрузки". Их уравнения фактически учитывают некоторые геометрические свойства мира.

Еще в 1894 году в одной из своих статей Пуанкаре затронул вопрос, обсуждение которого вылилось в многолетнюю дискуссию между математиками различных стран и школ. С каждым годом полемика угрожающе разрасталась, как снежный ком, вовлекая все новых и новых участников. Отдельные математические вопросы возвышались в споре до уровня общенаучных методологических установок. Аргументам противника противопоставлялись порой не математические доводы, а соображения общего порядка или же простая убежденность. И даже сама манера выражаться в полемических работах далеко отошла от строго математической.

Начавшись с рассмотрения метода полной математической индукции, успешно и плодотворно применяемого в различных разделах математики, дискуссия переросла в обсуждение весьма общего и принципиального вопроса: откуда математика черпает свое основное содержание? Ряд ученых категорически утверждал, что математическое знание выводится чисто логическим путем. В конце XIX — начале XX века складывается учение логицизма, сводившее всю математику к логике. Итальянский математик Пеано в пяти томах своего "Математического формуляра" дает комментированное изложение математики на языке логических действий с помощью разработанных им специальных обозначений для понятий логики, используемых в математических рассуждениях. В этом же направлении работают немецкие ученые Фреге и Дедекинд, а также англичане Рассел и Уайтхед.

Первым с серьезной критикой взглядов логицистов выступил Пуанкаре. Помимо ряда статей, он посвятил этому вопросу главу в своей книге "Ценность науки". Пуанкаре не отрицает той роли, которую играет в математическом творчестве логический вывод. Но одной только логикой математика никак не исчерпывается. Необходим еще один род творчества, который столь безапелляционно отвергли логицисты: интуиция. Кому же еще это знать, как не ему, интуитивному математику! Логика может только разворачивать, раскрывать то знание, которое изначально заложено в исходных посылках. "Чистая логика всегда приводила бы нас только к тавтологии; она не могла бы создать ничего нового; сама по себе она не может дать начало никакой науке", — совершенно справедливо замечает Пуанкаре. Логическое доказательство подобно развитию растения из зерна: что посеешь, то и пожнешь. Только интуиция, постижение истины не путем доказательства, а непосредственным интеллектуальным усмотрением ее содержания позволяет сделать скачок к принципиально новому знанию.

В споре с Пеано, Расселом и их единомышленниками Пуанкаре использует термин «интуиция» в самых различных смыслах. Неоднократно говорит он, например, об интеллектуальной и чувственной интуиции. Первая, по его мнению, лежит в основе математического творчества. Интеллектуальная интуиция позволяет математикам "не только доказывать, но еще и изобретать. Через нее-то они подмечают сразу общий план логического здания". Это очень редкий и благодатный дар, считает Пуанкаре, лишь немногие владеют им. В то же время он далек от того, чтобы преувеличивать достоинства интуитивного метода. "Интуиция не может дать нам ни строгости, ни даже достоверности — это замечается все больше и больше". Поэтому неизбежен, по его мнению, логический элемент в математике. "Логика и интуиция имеют каждая свою необходимую роль. Обе они неизбежны. Логика, которая одна может дать достоверность, есть орудие доказательства, интуиция есть орудие изобретения".