Существование машины времени доказали математически.

По мнению ученых из США и Канады, математическая модель машины времени представляет собой "Ящик" или "пузырь", который позволяет находящимся внутри него пассажирам перемещаться в прошлое и будущее. Сама машина должна двигаться вдоль круговой траектории, проходящей через пространство - время.

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

Были придуманы различные условия, при которых возможно возникновение СТС, однако в каждом случае путешествия во времени оказываются невозможными. Стивен хокинг предложил гипотезу защищенности хронологии, в которой утверждается, что попытка создания замкнутых временеподобных кривых должна обязательно приводить к появлению черной дыры. Тем не менее авторы работы полагают, что возможно существование СТС, на которые не распространяются данные ограничения.
Ученые предложили математическую модель машины времени, называемую Tardis (англ. Traversable Acausal Retrograde Domain in Spacetime. По своему принципу действия она напоминает пузырь алькубьерре, который позволяет находящемуся внутри него космическому кораблю достигать сверхсветовой скорости. Однако Tardis должна перемещаться по замкнутой кривой, чтобы находящиеся в ней люди испытывали постоянное ускорение. При этом внешний наблюдатель увидит две версии путешественников внутри пузыря: для одной время течет нормально, а для другой - в обратном направлении.