🔢 mathematics

A Foundation for the Core Mathematician

Cet article propose une nouvelle fondation axiomatique et un modèle défini pour les mathématiques fondamentales basés sur les nombres réels, visant à résoudre l'indétermination de la théorie des ensembles traditionnelle en attribuant une valeur de vérité unique à chaque assertion mathématique fondamentale.

Auteurs originaux : David Mumford, Sy-David Friedman

Publié 2026-05-06

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : David Mumford, Sy-David Friedman

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez les mathématiques comme un gratte-ciel massif et imposant. Depuis des décennies, la plupart des mathématiciens s'accordent à dire que les fondations de cet édifice reposent sur un ensemble spécifique de règles appelé ZFC (théorie des ensembles de Zermelo-Fraenkel avec l'axiome du choix). Ils estiment que ces fondations sont assez solides pour supporter chaque étage, du sous-sol des nombres simples au penthouse des théories complexes.

Cependant, les auteurs de cet article, David Mumford et Sy-David Friedman, soutiennent que si ZFC fonctionne pour le « penthouse », il est en réalité un peu bancal et rempli de bizarreries inexplicables pour le « rez-de-chaussée » — la partie des mathématiques qui traite des nombres réels, du temps, de l'espace et du monde physique. Ils proposent une nouvelle fondation, plus robuste, conçue spécifiquement pour le « mathématicien du cœur » qui travaille avec le monde réel.

Voici la décomposition de leur argumentation à l'aide d'analogies simples :

1. Le Problème : La Fondation « Tour de Magie »

La fondation actuelle (ZFC) repose lourdement sur une règle appelée l'axiome du choix. Imaginez cet axiome comme une capacité magique à sélectionner un objet parmi un nombre infini de boîtes, même si vous ne pouvez pas voir à l'intérieur ni décrire comment vous avez fait ce choix.

