eduroam-prg-og-1-31-227.net.univ-paris-diderot.fr 2026-2-5:14:49:32

fonction récursive primitive.md

@@ -51,6 +51,9 @@ aliases:
 > On peut également produire une définition "par le bas", en construisant d'abord l'ensemble $R_0$ contenant les fonctions constantes, projections et successeur, puis en posant pour tout $n \in \mathbb{N}$ :
 > $\begin{align} R_{n+1} = R_{n} &\cup \{ h \mid h \text{ est obtenue par récurrence à partir de deux fonctions de } R_{n} \}\\ &\cup \{ h \mid h \text{ est obtenue par composition de deux fonctions de } R_{n} \} \end{align}$
 
+> [!info] Montrer une propriété des fonctions récursives primitives
+>  - on peut montrer que cette propriété $\mathscr{P}$ est vraie sur les fonctions constantes, projections et successeur, puis montrer que $\mathscr{P}$ est stable
+>  - 
 
 # Propriétés