Plan du site
Index complet de toutes les pages du wiki. Les pages avec une version française sont marquées 🇫🇷.
Pour commencer
| Page | Description | |——|————-| | 🇫🇷 Accueil | Page d’accueil avec résultats clés et liens rapides | | 🇫🇷 Pour commencer | Choisissez votre voie de lecture selon votre profil | | 🇫🇷 K₇ pour Tout le Monde | Guide complet avec des analogies du quotidien (sans maths) | | 🇫🇷 FAQ | Questions fréquentes organisées par thème | | 🇫🇷 Glossaire | Termes techniques, notation et acronymes |
Guides par profil
| Page | Description | |——|————-| | 🇫🇷 Pour les physiciens | Architecture E₈×E₈, compactification K₇, prédictions | | 🇫🇷 Pour les géomètres | Pipeline computationnel : TCS, PINNs, méthodes spectrales | | 🇫🇷 Pour les experts en formalisation | Formalisation Lean 4 : architecture, méthodologie, accès |
Articles
| Page | Description | |——|————-| | 🇫🇷 Article principal | Article principal : 33 relations Type I, 0,99 % d’écart moyen | | 🇫🇷 Article S1 fondations | S1 : fondations mathématiques de E₈, G₂, K₇ | | 🇫🇷 Article S2 dérivations | S2 : dérivations complètes pour les 33 observables | | 🇫🇷 Article métrique G₂ explicite | Métrique G₂ Chebyshev-Cholesky à 169 paramètres | | 🇫🇷 Article géométrie spectrale | Spectre KK, nombres de Betti, hiérarchie des masses |
Données de référence
| Page | Description | |——|————-| | 🇫🇷 Référence des observables | 95 observables : formules, valeurs, écarts (Type I/II/III/IV) | | 🇫🇷 Preuves statistiques | Validation à 7 composantes, recherche exhaustive sur 3M+ configs | | 🇫🇷 Résumé de validation | Résultats secteur par secteur avec NuFIT 6.1 | | 🇫🇷 Validations indépendantes | Recherches externes qui convergent avec K₇ |
Articles de blog
Vingt-neuf textes, en trois pistes. Les originaux anglais sont sur arithmon.substack.com ; les traductions françaises sont hébergées dans ce wiki. La seule liste maintenue, avec les dates et les deux langues par ligne, est l’index du blog.
| Piste | Ce que c’est | Textes |
|---|---|---|
| La série | La physique par les jeux auxquels vous avez déjà joué, de l’épisode 0 à l’épisode 10 | 11 |
| Les idées | Pourquoi les constantes de la nature ne sont peut-être pas arbitraires : l’hypothèse, ses métaphores, les preuves | 14 |
| L’histoire | Un chercheur indépendant, une IA, et un an de recherche non-orthodoxe | 4 |
Projet
| Page | Description | |——|————-| | 🇫🇷 Formalisation Lean | 146 fichiers, 14 axiomes (4 principaux + 10 d’arithmétique d’intervalle), 213 conjonctions, blueprint | | 🇫🇷 Structure du dépôt | Disposition des dossiers et navigation | | 🇫🇷 Ressources externes | Liens vers toutes les ressources externes | | 🇫🇷 Guide de citation | Comment citer K₇ (BibTeX, APA, DOIs) | | 🇫🇷 Points clés du changelog | Historique récent des versions |
Nombre total de pages : 32