Le Problème : Bien que ce tour de magie aide les mathématiciens à prouver des choses sur des structures abstraites et infinies, il crée des « fantômes ». Il permet l'existence d'ensembles si étranges et chaotiques qu'ils n'ont aucun lien avec la réalité (comme le paradoxe de Banach-Tarski, où l'on peut découper une boule en morceaux et les réassembler pour former deux boules de la même taille).
Le Résultat : À cause de ces « fantômes », les mathématiciens ne peuvent pas être sûrs à 100 % que chaque question qu'ils posent a une seule réponse définitive de « Vrai » ou « Faux ». La fondation ressemble moins à un étage solide qu'à un paysage brumeux où des règles différentes s'appliquent à différents endroits.

2. La Proposition : Une Fondation Basée sur la Réalité

Les auteurs suggèrent d'arrêter d'essayer de construire une fondation pour tout (y compris les fantômes) et de construire à la place une fondation spécifiquement pour le Cœur des Mathématiques : les Nombres Réels ( $\mathbb{R}$ ), les Entiers, et les structures bâties à partir d'eux.

Ils proposent trois piliers principaux pour cette nouvelle fondation :

Pilier A : Le Monde Réel est Réel. Ils traitent l'ensemble des nombres réels (comme les nombres sur une règle) comme un fait « donné », tout comme nous acceptons que l'on puisse compter des pommes. Ils ne tentent pas de construire les nombres réels à partir de zéro ; ils disent simplement : « Les voici, ils existent. »
Pilier B : Jeter la Magie, Garder le Hasard. Ils rejettent l'« Axiome du choix » car il crée ces étranges fantômes. À la place, ils adoptent l'axiome de Freiling.
- L'Analogie : Imaginez deux personnes lançant des fléchettes sur une cible dans l'espace. Si elles les lancent exactement au même moment depuis des planètes différentes (de sorte qu'aucun signal ne puisse voyager entre elles assez vite pour tricher) et qu'elles choisissent leurs emplacements complètement au hasard, il est impossible que l'emplacement d'un lanceur soit « prévisible » en fonction de celui de l'autre.
- Cette intuition conduit à une règle qui dit : « Si vous choisissez deux nombres au hasard, ils ne devraient pas être enfermés dans un schéma étrange et prédéterminé. » Cette règle élimine naturellement l'« Axiome du choix » et les ensembles étranges qu'il crée.
Pilier C : Arrêter l'Échelle Infinie. En mathématiques standard, vous pouvez continuer à construire des infinités de plus en plus grandes pour toujours. Les auteurs disent : « Stop. » Ils proposent de construire un modèle où nous ne montons que aussi haut que nécessaire pour gérer les nombres réels et leurs sous-ensembles, mais nous nous arrêtons avant d'atteindre les infinités « hors du monde » qui n'ont aucune signification physique.

3. Les Deux Modèles : Le « Standard » et le « Minimaliste »

L'article décrit deux façons de visualiser cette nouvelle fondation :

Modèle 1 : Le Modèle « Monde Réel ». C'est une version des mathématiques où les nombres réels sont exactement ce que nous pensons qu'ils sont. Dans ce monde, chaque ensemble de nombres réels se comporte bien (ils sont tous « mesurables », ce qui signifie que vous pouvez calculer leur taille/surface sans paradoxes). C'est un monde propre et logique où chaque problème mathématique a une réponse définitive.
Modèle 2 : Le Modèle « Minimaliste ». C'est un tour de force utilisant un concept issu de la physique et de la logique. Imaginez un univers minuscule et dénombrable qui pense être immense. À l'intérieur de cet univers minuscule, les « nombres réels » ressemblent à un océan infini et indénombrable. Mais de l'extérieur, nous savons qu'il s'agit en réalité d'une simple liste petite et finie.
- Pourquoi faire cela ? Ce modèle est « complet ». En mathématiques standard (ZFC), Gödel a prouvé qu'il existe toujours des questions que l'on ne peut pas répondre. Dans ce modèle minimaliste, parce que l'univers est si strictement contrôlé, chaque question unique a une réponse définitive. C'est comme un puzzle où chaque pièce s'emboîte parfaitement, sans aucune pièce manquante.

4. Pourquoi Cela Importe

Les auteurs ne tentent pas de changer la façon dont les physiciens ou les ingénieurs travaillent. Ils offrent un « système d'exploitation » plus propre pour le mathématicien qui étudie la nature des nombres et des formes.

L'Ancienne Voie : Utilise un moteur puissant mais désordonné (ZFC) qui produit parfois des « fantômes » et laisse certaines questions sans réponse.
La Nouvelle Voie : Utilise un moteur spécialisé construit sur le hasard et la réalité. Il élimine les fantômes, garantit que chaque ensemble de nombres a une taille claire, et assure que chaque question mathématique a une réponse Vrai ou Faux.

Résumé

Imaginez la fondation actuelle des mathématiques comme une immense bibliothèque chaotique où certains livres sont écrits à l'encre invisible et où certaines étagères flottent en plein air. Mumford et Friedman disent : « Construisons une nouvelle bibliothèque spécifiquement pour les livres que nous lisons réellement (les nombres réels). Nous jetterons l'encre invisible (l'axiome du choix) et les étagères flottantes (les étranges infinités). Dans notre nouvelle bibliothèque, chaque livre est visible, chaque étagère est solide, et chaque histoire a une fin claire. »

Ils prouvent qu'il est possible de construire cette nouvelle bibliothèque, à condition d'accepter quelques hypothèses raisonnables sur la nature de l'infini, et qu'elle offre un foyer beaucoup plus satisfaisant pour le « cœur » des mathématiques.

Résumé Technique : Une Fondation pour le Mathématicien Central

Énoncé du Problème
Les auteurs, David Mumford et Sy-David Friedman, soutiennent que la théorie standard des ensembles de Zermelo-Fraenkel avec l'axiome du choix (ZFC) constitue une fondation inadéquate pour le « cœur » de la recherche mathématique. Bien que ZFC soit largement acceptée, les auteurs affirment qu'elle échoue à fournir une base « ferme et fixe » car elle admet une prolifération de modèles (la vision du « multivers ») et repose sur l'axiome du choix (AC) d'une manière qui génère des ensembles non constructifs et « irréels » (par exemple, via le paradoxe de Banach-Tarski ou des ensembles non mesurables). De plus, la croyance platonicienne en un univers unique d'ensembles est sapée par l'indépendance de l'hypothèse du continu et l'existence d'axiomes de cardinaux grands.

Le papier postule que le « noyau central » de l'expérience mathématique concerne les nombres naturels ( $\mathbb{N}$ ), les nombres réels ( $\mathbb{R}$ ) et les structures qui en sont dérivées. Les auteurs recherchent une fondation qui :

Traite $\mathbb{R}$ comme un objet « réel » donné (une vision platonicienne spécifique à $\mathbb{R}$ , et non à des ensembles arbitraires).
Garantisse que toutes les conjectures dans ce noyau aient une valeur de vérité définitive (un modèle unique).
Évite les pathologies introduites par le choix non dénombrable tout en conservant une force suffisante pour l'analyse standard.

Méthodologie et Cadre Axiomatique
Le papier propose un système axiomatique spécifique $T$ et deux modèles distincts pour le réaliser.

1. Les Axiomes ( $T$ ) :
Le système proposé $T$ est défini comme $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$ .

$ZF^-$ : Théorie des ensembles de Zermelo-Fraenkel sans l'axiome de l'ensemble puissance et sans le choix non dénombrable. Elle inclut l'extensionnalité, la fondation, l'appariement, l'union, l'infini, la compréhension, la collection et le remplacement.
$\mathbb{R}$ donné : L'ensemble des nombres réels est pris comme une entité primitive et donnée, modélisant le continu physique.
Axiome de Freiling ( $A^{\text{null}}_N$ ) : Il s'agit de l'innovation centrale. Basé sur une expérience de pensée de « lancer de fléchettes » impliquant des variables aléatoires indépendantes et la théorie de la relativité (pour exclure toute fuite d'information), il affirme que pour toute fonction $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$ $f : [0, 1]^{N} \to N$ (faisant correspondre des séquences à des ensembles de mesure nulle), il existe une séquence de réels aléatoires indépendants $\{x_i\}$ ${x_{i}}$ telle que $x_i \notin f(\sigma(i))$ $x_{i} \in / f (σ (i))$ pour tout $i$ $i$ .
- Conséquence : Cet axiome contredit l'axiome du choix non dénombrable. Il implique que $\mathbb{R}$ ne peut pas être bien ordonné et que l'hypothèse du continu est fausse.
Choix Dépendant (DC) : Le système conserve l'axiome du choix dépendant (introduit par Bernays), qui est suffisant pour la plupart de l'analyse standard (par exemple, le théorème de Baire, l'existence de limites) mais plus faible que l'AC complet.

2. Le Modèle Proposé ( $M$ ) :
Les auteurs construisent un modèle $M = L_{\alpha^*}(\mathbb{R})$ , où les ensembles sont construits à partir de $\mathbb{N}$ et $\mathbb{R}$ par induction transfinie jusqu'à un ordinal spécifique $\alpha^*$ .

Construction : En commençant par $L_0(\mathbb{R}) = \mathbb{R}$ , le modèle itère les ensembles définissables.
La Limite $\alpha^*$ : L'induction s'arrête au premier « ordinal pleinement $\mathbb{R}$ -admissible » ( $\alpha_{ZF^-}$ ), défini comme le point où aucun nouveau sous-ensemble de $\mathbb{R}$ n'est généré ( $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$ ).
Propriétés : Dans ce modèle, chaque énoncé possède une « vérité fondamentale ». Le modèle satisfait $ZF^-$ , DC et l'axiome de Freiling. L'existence d'un tel modèle est montrée comme découlant de la cohérence de ZFC plus l'existence d'un cardinal inaccessible.

3. L'Alternative Minimaliste (Modèle de Solovay) :
Le papier discute également d'une fondation « minimaliste » basée sur le modèle de Robert Solovay, qui suppose la cohérence de ZF plus un cardinal inaccessible.

Construction : Un modèle transitif dénombrable est construit où tous les sous-ensembles de $\mathbb{R}$ sont mesurables au sens de Lebesgue et possèdent la propriété de Baire.
Complétude : Les auteurs définissent une théorie $T^*$ (une extension de $T$ ) qui inclut une « propriété de minimalité » et un ensemble générique $G$ . Ils affirment que deux modèles bien fondés quelconques de $T^*$ satisfont les mêmes énoncés du premier ordre. Cela fournit une forme de « complétude » pour les modèles bien fondés, agissant comme un antidote à l'incomplétude gödelienne pour le mathématicien central qui rejette les ensembles grands et mal fondés.

Contributions et Résultats Clés

Rejet du Choix Non Dénombrable : Le papier remplace formellement l'axiome du choix non dénombrable par l'axiome probabiliste de Freiling $A^{\text{null}}_N$ , arguant que ce dernier est plus intuitif pour le « monde réel » et évite la construction d'ensembles non mesurables.
Raffinement de l'Arithmétique du Second Ordre : Tout en reconnaissant que l'arithmétique du second ordre ( $Z_2$ ) suffit pour une grande partie de l'analyse, les auteurs soutiennent qu'elle est insuffisante pour définir l'ensemble de tous les ensembles boréliens ou des espaces topologiques directement. Leur modèle proposé étend $Z_2$ en incluant explicitement $\mathbb{R}$ et en permettant des constructions jusqu'à $\alpha^*$ .
Limbe Cardinal : Le papier met en lumière une caractéristique unique de leur modèle : bien qu'il existe une surjection de $\mathbb{R}$ sur $\omega_1$ (le premier ordinal non dénombrable), il n'existe pas de bijection en raison de l'axiome de Freiling. Ainsi, $\omega_1$ existe mais manque d'une relation de cardinalité claire avec $\mathbb{R}$ , existant dans un « limbe » qui diffère du ZFC standard.
Preuves de Cohérence : Les auteurs démontrent que leurs axiomes sont cohérents par rapport à l'existence d'un cardinal inaccessible. Ils utilisent les techniques de forçage de Solovay pour montrer que si ZFC + Inaccessible est cohérent, alors leur système $T$ (et le plus fort $T^*$ ) est cohérent.

Signification et Revendications
Le papier prétend offrir une « meilleure fondation » spécifiquement pour le « mathématicien central » — ceux qui travaillent avec les réels, les entiers et les structures dérivées (par exemple, l'analyse, les EDP, les espaces de Banach).

Définitude : La principale signification revendiquée est le rétablissement d'une base « ferme et fixe » où toutes les conjectures ont une réponse unique, contrant le « multivers » de la théorie des ensembles.
Réalisme : En ancrant la fondation dans l'intuition physique des variables aléatoires (axiome de Freiling) et la nature donnée de $\mathbb{R}$ , les auteurs soutiennent que leur fondation est plus alignée avec la pratique mathématique que la nature abstraite et non constructive du ZFC complet.
Antidote à l'Incomplétude : La fondation « minimaliste » ( $T^*$ ) est présentée comme une solution pour les mathématiciens qui souhaitent éviter les phénomènes d'indépendance des cardinaux grands tout en maintenant une théorie robuste des réels.

Les auteurs restent modestes, notant que leur approche repose sur la cohérence d'un cardinal inaccessible et que des méthodes probabilistes pourraient éventuellement réfuter la mesurabilité des ensembles projectifs dans certains contextes de cardinaux grands. Cependant, ils affirment que leur cadre fournit une base cohérente et non controversée pour la vaste majorité de la recherche mathématique.