Re: [Logica-l] votação eletrônica de classificação de periódicos da área de lógica

2016-06-17 Por tôpico Hermógenes Oliveira
Prezados, O período de votação terminou. O resultado pode ser conferido em http://civs.cs.cornell.edu/cgi-bin/results.pl?id=E_b8a67f80d6df72ec Com apenas 19 votos contabilizados, o resultado dificilmente pode ser tomado como representativo da comunidade de lógica brasileira, mas talvez possa

[Logica-l] Re: fundamentalistas cristãos versus os fundamentos da teoria dos conjuntos

2016-06-17 Por tôpico 'Samuel Gomes' via LOGICA-L
... Tenho vontade de perguntar aos matemáticos(?) que escrevem os "A Beta Books" se a Hipótese do Contínuo é verdadeira ou falsa, só pra ver o que respondem - ou esperar pela excomungação, um ritual de exorcismo ou o que seja. Atés, []s Samuel On Friday, June 17, 2016 at 2:35:29 PM UTC-3,

[Logica-l] fundamentalistas cristãos versus os fundamentos da teoria dos conjuntos

2016-06-17 Por tôpico Joao Marcos
Deu o que falar, algum tempo atrás, o fato de que algumas escolas da Louisiana receberam verba pública para implementar um "bible based curriculum". Muitas barbaridades (incluindo revisionismo da escravatura e da Ku Klux Klan) entraram nos livros de história desse pessoal. A militância cristã

[Logica-l] Fwd: Brazilian Symposium on Formal Methods (SBMF2016) - CFP

2016-06-17 Por tôpico Joao Marcos
Vale notar que o XIX SBMF será o quarto evento desta série a ser realizado em Natal! JM -- Forwarded message -- [Apologies should you receive multiple copies of this call.] SBMF === SBMF === SBMF === SBMF === SBMF === SBMF === SBMF ===