Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Mathematical Object

Primitive Recursive Function

Logic, Foundations and Set Theory

In computability theory, a primitive recursive function is a function that can be computed by a computer program whose loops are all for loops with iteration bounds fixed in advance, and primitive recursive functions form a strict subset of the general recursive functions that are also total functions. They are significant because most of the computable functions studied in number theory, and more generally in mathematics, are primitive recursive, with common examples including addition, division, factorials, exponential functions, and the function that returns the nth prime number; showing that a computable function is primitive recursive can be done by showing that its time complexity is bounded above by a primitive recursive function of the size of the input. Constructing a computable function that is not primitive recursive is notably difficult, though such functions do exist, and the complexity class containing all primitive recursive functions is called PR. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/

Facts
Classification
Object Kind
Function 1
Connections

In Branch

Source Primitive Recursive Function (Wikipedia)

Is Kind Of Object

Functions, Concepts

Entity-backed identity for the object-kind enum value this mathematical object already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The object-kind fact itself stays on the object unchanged.

Sources
1. Primitive Recursive Function (Wikipedia)
In Branch: Computability Theory, Lead sentence
Quote, In Branch: Computability Theory, Lead sentence
In computability theory, a primitive recursive function is, roughly speaking, a function that can be computed by a computer progra
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.