Função β de Gödel
De Wikipedia, a enciclopédia encyclopedia
Na lógica matemática, a função β de Gödel é uma função usada para permitir a quantificação sobre seqüências finitas de números naturais em teorias formais da aritmética.[1] A função β é usada, em particular, para mostrar que a classe de funções aritmeticamente definidas é fechada sob recursão primitiva e, portanto, inclui todas as funções recursivas primitivas.[2][3][4]