bn:01815813n
Noun Concept
Categories: Lógica matemática
PT
função β de Gödel
PT
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. Wikipedia
Definitions
Relations
Sources
PT
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. Wikipedia
IS A
NAMED AFTER
Wikipedia
Wikidata