Concept

Primitive recursive function

Overview

function that can be computed with loops of bounded length

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Related ideas

• If and only if
• Finitism
• Computability theory
• Negation
• Truth value
• Logical conjunction
• Proof theory
• Rational number
• Natural number
• Number theory
• Richard Dedekind
• Peano axioms
• Set theory
• Subset
• Turing machine
• Computably enumerable set
• Arity
• Gödel, Escher, Bach
• Domain of a function
• Cantor's diagonal argument
• Gödel's incompleteness theorems
• Wilhelm Ackermann
• Consistency
• Logical disjunction

Place in the tradition

Part of Outline of logic.

Explore Primitive recursive function in the interactive graph →