Hacia el final de la década de 1940, Gödel demostró la existencia de soluciones paradójicas a las ecuaciones de campo de la relatividad general de Albert Einstein.