  Another definition of time travel that one sometimes encounters in the literature (Arntzenius, 2006, 602) (Smeenk and Wüthrich, 2011, 5, 26) equates time travel with the existence of CTC’s: closed timelike curves. A curve in this context is a line in spacetime; it is timelike if it could represent the career of a material object; and it is closed if it returns to its starting point (i.e. in spacetime—not merely in space). This now includes Gödel—but it excludes Einstein.