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 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lga6YR0EX7JtSkfjjcaQnkLk66pO6cMCygpakP4RUWzGw%40mail.gmail.com.
