Основным понятием теории относительности Эйнштейна, в инерциальной системе отсчета, является интервал: ds^>2 = c^>2dt^>2 – dx^>2 – dyx^>2 – dz^>2. Благодаря введению Минковским мнимого времени τ=ict, интервал приобрел более симметричный вид: – ds^>2 = dx^>2 + dy^>2 + dz^>2 + dτ^>2 и появилось фундаментальное представление об едином пространстве-времени. Таким образом, в теорию относительности внедрилась мнимая единица i. Если мы переходим в неинерциальную систему отсчета (теорию гравитации – ОТО), то ds^>2 уже не будет суммой квадратов дифференциалов четырех координат и интервал примет вид: – ds^>2 = g_>ikdx_>idx_>k, где g_>ik – метрический тензор пространства-времени, x_>1, x_>2, x_>3 – пространственные координаты, x_>0 – временная координата (x_>0 = it). Так как уже нет смысла сохранять мнимое время, то переходят к реальному времени t. Но детерминант метрического тензора оказывается отрицательным и будет теперь входить во все формулы ОТО в виде (то есть

Математика (по-гречески буквально – «знание») – это наука о количественных отношениях и пространственных формах нашего мира. Но чтобы исследовать эти формы и отношения в чистом виде, необходимо отделить их от содержания. В результате мы приходим к, так называемой, абстрактной математике. И чем больше развивается абстрактная математика, тем больше ее приложений мы используем в рамках, так называемой прикладной математики. Существует и обратный процесс: потребности практики или других наук приводят к появлению новых математических методов. Однако это всегда мешало формированию математики как независимой, самостоятельной абстрактной науки, о чем мечтает любой профессиональный математик. Хотя большая часть математики была создана благодаря потребностям практики, в первую очередь – физики, название «прикладная математика» во многом условно, так как математики постоянно стремятся создать свою науку, такую же фундаментальную, как физика. У физики есть объективные правила игры – законы природы; есть объективный критерий правильности теории – опыт; есть четко сформулированная цель – Единая теория всех частиц и полей. Однако, обусловленный успехами физики технический прогресс опережает биологические возможности человека в осмыслении его негативных последствий.

Физику можно достаточно строго разделить на теоретическую (дающую предсказания) и экспериментальную (проверяющую эти предсказания). Долгое время физический эксперимент был единственным критерием правильности физической теории. Но для многих современных физических теорий постановка эксперимента стала невозможной (например, в теории Вселенной), поэтому правильность таких теорий может быть подтверждена только непротиворечивостью используемой математики. Таким образом, у прикладной математики (долгое время «обслуживающей» теоретическую физику) появился свой собственный критерий правильности – абстрактная («чистая») математика. В этой связи, позиции теоретической физики и прикладной математики (которую иногда называют теоретической математикой) чрезвычайно сблизились и даже часто эти названия воспринимаются как синонимы. В настоящее время прикладная математика стремится придать физическим теориям, страдающим недостатком математической строгости, необходимую им непротиворечивость, восполняя, таким образом, отсутствующий экспериментальный критерий правильности.