A informação esta incompleta. O primeiro autor eh M. Ganesalingam. Ganesalingam, M., & Gowers, W. T. Journal of Automated Reasoning February 2017, Volume 58, Issue 2, pp 253–291 A Fully Automatic Theorem Prover with Human-Style Output
doi.org/10.1007/s10817-016-9377-1 O artigo esta disponivel aqui: http://link.springer.com/article/10.1007%2Fs10817-016-9377-1 e um pre-print (bastante diferente do final) no Arxiv aqui: https://arxiv.org/pdf/1309.4501v1.pdf Interessantemente, na versão do Arxiv eles se referem bastante ao "influential" artigo de Alan Bundy, Bundy, A. A Science of Reasoning, in `Computational Logic: Essays in Honor of Alan Robinson', eds Lassez J-L & Plotkin, G., MIT Press, pp 178-198, 1991. mas nao o mencionam nas referências! Na versão final, o "influential" artigo desaparece. O programa tem 3000 linhas em Haskell, segundo os autores; me parece ate surpreendentemente pequeno pelo conteudo de "inteligência" que contem: https://github.com/mg262/research/raw/master/robotone.zip Eu nao tenho competência para mexer com isso, mas seria muito interessante se alguém pudesse programa-lo para demonstrar teoremas de Geometria Analitica. Com certeza, dah para mostrar tudo o que tem nos livros-texto usuais.Eu ajudaria... Walter > Em 28 de jan de 2017, às 17:31, Joao Marcos <[email protected]> escreveu: > > 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 <[email protected]> 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 <[email protected]> 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 [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_LgjKvBM3nUKmh90b3_wL2TaE99pmqXKrNG9raAwkr81HQ%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/2AF9ECEF-E5E5-43CC-8234-172DB93D5B54%40gmail.com.
