[Logica-l] Fwd: [Proof Complexity] visiting prof

Camilo Thorne Rheinhäuser Str. 9A 68165, Mannheim, Germany mobile: +49(0)15202380352 http://www.camilothorne.com "Exegi monumentum aere perennius" (Horatius, Ode III-30) -- Forwarded message - From: Jan Krajicek Date: Thu, Oct 17, 2019 at 8:59 AM Subj

[Logica-l] Fwd: [logic-bsb] Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) @

Início da mensagem encaminhada: > De: Lógica no Avião > Data: 16 de outubro de 2019 23:51:48 BRT > Para: logic-...@googlegroups.com > Assunto: [logic-bsb] Marcelo Esteban Coniglio (IFCH-CLE-UNICAMP) @ Avião> > Responder A: logic-bsb+own...@googlegroups.com > >  > Marcelo Esteban Coniglio >

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

O artigo apontado pelo Rodrigo é um lixo, e não tem como ser salvo. Vale apontar que ele claramente ele traduz ---sem entender--- trechos iniciais disto aqui: https://www.nature.com/articles/d41586-019-00083-3 Como bem apontou o Walter, quando discutimos o resultado relevante aqui nesta lista aind

[Logica-l] Z3 and model-based theory combination

The inner magic behind the Z3 theorem prover https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/ (Com a foto do prêmio Herbrand que eles ganharam aqui em Natal.) JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos d

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

Obrigado, João, por elucidar que não temos apenas mais um patético caso de publicação de lixo em espaço que se apresenta como científico para o grande público. Fosse apenas isso, já seria de uma falta de profissionalismo monumental. Mas não, trata-se também de plágio, claramente documentado.