Gödel

"One way of describing the Incompleteness Theorems (1931) of the Austrian logician Kurt Gödel is to say that he proved, in the form of a mathematical theorem, that the possibility of a fully automated mathematics can never be realized."

the-tls.co.uk

Kurt Gödel and the mechanization of mathematics

Footnotes to Plato is a TLS Online series appraising the works and…