4 Эйнштейн, 4, 264.

Существенным, с точки зрения Эйнштейна, было то, что может послужить материалом или орудием для построения адекватной картины реального мира. В математике подобного критерия у него еще не было. Но уже было неясное, но глубокое представление о том, что в стройной системе геометрических теорем выражается упорядоченность мироздания. Первоначально это представление было элементарным: Эйнштейн думал, что геометрические объекты - псевдонимы реальных тел, что они по своей природе не отличаются от последних. Эйнштейну показалась удивительной ("чудом") возможность чисто логического получения достоверных сведений о наблюдаемых предметах. Позже он понял, что такая возможность исключена.

62

"Хотя это выглядело так, будто путем чистого размышления можно получить достоверные сведения о наблюдаемых предметах, но такое "чудо" было основано на ошибках. Все же тому, кто испытывает это "чудо" в первый раз, кажется удивительным самый факт, что человек способен достигнуть такой степени надежности и чистоты в отвлеченном мышлении, какую нам впервые показали греки в геометрии" [5].

5 Эйнштейн, 4, 262.

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

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

63

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

Остановимся на лекции Эйнштейна "О методе теоретической физики" [6].

6 Эйнштейи, 4, 181-186.

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

Тем не менее Эйнштейн хочет изложить не результаты исследований, а метод, которым с большей или меньшей осознанностью пользуются творцы физических теорий. Задача состоит в сопоставлении теоретических основ науки и данных опыта. "Дело идет о вечной противоположности двух неразделимых элементов нашей области знания: эмпирии и рассуждения".

Классическим образцом чисто рациональной науки, уловившей реальные соотношения, остается античная философия. Это великое торжество разума, которое никогда не потеряет своего ореола.

64

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

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

Физика, по словам Эйнштейна, должна включать исходные понятия, далее законы, в которых фигурируют понятия, и, наконец, вытекающие из указанных законов утверждения. Такие утверждения должны соответствовать опыту.

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

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

65

"Опыт остается, конечно, единственным критерием возможности применения математических конструкций в физике, но именно в математике содержится действительно творческий принцип. С подобной точки зрения я считаю правильным убеждение древних: чистая мысль способна постичь реальное".

Те же мысли, но в несколько ином аспекте Эйнштейн изложил в статье "Проблема пространства, эфира и поля в физике" [7].

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

Эйнштейн иллюстрирует соотношение этих составляющих науки следующим примером:

"Некий археолог, принадлежащий цивилизации будущих веков, находит курс евклидовой геометрии без чертежей. Он сможет разобраться в том, как применяются слова: точка, прямая, плоскость в различных теоремах; он поймет, как из одной теоремы выводится другая, и даже сможет сам найти по усвоенным правилам новую теорему. Но теоремы останутся для него игрой слов, ему недоступна операция, которую можно выразить словами "представить себе нечто", применительно к терминам: точка, прямая, плоскость и т.д..."