Formalisation de la continuation analytique et ajout de lemmes de descente uniformes

Browse Source

**Motivations:**
- Passer de l'observation expérimentale à une preuve par descente bien fondée
- Démontrer la fermeture uniforme de sous-classes sur les branches difficiles (15, 27, 31 mod 32)

**Evolutions:**
- Ajout de la section 'Continuation analytique et clauses grossières'
- Démonstration détaillée des Propositions 15-A, 27-A et 31-A (descente uniforme)
- Reformulation du texte pour renforcer l'aspect 'ingénierie mathématique' et 'audit de données'

**Pages affectées:**
- v0/conjoncture_collatz.md

Co-authored-by: Cursor <cursoragent@cursor.com>

...

This commit is contained in:

Nicolas Cantu 2026-02-25 11:45:43 +01:00

parent 6f2494a49e

commit 8ca72fb2fd

1 changed files with 1084 additions and 26 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1108

v0/conjoncture_collatz.md

File diff suppressed because it is too large Load Diff