The legacy of one of the greatest thinkers of the twentieth century. Martin Davis reviews Incompleteness: The Proof and Paradox of Kurt Gödel by Rebecca Goldstein and A World Without Time: The Forgotten Legacy of Gödel and Einstein by Palle Yourgrau