Um conhecido filósofo da ciência explora o slogan de Timothy Gowers segundo o qual: proof = explanation + guarantee
Proofs and Guarantees We can prove things in math, but does that mean they’re true? By James Robert Brown, The Mathematical Intelligencer on November 9, 2018 https://www.scientificamerican.com/article/proofs-and-guarantees/ * * * Em outra senda, quem tiver interesse em ler algo bem mais antigo escrito pelo mesmo autor, sobre como "pictures can prove things", poderá querer dar uma olhada em: Proofs and Pictures, by James Robert Brown Brit. J. Phil. Sci. 48 (1997), 161-180 http://jwood.faculty.unlv.edu//unlv/Articles/Brown.pdf * * * JM -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lis1zYL4S%3DRxP9n3ZgGwDrNYwQOJB-6Zfh%2B60c_w_-L6g%40mail.gmail.com.
