Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Zero function ()

The zero function has the constant value
(20)
Dummy variables give a zero function of any finite arity.

Ancestors (7)

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

Incoming links (2)