diff options
Diffstat (limited to 'controle-20250129.tex')
| -rw-r--r-- | controle-20250129.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/controle-20250129.tex b/controle-20250129.tex index 2c165b0..82b1995 100644 --- a/controle-20250129.tex +++ b/controle-20250129.tex @@ -956,7 +956,7 @@ l'algorithme A ont bien un sens (i.e., que c'est bien un algorithme, qu'on a bien défini une fonction $\mathbb{N}\times\mathbb{N} \dasharrow \mathbb{N}$ partielle calculable $(d,\ell) \mapsto g_d(\ell)$).\quad\textbf{(b)} En déduire qu'il existe une fonction -calculable totale $e \mapsto e_d$ telle que $g_d = \varphi_{e_d}$ pour +calculable totale $d \mapsto e_d$ telle que $g_d = \varphi_{e_d}$ pour tout $d$. \begin{corrige} |