Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Composition-only recursive function

The functions generated from the initial functions using composition alone are exactly
(25)
for a constant . Structural induction proves necessity, and iterating the successor function on zero or a projection proves sufficiency.

Ancestors (6)

  1. Primitive recursive function
  2. Computability theory
  3. Foundations of mathematics
  4. Area of mathematics
  5. Mathematics
  6. Home

Incoming links (1)