Sumários
T_12b
14 Dezembro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).
T_11b
7 Dezembro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).
T_11a
6 Dezembro 2022, 11:30 • Mário Jorge Edmundo
Teorias e axiomas, exemplos; teorias decidíveis e semi-decidíveis; teorias com axiomas decidíveis são semi-decidíveis; teorias completas com axiomas decidíveis são decidíveis, exemplos; lema do ponto fixo; indefinibilidade da verdade de Tarski; indecidibilidade; teorema de incompletude de Godel; consistência e indecidibilidade (Church); consistência e incompletude; reflexão, reflexão e ponto fixo; teorias suficientemente fortes, aritmética de Peano; reflexão e ponto fixo formal; segundo teorema de incompletude de Godel.
T_10b
30 Novembro 2022, 15:00 • Mário Jorge Edmundo
Aula dedicada à discussão de exercícios (videoconferência no Zoom).