Application To Primitive Recursive Functions
In the context of primitive recursive functions, it is convenient to have a means to represent finite sequences of natural numbers as single natural numbers. One such method, Gödel's encoding, represents a sequence as
- ,
where pi represent the ith prime. It can be shown that, with this representation, the ordinary operations on sequences are all primitive recursive. These operations include
- Determining the length of a sequence,
- Extracting an element from a sequence given its index,
- Concatenating two sequences.
Using this representation of sequences, it can be seen that if h(m) is primitive recursive then the function
- .
is also primitive recursive.
When the natural numbers are taken to begin with zero, the sequence is instead represented as
- ,
which makes it possible to distinguish the codes for the sequences and .
Read more about this topic: Course-of-values Recursion
Famous quotes containing the words application to, application, primitive and/or functions:
“Preaching is the expression of the moral sentiment in application to the duties of life.”
—Ralph Waldo Emerson (1803–1882)
“The receipt to make a speaker, and an applauded one too, is short and easy.—Take of common sense quantum sufficit, add a little application to the rules and orders of the House, throw obvious thoughts in a new light, and make up the whole with a large quantity of purity, correctness, and elegancy of style.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“Cannibalism to a certain moderate extent is practised among several of the primitive tribes in the Pacific, but it is upon the bodies of slain enemies alone; and horrible and fearful as the custom is, immeasurably as it is to be abhorred and condemned, still I assert that those who indulge in it are in other respects humane and virtuous.”
—Herman Melville (1819–1891)
“If photography is allowed to stand in for art in some of its functions it will soon supplant or corrupt it completely thanks to the natural support it will find in the stupidity of the multitude. It must return to its real task, which is to be the servant of the sciences and the arts, but the very humble servant, like printing and shorthand which have neither created nor supplanted literature.”
—Charles Baudelaire (1821–1867)