Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

primitive recursive function · Vinony

EntityQ1570472· pop 16· linked from 411 articles

primitive recursive function

Sign in to save

function that can be computed with loops of bounded length

Connections

μ-recursive function

recursively enumerable set

semantic theory of truth

mathematical logic

Dennis M. Ritchie

Gödel's incompleteness theorems

logical disjunction

first-order logic

Turing completeness

partial function

Gödel numbering

semantics of logic

Categories

Computability theory Functions and mappings Recursion Theory of computation

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

McCarthy 91 function

Entitydist 0.41

Entitydist 0.63

piecewise function

Entitydist 0.67

function approximation

Entitydist 0.67

one-way function

Entitydist 0.72

Entitydist 0.72

algebraic function

Entitydist 0.72

Entitydist 0.72

quintic function

Entitydist 0.73

Padé approximant

Entitydist 0.73

key derivation function

Entitydist 0.73

Heaviside step function

Entitydist 0.76

What links here411 pages

Knuth's up-arrow notation

μ-recursive function

well-founded relation

axiom of constructibility

Heyting arithmetic

counter machine

halting problem

computability theory

theory of computation

random-access machine

Mostowski collapse lemma

typed lambda calculus

three-valued logic

Cantor's paradox

lambda calculus

superseded scientific theory

logical contradiction

compactness theorem