Colóquio de Matemática, 21 de outubro de 2022, 14:00h
18/10/2022 11:25
Lógicas modais e demonstrabilidade aritmética
Cezar Mortari (Dep. de Filosofia CFH-UFSC)
Resumo: Nesta palestra, pretendo fazer uma introdução às lógicas modais, aos teoremas de Gödel, e a duas lógicas modais da demonstrabilidade, que conectam as coisas.
Data: Sexta-feira, 21 de Outubro de 2022, 14h
Local: Auditório Airton Silva, Departamento de Matemática – MTM /CFM