The 20th-century Austrian mathematician Kurt Gödel did his level best to live in the world as his philosophical hero Gottfried Wilhelm Leibniz imagined it: a place of pre-established harmony, whose patterns are accessible to reason. It’s an optimistic world, and a theological one: a universe presided over by a God who does not play dice.