diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json index f6f8fe01..c3f959b7 100644 --- a/.obsidian/plugins/breadcrumbs/data.json +++ b/.obsidian/plugins/breadcrumbs/data.json @@ -631,7 +631,7 @@ "prevs" ], "lock_view": false, - "lock_path": "groupe.md" + "lock_path": "S2 LOGOS . mathématiques pour non spécialistes . rendu.md" }, "tree": { "collapse": false, diff --git a/S2 LOGOS . mathématiques pour non spécialistes . rendu.md b/S2 LOGOS . mathématiques pour non spécialistes . rendu.md index a53ff3ff..231638ba 100644 --- a/S2 LOGOS . mathématiques pour non spécialistes . rendu.md +++ b/S2 LOGOS . mathématiques pour non spécialistes . rendu.md @@ -7,13 +7,14 @@ aliases: --- > [!idea] Idées de sujets -> - turing-complétude du jeu de la vie +> - c turing-complétude du jeu de la vie > >[!fail]- sujet refusé parce que j'ai déjà fait de l'informatique > > Cher Oscar, > > Effectivement le sujet est intéressant, mais après discussion entre nous, et en nous rappelant que vous avez une formation en informatique, il nous semblerait juste que votre devoir porte davantage sur des objets considérés aujourd’hui comme relevant disciplinairement des mathématiques. > > Le cours doit être l’occasion de faire un effort pour apprendre de nouvelles mathématiques. Serait-ce bien le cas pour vous avec un tel sujet ? > > Avec mes salutations distinguées, > > Thibaut -> - preuve que toutes les fonctions ne sont pas récursives primitives ? +> - c preuve que toutes les fonctions ne sont pas récursives primitives ? +> - ? Look-and-say sequence et constante de Conway