On nested simple recursion (Q634775)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On nested simple recursion |
scientific article; zbMATH DE number 5939554
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On nested simple recursion |
scientific article; zbMATH DE number 5939554 |
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
0.8668167
0 references
0.85006005
0 references
