Definition:Basic Primitive Recursive Function/Zero Function

From ProofWiki
Jump to navigation Jump to search

Definition

The zero function $\Zero: \N \to \N$ is a basic primitive recursive function, defined as:

$\forall n \in \N: \map \Zero n = 0$


It is URM computable by a single-instruction URM program.