computer proof checking

12 views
Skip to first unread message

Joao Marcos

unread,
Jul 5, 2023, 9:32:45 PM7/5/23
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Should all mathematical proofs be checked by a computer?
-- Proofs, the central tenet of mathematics, occasionally have errors in them. Could computers stop this from happening, asks mathematician Emily Riehl


JM
Reply all
Reply to author
Forward
0 new messages