computadores podem nos ajudar a encontrar demonstrações, e não apenas verificá-las? https://youtu.be/3l1RMiGeTfU?si=SL_Fi0q6q5T-y_33 bônus: código L∃∀N outro bônus: história de crime em quadrinhos sobre matemática
JM On Fri, Sep 1, 2023 at 9:06 AM Ruy Jose Guerra Barretto de Queiroz < r...@cin.ufpe.br> wrote: > Why Mathematical Proof Is a Social Compact > <https://www.quantamagazine.org/why-mathematical-proof-is-a-social-compact-20230831/> > Number theorist Andrew Granville on what mathematics really is — and why > objectivity is never quite within reach. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <logica-l@dimap.ufrn.br> > --- > Você recebeu essa mensagem porque está inscrito 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+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7QiAMi%2B8Yu3veAKWL_%2BqwYQ1A4-p0pBC9h-%2BvxBQqqtkGg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7QiAMi%2B8Yu3veAKWL_%2BqwYQ1A4-p0pBC9h-%2BvxBQqqtkGg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjaDS9z-oezFOJxcuRHMGvnh8YVMg5n3Re%3DPwSE0k_%3DRA%40mail.gmail.com.
