device-127.home 2026-2-12:17:55:34

fonction récursive primitive.md

@@ -155,10 +155,9 @@ Dans cette section, on démontre que quelques fonctions élémentaires sont réc
 > Alors la fonction $\lambda x_1 x_2\dots x_{p}. f(x_{\sigma(1)}, x_{\sigma(2)}, \dots, x_{\sigma(p)})$ est aussi récursive primitive
 >  - dem cette fonction est égale à $f(P_{p}^{\sigma(1)}, P_{p}^{\sigma(2)}, \dots, P_{p}^{\sigma(p)})$
 
-> [!proposition]+ 
-> Si $A \subseteq \mathbb{N}^{n}$ est [[ensemble récursif primitif|récursif primitif]] et si $f_1, f_2, \dots, f_{n} \in \mathscr{F}_{p}$ sont récursives primitives
-> Alors l'ensemble :
-> $\{ (x_1, x_2, \dots, x_{p}) \mid (f_1(x_1, x_2, \dots, x_{p}), f_2(x_1, x_2, \dots, x_{p}), \dots, f_{n}(x_1, x_2, \dots, x_{p})) \in A \}$
-> est aussi récursif primitif (sa fonction caractéristique est $\chi _{A}(f_1, f_2, \dots, f_{n})$)
+## Schémas de définition supplémentaires
+On peut trouver de nouveaux schémas de définitions de fonctions qui sont stables sur les fonctions récursives primitives.
+
+
 
 # Exemples