bn:01349321n
Noun Concept
Categories: Números, Teoria da computação, Lógica matemática
PT
número de Gödel  números de Gödel  numeração de gödel
PT
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. Wikipedia
Definitions
Relations
Sources
PT
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. Wikipedia
Wikipedia
Wikidata
Wikipedia Redirections
Wikipedia Translations