https://cacm.acm.org/magazines/2023/11/277437-what-came-first-math-or-computing/fulltext -- por Moshe Vardi
%%% O artigo inclui uma definição interessante de *demonstração matemática* (grifo meu): "In 1979, building on NP-completeness theory, Cook and Robert Reckhow were finally able to answer the fundamental question of what a mathematical proof is, *evidence that is so rigorous it can be checked computationally*." O que vocês acham disso? João Marcos -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiuLnXtsJnVOrsOVOG%2BdL8nXq%3DpASMp1i9eS6D0VcCE3g%40mail.gmail.com.
