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

[skip ci] Align scientific writing rules in conjoncture_collatz

Browse Source 
**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
This commit is contained in:
Nicolas Cantu 2026-02-25 22:06:54 +01:00
parent 3d50044f29
commit 8773c2be80
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
v0/conjoncture_collatz.md
View File

@ -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 :