AULA 16

6 Abril 2017, 09:30 • Fernando Ferreira

Números (ou codificações) de Gödel. Máquinas universais. Demonstração do teorema da enumeração de Kleene.

Índices de funções recursivas parciais. O conjunto K não é recursivo.