Kurt Gödel and the mechanization of mathematics. Juliette Kennedy discusses Kurt Gödel’s Incompleteness Theorems: the ingenious proofs and enduring impact.