Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Gödel_numbering_for_sequences> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Gödel_numbering_for_sequences abstract "In mathematics, a Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness of the functions manipulating such representations of sequences: the operations on sequences (accessing individual members, concatenation) can be "implemented" using total recursive functions, and in fact by primitive recursive functions.It is usually used to build sequential “data types” in the realm of arithmetic-based formalizations of some fundamental notions of mathematics. It is a specific case of the more general idea of Gödel numbering.E.g. recursive function theory can be regarded as a formalization of notion “algorithm”, and if we regard it as a programming language, we can mimic arrays, lists by encoding a sequence of natural numbers in a single natural number — to achieve this, we can use various number theoretic ideas. Using the fundamental theorem of arithmetic is a straightforward way, but there are also more economic approaches, e.g. using pairing function combined with Chinese remainder theorem in a sophisticated way.".
- Gödel_numbering_for_sequences wikiPageID "8371092".
- Gödel_numbering_for_sequences wikiPageRevisionID "598210959".
- Gödel_numbering_for_sequences subject Category:Articles_containing_proofs.
- Gödel_numbering_for_sequences subject Category:Computability_theory.
- Gödel_numbering_for_sequences comment "In mathematics, a Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number.".
- Gödel_numbering_for_sequences label "Gödel numbering for sequences".
- Gödel_numbering_for_sequences sameAs G%C3%B6del_numbering_for_sequences.
- Gödel_numbering_for_sequences sameAs Q5626453.
- Gödel_numbering_for_sequences sameAs Q5626453.
- Gödel_numbering_for_sequences wasDerivedFrom Gödel_numbering_for_sequences?oldid=598210959.