quinta-feira, 4 de outubro de 2018

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
Footnotes to Plato is a TLS Online series appraising the works and…

Nenhum comentário:

Postar um comentário