Sumários
AULA 38
17 Dezembro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.
AULA 37
15 Dezembro 2020, 11:00 • Fernando Ferreira
A teoria Q é essencialmente indecidível. A versão de Rosser do teorema da incompletude de Gödel. O teorema da indecidibilidade de Church.
AULA 36
11 Dezembro 2020, 15:00 • Fernando Ferreira
As teorias completas recursivamente axiomatizáveis são decidíveis. Representabilidade de predicados numéricos e representablidade (forte) de funções numéricas parciais. Representabilidade na teoria Q. Uma função parcial é (fortemente) representável em Q se, e somente se, é parcial recursiva. Um predicado é recursivo se, e somente se, é representável em Q.
AULA 35
10 Dezembro 2020, 11:00 • Fernando Ferreira
Resolução de exercícios e esclarecimento de dúvidas.