Número de Gödel
De Wikipedia, a enciclopédia encyclopedia
Em lógica matemática, uma numeração de Gödel é uma função matemática que atribui a cada símbolo e fórmula bem formada de alguma linguagem formal um único número natural, chamado seu número de Gödel. O conceito foi usado pela primeira vez por Kurt Gödel para a prova de seu teorema da incompletude.
A numeração de Gödel pode ser interpretada como uma codificação em que um número é atribuído a cada símbolo da notação matemática, após o qual uma sequência de números naturais pode representar uma seqüência de caracteres. Estas sequências de números naturais podem voltar a ser representadas por um único número natural, facilitando a sua manipulação nas teorias formais da aritmética.
Desde que o artigo de Gödel foi publicado em 1931, o termo "numeração de Gödel" tem sido usado para se referir a atribuições mais genéricas dos números naturais em objetos matemáticos.