on the role of proofs
7 views
Skip to first unread message
Joao Marcos
Oct 22, 2019, 11:36:54 AM10/22/19
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
When is a proof a great proof?
--- on proofs showing why and how something is true
https://rjlipton.wordpress.com/2019/10/21/a-polemical-overreach/
###
Continua provocador o ali citado paper de 1977:
"Social Processes and Proofs of Theorems and Programs"
https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf
###
JM
--- on proofs showing why and how something is true
https://rjlipton.wordpress.com/2019/10/21/a-polemical-overreach/
###
Continua provocador o ali citado paper de 1977:
"Social Processes and Proofs of Theorems and Programs"
https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf
###
JM
Reply all
Reply to author
Forward
0 new messages