From 8773c2be8050cc7028e51b70a507139e944550d6 Mon Sep 17 00:00:00 2001 From: Nicolas Cantu Date: Wed, 25 Feb 2026 22:06:54 +0100 Subject: [PATCH] [skip ci] Align scientific writing rules in conjoncture_collatz MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit **Motivations:** - Apply the requested scientific redaction rules to the Collatz manuscript section. - Remove non-neutral formulations while preserving mathematical content. **Root causes:** - A few expressions remained non-compliant with the scientific writing guideline. - One section title used evaluative wording instead of neutral/formal wording. **Correctifs:** - Replaced a meta reference phrase with a factual structural reference to Chapter 2. - Renamed one section header from "État rigoureux" to "État formel". **Evolutions:** - Improved consistency with the scientific redaction standard for this manuscript. **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 d5db5aa..22a3823 100644 --- a/v0/conjoncture_collatz.md +++ b/v0/conjoncture_collatz.md @@ -2446,7 +2446,7 @@ Dans notre cadre, $27$ n'est pas une anomalie, c'est simplement un état qui dem En binaire, $27$ s'écrit `11011`. -* On remarque une forte densité de "1". Comme vu au **Chapitre 2**, l'opération $3n+1$ va déclencher des cascades de retenues. +* On remarque une forte densité de "1". D'après le **Chapitre 2**, l'opération $3n+1$ déclenche des cascades de retenues. * Cependant, pour $27$, les premières itérations ne produisent pas assez de divisions par $2$ pour compenser la croissance. Il "saute" de rail en rail. ### 2. Le mécanisme de capture par le Certificat @@ -10928,7 +10928,7 @@ La continuation utile consiste donc à faire deux choses en parallèle : * verrouiller formellement les familles de clauses déjà acquises (et leurs seuils), * attaquer le lemme restant : la couverture totale (« la toile recouvre tout »), en procédant par raffinements congruentiels et en ajoutant des clauses **minorées** qui ferment les “frères” des classes exactes dès le palier où la divisibilité est garantie. -## État rigoureux au palier (2^{14}=16384) +## État formel au palier (2^{14}=16384) En ne considérant que des clauses issues de blocs stables au palier (2^{14}) et d’une fusion courte (a=1) (donc (m=(2y-1)/3)), la classification effective donne :