device-56.home 2026-3-24:22:54:27

schéma mu.md

@@ -26,7 +26,7 @@ aliases:
 > Le schéma $\mu$ permet de définir $g(\overline{x}) = \mu y(f(\overline{x}, y) = 0)$
 > Cette fonction $g$ est la fonction qui donne le plus petit $z\in \mathbb{N}$ tel que $f(\overline{x}, z)=0$ et tel que tous les $f(\overline{x}, z)$ précédents sont définis.
 
-> [!definition]- [[schéma mu]] – Définition par un algorithme
+> [!definition]+ [[schéma mu]] – Définition par un algorithme
 > Soit $f \in \mathscr{F}^{*}_{p+1}$ une fonction
 > La fonction $g(\overline{x}) = \mu y (f(\overline{x}, y) = 0)$ correspond à la fonction définie par cet algorithme :
 > ```python
@@ -39,14 +39,12 @@ aliases:
 > ```
 ^definition-algorithme
 
-
 > [!idea] Intuition
 > L'idée est de préserver la propriété de posséder un algorithme de calcul.
 > Pour calculer $\mu y (f(\overline{x}, y)=0)$, on cherchera itérativement une valeur de $y$ en commençant par 0.
 > Le problème est que, si $f(\overline{x}, y)$ n'est pas définie pour l'une de ces valeurs, notre algorithme ne pourrait pas la calculer.
 > C'est pour cela que, si une des valeurs n'est pas dans le [[fonction partielle#^definition|domaine de définition]] de $f$, on considèrera que la recherche s'arrête ici.
 
-
 # Propriétés
 
 # Exemples