[Logica-l] Concurso de Lógica e Epistemologia na Unicamp

O instituto de Filosofia e Ciências Humanas da Unicamp está abrindo um concurso para professor Doutor no Departamento de Filosofia na área de Lógica, Epistemologia e Filosofia da Linguagem, disciplina HG-404 - Introdução à Lógica. As inscrições ficam abertas de 14/10/2024 a 11/12/2024. O Edital p

[Logica-l] Computer Scientists Combine Two ‘Beautiful’ Proof Methods

combining zero-knowledge proofs with probabilistically checkable proofs https://www.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta men

[Logica-l] Can Space-Time Be Saved? | Quanta Magazine

Can Space-Time Be Saved? | Quanta Magazine https://www.quantamagazine.org/can-space-time-be-saved-20240925/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Goo