Proofs and guarantees

[Joao Marcos]

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

[Julio Stern]

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 

Albert Einstein Quotes - BrainyQuote "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 <boto...@gmail.com>
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

 

--
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 logica-l+u...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
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.