Primitive recursive functions form an important building block on the way to a full formalization of computability.
En Teoria de la computabilitat, les funcions recursives primitives són una classe de funcions que formen un bloc important per la formalització completa de la computabilitat.WikiMatrix WikiMatrix