Kurt Gödel showed that solutions to Einstein's equations exist that contain closed timelike curves (CTCs), which allow for loops in time.
Kurt Gödel ukázal, že existují řešení Einsteinových rovnic, které obsahují uzavřené časupodobné křivky (UČK), které umožňují smyčky v čase.