Recursive Functions

(recurse S n x) applies the function S a total of n times. The output from one iteration becomes the input on the next iteration starting with an initial input of x.

Recursive functions are defined using recursive predicates which are defined using the Godel beta function.

Theorems

Functions Overview

Login to edit