Если мы хотим проникнуть в суть новой диалектики научного духа, нам нужно жить ею именно в плане психологическом, как в психологической реальности, обучаясь в ходе первоначального формирования дополнительных мыслей.

Резюмируя, можно, следовательно, сказать, что всякий психолог научного духа должен действительно пережить то странное раздвоение геометрической личности, которое происходило в математической культуре в течение последнего столетия. Тогда станет понятно, что более или менее скептический тезис относительна “математического конвенционализма” очень плохо выражает мощную диалектику, свойственную различным геометрическим идеям.

Проблемы, касающиеся обобщения математических понятий, предстают в другом свете, когда принимается во внимание существенная диалектичность геометрического мышления. В письме, адресованном де Тилли (1870 г.), Уэль (Houлl) характеризует этот процесс обобщения остроумным аналитическим сравнением: “Последователи Евклида считали, что их геометрию отрицают, в то время как ее лишь обобщили; Лобачевский и Евклид могли бы прекрасно договориться. Обобщенная геометрия... это метод, аналогичный тому, которому следовал бы аналитик, который, получив общее решение дифференциального уравнения некоторой задачи, обсуждал бы это общее решение до того, как придать частные, конкретные значения константе в соответствии с данными задачами, что никоим образом не значит отрицать тот факт, что произвольная константа в конечном счете должна получать то или другое определенное значение. Что же касается отсталых евклидовцев, т. е. тех, кто ищет доказательств для Постулатов, то лучше всего сравнить их с теми, кто ищет в самих дифференциальных уравнениях определения постоянных интегрирования”9. Прекрасное сравнение, указывающее на обобщающую силу аксиоматики: некое дифференциальное уравнение получается путем отвлечения от частных значений констант; его общее решение включает все возможности; пангеометрия элиминирует допущения, которые могут делаться произвольно — точнее, нейтрализует их в силу одного того, что стремится дать систематический список всех допущений. Она есть продукт дополняющей мысли. Геометрию Евклида вновь обнаруживают на ее месте, в составе некоего класса, как частный случай.

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

II
Эту связность, как единственно возможную основу реализма, нельзя обнаружить, исследуя особую форму, сосредоточив, например, внимание только на евклидовой проблеме. Ее следует искать в том, что имеется общего в противоположных геометриях. Нужно исследовать установленное соответствие между этими геометриями. Математическая мысль обретает реальность, как раз делая геометрии связанными друг с другом. Математическая форма распознается таким же способом, посредством ее трансформаций. Обращаясь к математическому объекту, можно сказать: “Скажи мне, как тебя преобразовать, и я скажу тебе, что ты такое”.

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

В том, что касается первого процесса, обратимся к содержательным страницам книги Г. Жювэ, посвященным аксиоматике. Жювэ пишет, что физика исходит из понятий, достаточно далеких от непосредственного опыта, и показывает, как эти понятия постепенно очищаются, схематизируются, отнюдь не обогащаясь в плане наглядности в ходе теоретического размышления. Физика таким образом достигает своих наиболее развитых и полных теорий, редуцируя объем понятий как раз к масштабу атрибутов, которые делаются видимыми при расширении этих теорий. “Лишь еще больше освобождая эти понятия от их атрибутов, можно избегнуть тех антиномий, которые проистекают из слишком большого объема, который им вначале приписывали”10. В случае геометрии такое освобождение заходит так далеко, что предлагается запретить всякое обращение к опыту, в связи с чем Жювэ вспоминает исходную позицию аксиоматики Д.