on the formalization of mathematical proofs
19 views
Skip to first unread message
Joao Marcos
Mar 22, 2024, 8:47:57 PM3/22/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Timothy Gowers @wtgowers:
"Formalization of mathematical proofs has been talked about a lot
recently. Today a new journal is launched, the Annals of Formalized
Mathematics, aimed principally at mathematicians rather than computer
scientists. 🧵"
https://twitter.com/wtgowers/status/1771180074055696603
JM
"Formalization of mathematical proofs has been talked about a lot
recently. Today a new journal is launched, the Annals of Formalized
Mathematics, aimed principally at mathematicians rather than computer
scientists. 🧵"
https://twitter.com/wtgowers/status/1771180074055696603
JM
Reply all
Reply to author
Forward
0 new messages