From 036b0723732f4ec49ede9a5c7655cbbb0edb4b7c Mon Sep 17 00:00:00 2001 From: oskar Date: Sun, 22 Mar 2026 18:09:57 +0100 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-3-22:18:9:57 --- fonction d'ackermann de cori et lascar.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/fonction d'ackermann de cori et lascar.md b/fonction d'ackermann de cori et lascar.md index 25a8033f..d8ffb642 100644 --- a/fonction d'ackermann de cori et lascar.md +++ b/fonction d'ackermann de cori et lascar.md @@ -126,8 +126,8 @@ aliases: > On appellera $C_{n}$ l'ensemble des fonctions qui sont dominées par au moins une itérée de $\xi _{n}$ : > $\boxed{C_{n} = \{ g \mid \exists k \in \mathbb{N} ,\quad \xi _{n}^{k} \text{ domine } g \}}$ -> [!proposition]+ $C_{0}$ contient les fonctions élémentaires -> Il est clair que les fonctions primitives appartiennent à $C_0$ : +> [!proposition]+ Quelques fonctions dans $C_{0}$ +> Les fonctions suivantes appartiennent à $C_0$ : > - Les fonctions de projection $P_{p}^{i}$ > - dem $P_{p}^{i}(\overline{x}) \leq \xi _{0}^{0}(\sup\limits(\overline{x}, 0))$ puisque $\xi _{0}^{0} = \lambda x.x$ > - Les fonctions constantes @@ -138,6 +138,8 @@ aliases: > - dem $(\lambda xy. x+y)(x, y) \leq \xi _{0}^{1}(\sup\limits(x, y, 1))$ puisque $x+y \leq 2^{\sup\limits(x, y, 1)}$ > - Les fonction linéaires $\lambda x. kx$ où $k$ est un entier quelconque > - dem $(\lambda x. kx)(x) \leq f(\sup\limits(x, k))$ +> - La fonction $\xi _{n}$ +> - dem # Exemples