God, the Devil, and Gödel