Seminário remoto "Lógicos em Quarentena" 05/08/2021 (quinta-feira) 16:00h

[Bruno Lopes]

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: 05 de agosto de 2021 (quinta-feira)
Horário: 16:00h GMT-3
Apresentador: Andrés Villaveces (Universidad Nacional de Colombia)
Título: Completeness as (topological) Reconstruction (of logical properties)
Resumo: I will discuss the two Completeness Theorems: Gödel's for First Order Logic and Makkai's for small pretopoi, with emphasis on duality and reconstruction. (The style of presentation will be based on ideas due to Lurie.) I will describe informally the central role of this theorem in various contexts, and its notorious absence in some other situations.

A apresentação ocorrerá pelo Google Meet através do link público meet.google.com/ycr-pwuj-xok .

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno