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