Eu posso ser suspeito pra falar (já que nos últimos anos venho trabalhando principalmente com isso), mas gosto da definição. :)
Uma demonstração é um artefato de convencimento, e nada é mais convincente do que algo que pode ser validado mecanicamente. Tem quem só considere como demonstração de verdade o que pode ser validado *eficientemente*, mas aí já acho preciosismo. Abraço, Joao Marcos <botoc...@gmail.com> writes: > 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 -- Haniel Barbosa https://hanielbarbosa.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8734y1zaj7.fsf%40gmail.com.
