Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

work on the continuum hypothesis, Gödel became preoccupied with two areas of research: cosmology, as a result of having discovered a solution to Einstein’s equations that implied a rotating universe;