Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Gxc3xb6dels_xcexb2_function> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Gxc3xb6dels_xcexb2_function 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.".
- Gxc3xb6dels_xcexb2_function wikiPageExternalLink fom.pdf.
- Gxc3xb6dels_xcexb2_function wikiPageExternalLink 978-1-4419-1220-6.
- Gxc3xb6dels_xcexb2_function wikiPageID "24708433".
- Gxc3xb6dels_xcexb2_function wikiPageLength "3763".
- Gxc3xb6dels_xcexb2_function wikiPageOutDegree "15".
- Gxc3xb6dels_xcexb2_function wikiPageRevisionID "687890799".
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Arithmetical_set.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink CRC_Press.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Category:Mathematical_logic.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Chinese_remainder_theorem.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Diagonal_lemma.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Gödel_numbering_for_sequences.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Mathematical_logic.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink New_York_City.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Peano_axioms.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Primitive_recursive_function.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Robinson_arithmetic.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Springer_Science+Business_Media.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLink Wolfgang_Rautenberg.
- Gxc3xb6dels_xcexb2_function wikiPageWikiLinkText "Gödel's β function".
- Gxc3xb6dels_xcexb2_function wikiPageUsesTemplate Template:Cite_book.
- Gxc3xb6dels_xcexb2_function subject Category:Mathematical_logic.
- Gxc3xb6dels_xcexb2_function hypernym Function.
- Gxc3xb6dels_xcexb2_function type Disease.
- Gxc3xb6dels_xcexb2_function type Diacritic.
- Gxc3xb6dels_xcexb2_function type Field.
- Gxc3xb6dels_xcexb2_function type Redirect.
- Gxc3xb6dels_xcexb2_function comment "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.".
- Gxc3xb6dels_xcexb2_function label "Gödel's β function".
- Gxc3xb6dels_xcexb2_function sameAs Q5626454.
- Gxc3xb6dels_xcexb2_function sameAs Función_beta_de_Gödel.
- Gxc3xb6dels_xcexb2_function sameAs m.080drd4.
- Gxc3xb6dels_xcexb2_function sameAs Функция_Гёделя.
- Gxc3xb6dels_xcexb2_function sameAs Q5626454.
- Gxc3xb6dels_xcexb2_function wasDerivedFrom Gxc3xb6dels_xcexb2_function?oldid=687890799.
- Gxc3xb6dels_xcexb2_function isPrimaryTopicOf Gxc3xb6dels_xcexb2_function.