"Quem foi Kurt Gödel"
16 views
Skip to first unread message
Joao Marcos
Apr 10, 2018, 11:19:55 AM4/10/18
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Quem foi Kurt Gödel, o matemático comparado a Aristóteles que fazia
caminhadas com Einstein
8 abril 2018
http://www.bbc.com/portuguese/geral-43618903
* * *
Sei que é difícil fazer divulgação científica, mas o resumo realmente
não é brilhante:
"Em resumo, o que Gödel fez foi usar a matemática para provar que a
matemática não consegue ser sempre comprovada por meio de cálculos. Em
qualquer sistema há afirmações que são verdadeiras, mas que não podem
ser comprovadas."
* * *
JM
caminhadas com Einstein
8 abril 2018
http://www.bbc.com/portuguese/geral-43618903
* * *
Sei que é difícil fazer divulgação científica, mas o resumo realmente
não é brilhante:
"Em resumo, o que Gödel fez foi usar a matemática para provar que a
matemática não consegue ser sempre comprovada por meio de cálculos. Em
qualquer sistema há afirmações que são verdadeiras, mas que não podem
ser comprovadas."
* * *
JM
Reply all
Reply to author
Forward
0 new messages