Kurt Gödel and the mechanization of mathematics - Essay - Footnotes to Plato - TLS
Jan. 28, 2020
9:29 a.m.
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))
2251
Age (days ago)
2251
Last active (days ago)
0 comments
1 participants
participants (1)
-
J.C. DE MARTIN