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))