domingo, 15 de abril de 2018

Limites da lógica

"Kurt Gödel showed that mathematical thinking cannot be captured in a formal axiomatic reasoning system. What does this deep result mean in practice? What are the limits of computer thinking? Can beauty and creativity and a sense of humor be formalized? "
Kurt Gödel showed that mathematical thinking cannot be captured in a formal axiomatic reasoning system. What does…
youtube.com

Nenhum comentário: