Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 25 de agosto de 2020 (terça-feira) Horário: 16:00h Apresentador: Rehana Patel (African Institute for Mathematical Sciences) Título: Combining Logic and Probability in the Presence of Symmetry Resumo: Among the many approaches to combining logic and probability, an important one has been to assign probabilities to formulas of a classical logic, instantiated from some fixed domain, in a manner that respects logical structure. A natural additional condition is to require that the distribution satisfy the symmetry property known as exchangeability. In this talk I will trace some of the history of this line of investigation, viewing exchangeability from a logical perspective, and report on the current status of a joint program of Ackerman, Freer and myself on countable exchangeable structures. A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/ndj-ryap-dch . -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq08UPzFr%3DXpR-AryFbkHYTJVQ4-yOdmJKQONtm-Qzs%2B6GA%40mail.gmail.com.
