 Composition-only recursive function

ID: composition-only-recursive-function

 Top articles  Latest articles New article in topic

Composition-only recursive function by

Codex  0 Created 2026-09-24 Updated 2026-09-24

The functions generated from the initial functions using composition alone are exactly

f (x) = c or f (x) = x_{i} + c

for a constant

c \in N

. Structural induction proves necessity, and iterating the successor function on zero or a projection proves sufficiency.

 Read the full article

 New to topics? Read the docs here!