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

fonction récursive primitive.md

@@ -5,9 +5,12 @@ tags:
   - s/informatique
 aliases:
   - fonctions récursives primitives
+  - récursive primitive
 source:
 ---
 
+
+
 > [!definition] [[fonction récursive primitive]]
 > On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit :
 > > [!definition] ensembles $\mathscr{F}_{p}$ et $\mathscr{F}$
@@ -140,6 +143,6 @@ Dans cette section, on démontre que quelques fonctions élémentaires sont réc
 > > Ce qui montre, dans tous les cas, que $\operatorname{sg}$ est récursive primitive
 
 > [!proposition]+ Le prédicat $x>y$ est récursif primitif
-> Le prédiat $x>y$ est récursif primitif (c'est-à-dire que l'ensemble $$)
+> Le prédiat $x>y$ est récursif primitif (c'est-à-dire que l'ensemble $\{ (x, y)  \mid x>y \}$ est [[ensemble récursif primitif|récursif primitif]])
 
 # Exemples