Following Kurt Gödel (1906-1978)’s publications on the first- and second incompleteness theorems (1931) and later work on Cantor’s continuum hypothesis (1947), Gödel in 1948 turned his attention to cosmology. In an extensive investigation of Einstein’s field equations, Gödel found one of few known exact solutions, whose implications the “Gödel universe” are very peculiar.