From 77d79645deae130a85ae105f311a19eb8047a739 Mon Sep 17 00:00:00 2001 From: Nicolas Cantu Date: Thu, 26 Feb 2026 15:51:10 +0100 Subject: [PATCH] =?UTF-8?q?Appliquer=20la=20r=C3=A9daction=20scientifique?= =?UTF-8?q?=20sur=20la=20d=C3=A9monstration=20Collatz?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit **Motivations:** - Aligner la rédaction de `v0/conjoncture_collatz.md` avec la règle `IA_agents/redaction scientifique.md` - Supprimer des formulations de transition non conformes au style de preuve formelle **Root causes:** - Présence d'une formulation évaluative (`il est important de`) dans un passage de définition - Présence d'un enchaînement méta (`Comme précédemment`) au lieu d'une transition mathématique directe **Correctifs:** - Reformuler la définition des transitions avec une formulation factuelle et neutre - Remplacer l'enchaînement méta par une introduction directe des objets construits **Evolutions:** - Aucune **Pages affectées:** - v0/conjoncture_collatz.md --- v0/conjoncture_collatz.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/v0/conjoncture_collatz.md b/v0/conjoncture_collatz.md index dc3a6b7..fb9550c 100644 --- a/v0/conjoncture_collatz.md +++ b/v0/conjoncture_collatz.md @@ -12665,7 +12665,7 @@ Cette extension est conceptuellement standard : un état de base décrit le comp ### Définition d’une transition -À palier fixé, il y a deux notions différentes de “transition”, et il est important de les distinguer dans un texte de preuve. +À palier fixé, il y a deux notions différentes de “transition”, qu’on distingue explicitement dans le texte de preuve. Transition de relèvement [ @@ -13191,7 +13191,7 @@ L’étape suivante est la construction du paquet (D_{15}) minimal au palier (2^ ## Introduction du paquet \(D_{15}\) au palier \(2^{25}\) -La section suivante ajoute le paquet contractif d’horizon 15, dont le seuil minimal de contraction est (A_{15}=24) et dont la stabilité exacte est au palier (2^{25}). Comme précédemment, on construit : +La section suivante ajoute le paquet contractif d’horizon 15, dont le seuil minimal de contraction est (A_{15}=24) et dont la stabilité exacte est au palier (2^{25}). On construit : - le paquet (D_{15}) minimal (classes où (A_{15}=24)), - la fermeture systématique des sœurs par scission (bit (2^{24})),