em A (equivalentemente, A-computável ou computável relativa a A) quando ela satisfaz a definição de uma função computável com modificações permitindo...

em ordinais", contém a seguinte definição de "uma função computável": Foi dito acima que 'uma função é efetivamente calculável se os seus valores podem...

totalmente computável possível - isso pode ser visto com uma variante do Argumento de diagonalização de Cantor. Esse argumento fornece uma função computável total...

seguir. Função algébrica Função computável função côncava Função convexa Função contínua Função diferenciável Função holomorfa Função ímpar Função inteira...

primitivas. Todas as funções recursivas primitivas são totais e computáveis, mas a Função de Ackermann mostra que nem toda função total-computável é recursiva...

da recursão são " O que significa para uma função (N->N) ser computável?" e "Como funções não-computáveis são classificadas em uma teoria baseada nos...

computável se e somente se houver um corte Dedekind computável D convergindo para ele. A função D é exclusiva para cada número irracional computável (embora...

prova usa uma função computável h, como definida a seguir. Dado um número natural x, h tem como saída o índice da função parcialmente computável que executa...

função é computável limite em D. A função total função r ( x ) {\displaystyle r(x)} é o limite computável se existe uma função total computável r ^ ( x...

reconhecida. O domínio de qualquer função universal computável é um conjunto enumerável computável mas nunca um conjunto computável. O domínio é sempre Turing...

1967, é um teorema fundamental sobre a complexidade de funções computáveis. Cada função computável possui um número infinito de representações em programas...