AT16 Teorema do ponto ficho e Teorema da recursão

9 novembro 2017, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do Teorema de Kleene. Relação sobre F_1 induzida por relação de equivalência sobre os naturais. Propriedades \forall CME
e \exists NFP da relação. Impossibilidade de uma relação ter as duas propriedades. Relação de equivalência sobre os naturais induzida por função universal própria.
Demonstração de que esta relação tem a propriedade \forall CME e logo não tem a propriedade \exists NFP.