Dois cientistas formalizaram um teorema sobre a existência de Deus escrito pelo matemático Kurt Gödel. Mas o viés de Deus é uma espécie de distração – o verdadeiro passo à frente é o exemplo que ele estabelece de como os computadores podem tornar mais simples o progresso científico.