Minicurso: Temas em Metalógica – Teoremas de Löwenheim-Skolem e Gödel
O NEL convida a comunidade acadêmica para um minicurso de 7 horas sobre teoremas fundamentais na metalógica, e suas implicações filosóficas: o teorema de Löwenheim-Skolem e os teoremas da incompletude de Gödel.
As aulas serão ministradas pelos professores Jonas R. B. Arenhart e Lauro M. Nunes Filho, ambos do Departamento de Filosofia da UFSC.
25/08 e 27/08, das 10:00 às 12:00: Teorema Löwenheim-Skolem (JRBA)
28/08, das 09h:00 às 12:00: Teoremas da incompletude de Gödel (LMNF)
Local: Sala Selvino Assmann, CFH, bloco D, segundo andar.
