Когда Эйнштейн в 1916 году расширил теорию относительности и перешел к так называемой общей теории относительности, геометрия тоже подверглась пересмотру; обнаружилось, что геометрия зависит от гравитационного поля, от поля сил тяжести, а это значит, что геометрические отношения реального мира поддаются правильному описанию только с помощью неевклидовой геометрии типа римановой, иными словами, с помощью геометрии, полностью лишенной наглядности.
Философы горячо оспаривали и этот вывод; мюнхенский философ Г. Динглер подчеркивал, например, что уже сама практика конструирования экспериментальной аппаратуры обеспечивает справедливость евклидовой геометрии[81]. Динглер рассуждал так: если механик стремится получить абсолютно плоские поверхности, он может действовать следующим образом: сделать сначала три приблизительно плоские поверхности более или менее равной величины; затем прикладывать их попарно друг к другу во всевозможных положениях. Степень соприкосновения этих поверхностей можно считать мерой их ровности. Механик будет стремиться к тому, чтобы соприкосновение каждой пары имело место во всех точках одновременно. Если этого удается достичь, можно математически доказать, что на плоскостях будет выполняться евклидова геометрия. Таким образом, наши собственные практические действия обеспечивают истинность евклидовой геометрии и ложность всякой другой. С точки зрения общей теории относительности на это можно, разумеется, возразить, что приведенный довод доказывает справедливость евклидовой геометрии лишь в малых масштабах, а именно в масштабах нашего экспериментального инструментария. Евклидова геометрия в самом деле выполняется тут с такой высокой точностью, что вышеописанный процесс изготовления плоских поверхностей всегда осуществим. Имеющиеся и здесь крайне малые отклонения от евклидовой геометрии останутся незаметными, поскольку материал, из которого сделаны поверхности, не обладает абсолютной твердостью и допускает небольшие деформации, а кроме того, и потому, что понятие «соприкосновение» нельзя вполне точно определить. Для поверхностей же космического размера описанный процесс неосуществим. Впрочем, эта проблема не относится к области экспериментальной физики.
Справедливость евклидовой геометрии в малых масштабах и в общей теории относительности служит достаточным основанием для установления связи понятий классической физики с символами искусственного математического языка. Собираясь говорить о своих опытах, физик не испытывает ни малейшего затруднения; ведь опыты эти проходят всегда в малых масштабах пространства и времени, даже если он наблюдает очень далекие звезды или предельно быстро движущиеся частицы. Стало быть, и здесь язык физика-экспериментатора в конечном счете согласован с искусственным языком математики. На основе теории относительности сформировался в итоге язык, позволяющий говорить и о пространственно-временных отношениях в целом; тем самым упомянутые вначале трудности, вообще говоря, могут считаться преодоленными.
Гораздо более серьезные языковые трудности возникли, однако, в атомной физике. При описании процессов, протекающих в области мельчайших размеров, при описании взаимосвязей, проанализированных и математически выраженных квантовой теорией, обыденный язык и язык классической физики столь явно обнаружили свою непригодность, что даже физики эйнштейновского ранга до конца жизни не в состоянии были примириться с новой ситуацией.
Положим, мы наблюдаем электроны в камере Вильсона; мы видим их след в виде полосы конденсированного пара, похожей на полосу, по которой мы распознаем самолет, летящий высоко в небе; на этом основании мы уверенно говорим об электронах как о быстро летящих электрически заряженных частицах. Но в других экспериментах те же самые образования проявляются как волны, способные вызвать явления дифракции и интерференции; они, следовательно, не могут быть только частицами ничтожной протяженности, одновременно они должны быть и процессами, распространяющимися в более обширном пространстве. Как можем мы охарактеризовать подобные образования, если всякое сравнение с образами нашего чувственно воспринимаемого мира оказывается неприменимым или в лучшем случае может выступать лишь в качестве намека и остается жестко связанным с экспериментами определенного типа? Здесь опять-таки невозможно входить в содержание квантовой теории и выяснять суть описываемых ею явлений, но, как и раньше, допустимо, пожалуй, задаваться вопросом о языке, на котором фактически говорят об атомах и элементарных частицах.