ATP in the news

Stream: general

[Johan Commelin]

https://www.the-tls.co.uk/articles/kurt-godel-incompleteness-theorems/

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.