An introduction to Godel's ideas on cosmology, physics, maths, and their philosophical implications. By explaining "Godel universes", models he proposed to solve the field equations of Einstein's Theory of Relativity, the author shows what Godel's theory implies: time travel is possible.

What happens when the century's greatest logician meets the century's greatest physicist? In the case of Kurt Gdel and Albert Einstein, the result is Gdel's revolutionary new world models for relativity theory
Although most famous for his Incompleteness Theorems in mathematical logic, Gdel was a philosopher in his own right, with a special interest in the philosophical problem of Time.
Most people are unaware that Gdel and Einstein were close friends for many years at Princeton's Institute for Advanced Study. Gdel extended Einstein's General Theory of Relativity with cosmological models-now known as "Gdel Universes"-with extraordinary properties, including the possibility of closed, timelike curves that allow the philosophical fantasy of time travel to become a scientific reality.
For Gdel, however, the reality of time travel signals the unreality of time. If he's right, the real meaning of the Einstein revolution remained a secret for half a century and is only being revealed now.