[Logica-l] 1st Workshop on Non-deterministic Semantics for Modal Logics
A quem possa interessar, vai ter nos dias 7 e 8 de novembro o primeiro Workshop sobre semânticas não-determinísticas para lógicas modais: https://sites.google.com/view/1stworkshop-ndml/startseite Para participar remotamente tem que fazer a inscrição online até hoje, domingo 06/11. O evento começa amanhã às 6:30 da manhã, horário de Brasília. Abraços Marcelo -- 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 inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcn%2ByNm%3DrWffGeQ9jb%2BXn2yj2B8oJnQvSYakoWvxSkG2gFA%40mail.gmail.com.
[Logica-l] Odifreddi: Gödel's proof of the existence of God
Piergiorgio Odifreddi https://en.wikipedia.org/wiki/Piergiorgio_Odifreddi "Gödel's proof of the existence of God" Talk at the Workshop Mathematics and Religion organized by Stanislaw Krajewski, University of Warsaw, Poland and Fábio Bertato, University of Campinas, Brazil within the 3rd World Congress on Logic and Religion, Varanasi, India, Nov 4-8, 2022 Slides available here: https://sites.google.com/view/wocolor3/mathematics-and-religion -- 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 inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCArUbrA5mRD-MXyTFX%3D7RqjHjYZW9FTqfzXTL9SmLnXw%40mail.gmail.com.
