Kurt Gödel and the mechanization of mathematics Juliette Kennedy discusses Kurt Gödel’s Incompleteness Theorems: the ingenious proofs and enduring impact By Juliette Kennedy https://www.the-tls.co.uk/articles/kurt-godel-incompleteness-theorems/ (Sent from my wireless device; please excuse brevity and typos (if any))