Oi, Walter: > E isso tudo é OFF TOPIC, surpreende-me que o fundador e guardião da > Lista esteja participando sem se dar conta disso -- deve ser o > Primeiro de Abril dele :-)
Bem, vou assumir que você não leu o link que eu enviei ontem para o Gödel's Lost Letter, que não é nem um pouco OFF TOPIC... A propósito, um dos comentários mais recentes no blog aponta para um artigo interessante, que aponta para o fato de ser aparentemente mais simples treinar uma rede neural do que, digamos, um aluno de TI para produzir coisas parecidas com "demonstrações" :-/ https://arxiv.org/abs/1701.06972 Abraços, Joao Marcos ---------- Forwarded message ---------- > Este aqui é muito bom: > https://rjlipton.wordpress.com/2017/04/01/the-end-of-human-science/ -- http://sequiturquodlibet.googlepages.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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@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_Lg_izOy12Hp8pnUB9C-VWJ5QocAu0xN_vgZ4QpOL%2BJQkw%40mail.gmail.com.
