primitive recursive function
Sign in to saveAlso known as primitive recursion
function that can be computed with loops of bounded length
Connections
Peano axioms
Entity
μ-recursive function
Entity
recursively enumerable set
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Dennis M. Ritchie
Entity
Gödel's incompleteness theorems
Entity
logical disjunction
Entity
first-order logic
Entity
formal system
Entity
Turing completeness
Entity
consistency
Entity
program loop
Entity
partial function
Entity
recursive set
Entity
Gödel numbering
Entity
semantics of logic
Entity
structure
Entity
μ operator
Entity
diagram
Entity