Sumários
T21_26
27 Maio 2019, 10:00 • Mário Jorge Edmundo
Reflexão, reflexão e ponto fixo, teorias suficientemente fortes, reflexão e ponto fixo formal; segundo teorema de incompletude de Godel; notas sobre a consistência de PA, ZFC, etc.
T21_25
24 Maio 2019, 10:30 • Mário Jorge Edmundo
Nota sobre recursividade: funções/relações efectivamente computáveis/decidíveis são recursivas. Verdade, indecidibilidade e incompletude: Lema do ponto fixo, teorema da indefinibilidade da verdade de Tarski, indecidibilidade, teorema de incompletude de Godel; Consistência, indecidibilidade e incompletude: consistência e indecidibilidade (Church), consistência e incompletude.