У меня в последние годы сложилось такое мнение об Эйнштейне. Он создал логичную и относительно понятную теорию, которая всем понравилась; но основной его вклад в науку — не это, а первый шаг к пониманию/осмыслению того, что получила квантовая механика. Эйнштейн отказывался верить в квантовую механику, поскольку ощущал, какой бред вытекал из её постулатов (квантовая запутанность, "spooky action at distance"). Он предложил идею ЭПР, чтобы продемонстрировать этот бред; и уже после смерти Эйнштейна, Белл развил его мысль, добавил третий базис и предложил эксперимент, который позже был проведён и подтвердил, что этот бред таки имеет место. Человечеству ещё предстоит это осмыслить.
Но в то же время всё чаще приходится слышать, что в ОТО тоже есть нелокальность. Как это понимать? Вот из Википедии:

https://ru.wikipedia.org/wiki/Замкнутая_времениподобная_кривая

За́мкнутая времениподо́бная ли́ния или за́мкнутая времениподо́бная крива́я (англ. closed timelike curve, CTC[1]) в математической физике — времениподо́бная кривая на Лоренцевом многообразии, возвращающаяся в исходную пространственно-временную точку, то есть замкнутая мировая линия частицы в пространстве-времени[2]. Существование таких линий в рамках общей теории относительности было впервые вынесено на широкое обсуждение Куртом Гёделем в 1949 году на основании полученного им точного решения уравнений Эйнштейна, известного как метрика Гёделя, хотя первое решение такого типа было получено ранее, в 1937 году Виллемом Ван Стокумом. Подобные кривые возникают и в других решениях, таких как «цилиндр Типлера» и «проходимая кротовая нора». Существование замкнутых времениподобных кривых позволяет путешествия во времени со всеми связанными с ними парадоксами.

Почему уравнений Эйнштейна, а на КМ? Я бы понял, если бы тут упомянули КМ и принцип наименьшего действия. Но откуда тут ОТО?