AT06 - Propriedade s-m-n

3 outubro 2013, 11:30 • Amilcar Sernadas

Propriedade s-m-n. Existência de funções universais próprias. Transposição de operações sobre funções computáveis para operações sobre índices. Noção de sucessão computável de funções computáveis. Existência de conjuntos universais próprios.