From f656fabe9ec7522fcd94415556bf17b557a93255 Mon Sep 17 00:00:00 2001 From: oskar Date: Mon, 23 Mar 2026 16:33:15 +0100 Subject: [PATCH] MacBook-Pro-de-Oscar.local 2026-3-23:16:33:15 --- .obsidian/plugins/breadcrumbs/data.json | 2 +- fonction d'ackermann de cori et lascar.md | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index ac61ac54..65535c8c 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -651,7 +651,7 @@ "alias": false }, "lock_view": false, - "lock_path": "relation d'ordre.md" + "lock_path": "fonction d'ackermann de cori et lascar.md" } }, "codeblocks": { diff --git a/fonction d'ackermann de cori et lascar.md b/fonction d'ackermann de cori et lascar.md index b47583c2..f4b77a35 100644 --- a/fonction d'ackermann de cori et lascar.md +++ b/fonction d'ackermann de cori et lascar.md @@ -196,7 +196,10 @@ aliases: > Soient $g \in \mathscr{F}_{p}$ et $h \in \mathscr{F}_{p+2}$ > Si $g$ et $h$ sont dans $C_{n}$ > Alors la fonction $f$ [[fonction récursive primitive#^definition|définie par récurrence à partir]] de $g$ et $h$ ($f = \rho(g, h)$) appartient à $C_{n+1}$ -> +> > [!démonstration]- Démonstration +> > + + # Exemples