fonction récursive primitive
Sign in to saveAlso known as primitive recursion
fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition
Article · Français
En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas primitifs de récursion et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives.
Abstract from DBpedia / Wikipedia · CC BY-SA
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