"Como sabemos se a prova de um teorema está certa?"
21 views
Skip to first unread message
Joao Marcos
Apr 8, 2026, 2:08:53 PM (3 days ago) Apr 8
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
"Como sabemos se a prova de um teorema está certa?"
--- por Marcelo Viana
https://www1.folha.uol.com.br/colunas/marceloviana/2026/04/como-sabemos-se-a-prova-de-um-teorema-esta-certa.shtml
(curiosamente, não há menção a assistentes de demonstração --- ou
mesmo à Teoria das Demonstrações)
JM
--- por Marcelo Viana
https://www1.folha.uol.com.br/colunas/marceloviana/2026/04/como-sabemos-se-a-prova-de-um-teorema-esta-certa.shtml
(curiosamente, não há menção a assistentes de demonstração --- ou
mesmo à Teoria das Demonstrações)
JM
Reply all
Reply to author
Forward
0 new messages