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.