AULA 15
5 Abril 2017, 11:30 • Fernando Ferreira
Funções computáveis. Toda a função recursiva primitiva é computável.
Funções recursivas e predicados recursivos. Funções recursivas parciais. O operador de minimização (ilimitada).
Enunciado do teorema da enumeração de Kleene. Observações. A tese de Church.