Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Initial function of recursion theory

The initial functions are the zero function, the successor function, and all coordinate projections.

Ancestors (6)

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

Incoming links (1)