Таким образом, в физическую теорию попадали математические структуры.
Именно так случилось в Новейшее время с алгеброй групп, с неевклидовой геометрией и др. Математики и даже физики XIX века думали, например, что эти разделы математики — чистая игра воображения, которая никогда не найдет себе практического применения. Когда, однако, уже в нашем столетии стали развиваться специальная теория относительности и квантовая механика,оказалось, что для формулировки их законов эти математические дисциплины дают готовый, хорошо разработанный математический аппарат.
Таким образом, математические структуры, находящие применение при построении научной теории, используемые для ее формулирования, уточнения, развития и совершенствования, образуют математическую модель научной теории.
В математические уравнения, как вы знаете, входят символы, обозначающие различные абстрактные переменные, и символы тех или иных математических операций. Поэтому сами по себе такие уравнения ничего не говорят об объективном мире. Для того чтобы они превратились в конкретную научную теорию, соответствующие символы должны обрести тот или иной физический, механический или астрономический смысл, получить определенное эмпирическое значение. Процедура предания формальному математическому аппарату конкретного научного смысла называется интерпретацией данной математической модели теории. Для этого необходимо использовать набор основных понятий данной науки, входящих в ее фундаментальные законы.
Возьмем для примера самое простое арифметическое выражение: y = xz. Входящие в него переменные могут быть легко выражены друг через друга. Однако ни о какой физической реальности они еще не говорят. Достаточно между тем интерпретировать у как силу, х как массу, a Z как ускорение, и мы получим уже знакомую нам здесь запись второго закона ньютоновской динамики F = та. При другой интерпретации, приписывая у значение импульса (Р) и рассматривая Z как скорость V, мы получим уравнение P = mV. Оно указывает на связь импульса с массой и скоростью движущегося тела. Чтобы та или иная математическая структура, тот или иной набор уравнений можно было рассматривать как соответствующую научную теорию, необходимо, стало быть, интерпретировать определенным образом переменные данные математической структуры.
Набор основных понятий и правил интерпретации, с помощью которых данные понятия включаются в состав математических выражений, превращая их тем самым в выражения физики, механики, астрономии и т. п., называются теоретической моделью данной теории. Теперь вам становится более понятной и та классификация моделей, о которой мы уже говорили.
Сейчас очень важно, чтобы вы ясно поняли, что ни математическая модель, ни теоретическая модель еще не образуют взятые порознь научные теории. Однако выделение этих двух важных подсистем позволяет нам сделать некоторые важные выводы. Оказывается, что различные по своему содержанию теории могут иметь одинаковые в известных границах математические модели. Так, например, уравнение кинетической теории газов*и уравнение механической теории, рассматривающей соударение абсолютно упругих шариков исчезающе малых размеров, сходны по своей математической природе, то есть по формальным свойствам. Точно так же в известных границах сходны уравнения гидродинамики и классической электродинамики.
Из этого, между прочим, следует, что различные в содержательном смысле теории могут иметь одинаковую математическую структуру, что и в основе их лежйт одна и та же математическая модель.
По мере того как научные теории разного содержания обнаруживают качественные различия между своими объектами, начинают обнаруживаться отличия и в используемом ими математическом аппарате. И все же обнаружение большего или меньшего сходства математической модели теории позволяет не только установить взаимосвязь научных теорий переносить некоторые сведения из одной теории в другую, но и наталкивает на мысль о взаимосвязи и даже единстве отражаемых в этих теориях фрагментов действительности.
Здесь уместно заметить, что математическая модель теории сама по себе не отражает объективную действительность, но она выражает или фиксирует формальную структуру теории, что само по себе очень важно, ибо позволяет лучше понять данную теорию, усовершенствовать ее, упростить и организовать заключенные в ней знания.
Теперь я хочу коснуться еще одного важного вопроса — вопроса о правилах формальных преобразований, интерпретаций и некоторых других правилах, с которыми часто приходится сталкиваться, коль скоро речь заходит о науке.