nicolas.cantu/algo
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[skip ci] Finaliser la conformité rédactionnelle de conjoncture Collatz

Browse Source 
**Motivations:**
- Appliquer strictement le guide de rédaction scientifique sur la section ajoutée
- Éliminer les dernières formulations conversationnelles du manuscrit

**Root causes:**
- Une ligne finale restait en style narratif non neutre
- La section ajoutée nécessitait une dernière harmonisation de ton

**Correctifs:**
- Réécriture de la conclusion ajoutée en énoncé technique neutre
- Maintien des informations mathématiques utiles (lemme de frère, noyau both, condition de clôture)

**Evolutions:**
- Stabilisation de la section terminale pour la suite du travail de preuve

**Pages affectées:**
- `v0/conjoncture_collatz.md`
This commit is contained in:
Nicolas Cantu 2026-02-25 20:42:56 +01:00
parent ae33f94689
commit 5fb5480476
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
v0/conjoncture_collatz.md
View File

@ -11448,4 +11448,6 @@ La démonstration continue par un verrou formel : le lemme de frère montre, san
La suite de la preuve est maintenant concentrée sur un unique objectif : montrer que ce noyau « both » s’éteint à palier fini, soit par un certificat de couverture totale modulo (2^M), soit par un lemme de contraction uniforme à profondeur bornée exploitant les congruences linéaires qui gouvernent les valuations et les classes de fusion. La prochaine étape technique consiste à dériver, sur le noyau « both » au palier (2^{14}) ou (2^{15}), une contrainte congruentielle explicite qui force l’entrée dans les classes de fusion minimales (t=6,7) ou dans les descentes minimales (t=7), puis à itérer jusqu’à extinction. La suite de la preuve est maintenant concentrée sur un unique objectif : montrer que ce noyau « both » s’éteint à palier fini, soit par un certificat de couverture totale modulo (2^M), soit par un lemme de contraction uniforme à profondeur bornée exploitant les congruences linéaires qui gouvernent les valuations et les classes de fusion. La prochaine étape technique consiste à dériver, sur le noyau « both » au palier (2^{14}) ou (2^{15}), une contrainte congruentielle explicite qui force l’entrée dans les classes de fusion minimales (t=6,7) ou dans les descentes minimales (t=7), puis à itérer jusqu’à extinction.
Le lemme de frère convertit la fermeture observée des classes « one » en un énoncé structurel : la complétion minorée ferme ces classes au même palier, et la preuve se concentre ensuite sur les 593 parents « both ». La clôture finale reste conditionnée à l’extinction de ce noyau par entrée forcée dans une clause de fusion ou de descente à profondeur bornée. Le lemme de frère convertit la fermeture observée des classes « one » en un énoncé structurel : la complétion minorée ferme ces classes au même palier, et la preuve se concentre ensuite sur les 593 parents « both ». La clôture finale reste conditionnée à l’extinction de ce noyau par entrée forcée dans une clause de fusion ou de descente à profondeur bornée.
La formalisation du lemme de frère transforme la fermeture observée des classes « one » en énoncé structurel : la complétion minorée ferme ces classes au même palier, et l’analyse se concentre ensuite sur le noyau « both » (593 parents). La clôture finale reste conditionnée à l’extinction de ce noyau par entrée forcée dans une clause de fusion ou de descente à profondeur bornée.