Re: [Logica-l] [OFF] "It is time to delete your Academia.edu account"

Walter, Alexandre, Marcos, Maria, Hermógenes: Obrigado pelas múltiplas reações. Como o zelo que tenho pela minha privacidade não me permite ser franco admirador de redes sociais, em geral, vou ignorar este "sedutor" aspecto do site academia.edu, cujas magníficas funcionalidades eu também não

Re: [Logica-l] [OFF] "It is time to delete your Academia.edu account"

Marcos Silva escreveu: > Caros, Olá, Marcos. > até que ponto esta exortação pública contra a academia.eu não eh > exagerada, hein? > > Sendo bem pedestre, em termos de custo e benefício, nesta rede social, > me parece que as coisas vão bem. Pelo menos, pra filosofia.

Re: [Logica-l] [OFF] "It is time to delete your Academia.edu account"

Caros, até que ponto esta exortação pública contra a academia.eu não eh exagerada, hein? Sendo bem pedestre, em termos de custo e benefício, nesta rede social, me parece que as coisas vão bem. Pelo menos, pra filosofia. Não tenho custo nenhum, pelo menos aparentemente, e fico sabendo, de

Re: [Logica-l] Geometria Analitica e "An experiment concerning mathematical writing"

Obrigado por complementar as informações do meu email anterior, Walter. > 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 &

[Logica-l] Geometria Analitica e "An experiment concerning mathematical writing"

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