On nested simple recursion (Q634775)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On nested simple recursion |
scientific article |
Statements
On nested simple recursion (English)
0 references
16 August 2011
0 references
The author proposes a new proof of Peter's result that the class of primitive recursive functions is closed under nested simple recursion. The proof is based on the arithmetization of the computation trees for the functions defined by the nested simple recursion.
0 references
primitive recursive functions
0 references
nested simple recursion
0 references
pairing function
0 references
