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.
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
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
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 &
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