dbo:abstract
|
- In mathematical logic, Gödel's β function is a function used to permit quantification over finite sequences of natural numbers in formal theories of arithmetic. The β function is used, in particular, in showing that the class of arithmetically definable functions is closed under primitive recursion, and therefore includes all primitive recursive functions. The β function was introduced without the name in the proof of the first of Gödel's incompleteness theorems (Gödel 1931). The β function lemma given below is an essential step of that proof. Gödel gave the β function its name in (Gödel 1934). (en)
- En lógica matemática, la función beta de Gödel es una función numérica que permite la definición de funciones recursivas dentro de una teoría formal aritmética. (es)
- 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. 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. (pt)
- Функция Геделя — функция, применяющаяся в теории алгоритмов для облегчения нумерации множеств натуральных чисел. (ru)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 6015 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdf:type
| |
rdfs:comment
|
- En lógica matemática, la función beta de Gödel es una función numérica que permite la definición de funciones recursivas dentro de una teoría formal aritmética. (es)
- 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. 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. (pt)
- Функция Геделя — функция, применяющаяся в теории алгоритмов для облегчения нумерации множеств натуральных чисел. (ru)
- In mathematical logic, Gödel's β function is a function used to permit quantification over finite sequences of natural numbers in formal theories of arithmetic. The β function is used, in particular, in showing that the class of arithmetically definable functions is closed under primitive recursion, and therefore includes all primitive recursive functions. (en)
|
rdfs:label
|
- Función beta de Gödel (es)
- Gödel's β function (en)
- Função β de Gödel (pt)
- Функция Гёделя (ru)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:knownFor
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is dbp:knownFor
of | |
is rdfs:seeAlso
of | |
is foaf:primaryTopic
of | |