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

2017-01-28 Por tôpico Alexandre Rademaker
1+ também removi minha conta agora. Para os que se autenticaram usando a conta do Google, também é importante remover a permissão do Academia.edu da lista de apps autorizados. Visitem sua conta da Google e vejam seção segurança Alexandre Sent from my iPhone > On 28 Jan 2017, at 17:29, Walter

[Logica-l] Re: An experiment concerning mathematical writing

2017-01-28 Por tôpico Joao Marcos
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,

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

2017-01-28 Por tôpico Walter Alexandre Carnielli
Acabei de deletar a minha conta na Academia.edu: "Your account has been removed" Ja sabia que era um "bullshit acadêmico",não tinha tido ainda paciência para apagar a conta. Agora tive. Façam o mesmo! Walter > Em 28 de jan de 2017, às 16:49, Joao Marcos escreveu: > >

[Logica-l] How to check a proof

2017-01-28 Por tôpico Joao Marcos
What to do about claims of hard theorems? https://rjlipton.wordpress.com/2017/01/25/how-to-check-a-proof/ Porque nem tudo no mundo é "simples"... JM -- 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

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

2017-01-28 Por tôpico Joao Marcos
Mais um episódio envolvendo a rede social "acadêmica" abusiva já denunciada aqui nesta lista antes: Dear Scholars, Delete Your Account At Academia.Edu http://www.forbes.com/sites/drsarahbond/2017/01/23/dear-scholars-delete-your-account-at-academia-edu JM -- Forwarded message --