Regressive Recursion
![](/img/demonstrations-branding.png)
Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
This Demonstration shows a definition by regressive recursion. The domain of the functions considered is the set of non-negative integers. Given an increasing function , define the predicate
. Two other functions
and
are also given. The new function
is defined by: if
, then
; otherwise,
.
Contributed by: Izidor Hafner (April 2018)
Open content licensed under CC BY-NC-SA
Snapshots
Details
If ,
and
are primitive recursive functions,
is also a primitive recursive function [1].
Reference
[1] I. Hafner, "Regressive Recursion," Mathematica Balkanica, 6(13), 1976 pp. 75–77.
Permanent Citation