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:
“It would be disingenuous, however, not to point out that some things are considered as morally certain, that is, as having sufficient certainty for application to ordinary life, even though they may be uncertain in relation to the absolute power of God.”
—René Descartes (1596–1650)
“May my application so close
To so endless a repetition
Not make me tired and morose
And resentful of man’s condition.”
—Robert Frost (1874–1963)
“An Englishman, methinks,—not to speak of other European nations,—habitually regards himself merely as a constituent part of the English nation; he is a member of the royal regiment of Englishmen, and is proud of his company, as he has reason to be proud of it. But an American—one who has made tolerable use of his opportunities—cares, comparatively, little about such things, and is advantageously nearer to the primitive and the ultimate condition of man in these respects.”
—Henry David Thoreau (1817–1862)
“The English masses are lovable: they are kind, decent, tolerant, practical and not stupid. The tragedy is that there are too many of them, and that they are aimless, having outgrown the servile functions for which they were encouraged to multiply. One day these huge crowds will have to seize power because there will be nothing else for them to do, and yet they neither demand power nor are ready to make use of it; they will learn only to be bored in a new way.”
—Cyril Connolly (1903–1974)