Find link

language:

Find link is a tool written by Edward Betts.

searching for Elementary recursive function 1 found (3 total)

alternate case: elementary recursive function

Tetration (6,218 words) [view diff] exact match in snippet view article find links to article

\mathbb {N} ^{2}} ) is not an elementary recursive function. One can prove by induction that for every elementary recursive function f, there is a constant c