Mathématique PT / carte
Atlas des théorèmes PT
Une carte de lecture distinguant identités, théorèmes, ponts, dérivations et validations.
L’idée
Une théorie ambitieuse devient vite intimidante. L’atlas sert à répondre à une question simple : qu’est-ce qui est prouvé, qu’est-ce qui est dérivé, qu’est-ce qui est testé ?
C’est essentiel pour la crédibilité du site : la PT doit montrer sa force, mais aussi ses statuts avec honnêteté.
carte logique
Lecture standard
L’atlas relie GFT, T0-T6, BA5, les ponts E/F/G, les dérivations physiques et les validations numériques.
L’objectif n’est pas de remplacer la page Théorèmes, mais d’ajouter une carte narrative : de quelle brique dépend quel résultat ?
À retenir
- Clarifie la force logique des résultats.
- Protège le site contre le sur-claiming.
- Donne une carte de lecture aux nouveaux lecteurs.
Formulation technique
Le niveau technique doit afficher les catégories épistémiques : ID, THM, BRIDGE, DER, VAL, PRED, META.
Un résultat plus précis numériquement ne doit jamais être promu si son statut logique ne le permet pas. L’atlas est un garde-fou contre la confusion.
Monographie : frontmatter/status_ledger.tex, NOMENCLATURE_MAP.md, ch23_audit.