Número de Gödel

http://pt.dbpedia.org/resource/Número_de_Gödel

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.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.
Número de Gödel 
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. 
xsd:nonNegativeInteger 27 
xsd:integer 2703388 
xsd:nonNegativeInteger 7246 
xsd:integer 34820627 

data from the linked data cloud