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
Connections
In Branch
Source Primitive Recursive Function (Wikipedia)
Is Kind Of Object
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 sentenceQuote, 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 Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.