Appliquer la rédaction scientifique sur la démonstration Collatz
**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
This commit is contained in:
parent
8d021487e7
commit
77d79645de
@ -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})),
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user