Acabou de ser publicado (em open access) o paper com o "experimento sobre escrita matemática", de Tim Gowers, que mencionei aqui na lista em 2013:
A Fully Automatic Theorem Prover with Human-Style Output Journal of Automated Reasoning February 2017, Volume 58, Issue 2, pp 253–291 JM On Wed, Apr 3, 2013 at 8:45 AM, Joao Marcos <botoc...@gmail.com> wrote: > Dando continuidado ao interessante experimento... > http://gowers.wordpress.com/2013/04/02/a-second-experiment-concerning-mathematical-writing/ > > JM > > > On Wed, Mar 27, 2013 at 3:42 PM, Joao Marcos <botoc...@gmail.com> wrote: >> >> Sobre clareza e estilo na escrita matemática >> >> http://gowers.wordpress.com/2013/03/25/an-experiment-concerning-mathematical-writing/ >> um experimento de Tim Gowers. >> >> Vale a pena participar! >> JM > > > > > -- > http://sequiturquodlibet.googlepages.com/ -- 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_LgjKvBM3nUKmh90b3_wL2TaE99pmqXKrNG9raAwkr81HQ%40mail.gmail.com.