Assertion: timelike curve | /r/UsedFor | loop
Facets:
value: in time
type: TEMPORAL
Source sentences:
text: Kurt Gödel showed that solutions to Einstein's equations exist that contain closed timelike curves (CTCs), which allow for loops in time.