As far as the laws of mathematics refer to reality, they are not certain, and as far as they are certain, they do not refer to reality. Albert Einstein
Simples assim... ---Julio Stern [https://www.brainyquote.com/images/fbl.jpg]<https://www.brainyquote.com/quotes/albert_einstein_102390> Albert Einstein Quotes - BrainyQuote<https://www.brainyquote.com/quotes/albert_einstein_102390> "As far as the laws of mathematics refer to reality, they are not certain, and as far as they are certain, they do not refer to reality." - Albert Einstein quotes from BrainyQuote.com www.brainyquote.com ________________________________ From: Joao Marcos <[email protected]> Sent: Saturday, November 10, 2018 6:05 PM To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Subject: [Logica-l] Proofs and guarantees 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. -- 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/CP2P152MB1556D037DC93A387D185D648B6C70%40CP2P152MB1556.LAMP152.PROD.OUTLOOK.COM.
