[Logica-l] Fwd: Paul Benacerraf (1930-2025)

-- Forwarded message - Paul Benacerraf, professor emeritus of philosophy at Princeton University, has died. https://dailynous.com/2025/01/16/paul-benacerraf-1930-2025/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está re

[Logica-l] [humor] resolvedores SAT

demonstração de teoremas + redes neurais https://www.smbc-comics.com/comic/applied JM -- 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 Google. Para cancelar insc