On a Question of Hamkins'

Each language version is independently generated for its own context, not a direct translation.

🧩 Le Dilemme de Hamkins : Peut-on créer un "Miroir Parfait" ?

Imaginez que vous avez un livre de règles très strict, appelé PA (l'arithmétique de Peano). Ce livre contient toutes les vérités mathématiques de base que nous connaissons (1+1=2, etc.).

Le mathématicien Joel Hamkins s'est posé une question fascinante :

"Existe-t-il une formule magique (appelons-la $\rho$ ) qui, lorsqu'on l'applique à n'importe quelle phrase $\phi$ du livre, nous dit si cette phrase est 'vraie' ou 'fausse' de manière totalement neutre et indépendante ?"

Pour que cette formule soit parfaite, elle doit respecter deux règles d'or :

L'Indépendance : Si on ajoute la phrase $\phi$ au livre, la formule $\rho$ doit pouvoir être soit vraie, soit fausse sans créer de contradiction. C'est comme dire : "Je peux choisir de croire que $\phi$ est vrai, ou que $\phi$ est faux, et le livre restera cohérent."
L'Extensionnalité (La Règle de l'Identique) : C'est la règle la plus importante. Si deux phrases $\phi$ $ϕ$ et $\psi$ $ψ$ signifient exactement la même chose (elles sont équivalentes), alors la formule $\rho$ $ρ$ doit leur donner le même résultat.
- Analogie : Si je vous dis "Le matin" et "Le début de la journée", ce sont deux façons de dire la même chose. Si votre formule magique dit "Oui" pour "Le matin", elle doit dire "Oui" pour "Le début de la journée". Elle ne doit pas se tromper de cible.

🚫 La Mauvaise Nouvelle : Le Miroir Parfait n'existe pas

Albert Visser, l'auteur de cet article, a répondu à Hamkins par un grand NON.

L'analogie du Miroir Brisé :
Imaginez que vous essayez de construire un miroir qui reflète n'importe quel objet sans jamais se tromper sur l'identité de l'objet (Extensionnalité) et qui puisse montrer l'objet soit en couleur, soit en noir et blanc (Indépendance).

Visser a prouvé que c'est impossible. Si vous forcez le miroir à être parfaitement juste sur l'identité des phrases (Extensionnalité), il perd sa capacité à être flexible (Indépendance). Il finit par se briser ou par dire des choses contradictoires.

En langage mathématique : Si la formule est trop "sensible" à la forme exacte de la phrase, elle ne peut pas rester neutre. Si elle essaie de rester neutre, elle ne peut pas respecter la règle d'identité parfaite.

C'est comme essayer de faire un traducteur universel qui ne fait jamais d'erreur de sens, mais qui peut aussi dire n'importe quoi sans jamais se contredire. C'est une tâche impossible dans le monde des mathématiques formelles.

✅ La Bonne Nouvelle : On peut faire presque aussi bien !

Même si le "Miroir Parfait" n'existe pas, Visser a trouvé une solution de contournement très ingénieuse. Il a dit : "Et si on assouplissait un tout petit peu la règle d'identité ?"

Au lieu de demander que la formule réagisse de la même façon pour des phrases équivalentes dans le livre entier, on demande qu'elle réagisse de la même façon dans le contexte de la phrase elle-même.

L'Analogie du Costume sur Mesure :

L'ancien rêve (Impossible) : Un costume qui s'adapte parfaitement à n'importe quel homme, peu importe s'il porte un manteau ou un t-shirt (Extensionnalité totale).
La solution de Visser (Conditional Extensionality) : Un costume qui s'adapte parfaitement à l'homme en fonction de ce qu'il porte déjà. Si l'homme porte un manteau, le costume s'adapte au manteau. S'il porte un t-shirt, il s'adapte au t-shirt.

Visser a prouvé qu'en acceptant cette petite nuance (qu'il appelle Extensionnalité Conditionnelle), on peut créer une formule $\rho$ qui est :

Flexible : Elle peut s'adapter à n'importe quelle situation mathématique (elle est "flexible").
Juste dans son contexte : Elle respecte l'identité des phrases, mais seulement si l'on regarde la phrase dans son propre environnement logique.

🎭 Le Concept de "Flexibilité"

Pour comprendre la réussite de Visser, il faut comprendre le mot Flexibilité (introduit par Saul Kripke).

Imaginez un acteur capable de jouer n'importe quel rôle.

Une phrase "normale" est comme un acteur qui ne peut jouer qu'un seul rôle.
Une phrase flexible est comme un caméléon. Si vous lui dites "Sois un dragon", elle devient un dragon. Si vous lui dites "Sois un chat", elle devient un chat. Elle peut s'adapter à n'importe quelle vérité mathématique sans casser le système.

Visser a construit une formule qui est un caméléon parfait (flexible) et qui respecte les règles de l'identité, à condition de ne pas exiger qu'elle soit parfaite dans toutes les situations imaginables, mais seulement dans les situations où elle est utilisée.

🤔 La Question qui Reste Ouverte

L'article se termine sur une petite énigme. Visser a résolu le problème en assouplissant la règle d'identité. Mais il reste une question intermédiaire :

Que se passe-t-il si on ne demande à la formule d'être "juste" que pour les phrases qui ne créent pas de contradictions ? (C'est ce qu'il appelle l'Extensionnalité Cohérente).

C'est comme demander : "Peut-on avoir un miroir qui ne se trompe que si l'objet devant lui est réel et non un fantôme ?"
Pour l'instant, personne ne sait la réponse. C'est le prochain grand défi pour les mathématiciens.

📝 En Résumé

Le Problème : Hamkins voulait une formule mathématique qui soit à la fois totalement neutre et parfaitement juste sur la signification des phrases.
La Réponse de Visser : C'est impossible. On ne peut pas avoir les deux à la fois.
La Solution : En acceptant une version "conditionnelle" de la justesse (la formule est juste par rapport au contexte), on peut créer une formule magique qui est flexible et capable de s'adapter à n'importe quelle vérité mathématique.
L'Enjeu : Il reste une question intermédiaire à résoudre pour savoir si l'on peut encore faire mieux.

C'est une victoire de l'intelligence mathématique : on ne peut pas tout avoir, mais on peut trouver un compromis très élégant qui nous permet d'aller très loin.

Each language version is independently generated for its own context, not a direct translation.

Voici un résumé technique détaillé de l'article « On a Question of Hamkins' » d'Albert Visser, rédigé en français.

1. Problématique et Contexte

L'article répond à une question posée par Joel Hamkins (Question 28 dans [Ham22]) concernant l'existence d'une formule spécifique dans la théorie de l'arithmétique de Peano (PA).

La question de Hamkins : Existe-t-il une formule $\Pi^0_1$ , notée $\rho(x)$ , satisfaisant deux propriétés simultanément ?

Indépendance : Si la théorie $PA + \varphi$ est cohérente, alors les deux théories $PA + \varphi + \rho(\ulcorner\varphi\urcorner)$ et $PA + \varphi + \neg\rho(\ulcorner\varphi\urcorner)$ sont également cohérentes.
Extensionnalité : Si $PA \vdash \varphi \leftrightarrow \psi$ , alors $PA \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$ .

Une telle formule serait appelée une « formule de Rosser extensionnelle ». Visser examine si une telle construction est possible, en permettant à la formule d'être de n'importe quelle complexité logique, bien que la question initiale se concentre sur les formules $\Pi^0_1$ .

2. Résultats Principaux

L'article apporte une réponse négative à la question originale de Hamkins, mais une réponse positive sous des conditions affaiblies, avec des résultats plus forts sur la flexibilité.

A. Impossibilité de la Formule de Rosser Extensionnelle

Théorème 2.1 : Il n'existe aucune formule de Rosser extensionnelle (ni même de complexité arbitraire) sur une théorie de base $U$ qui étend la théorie $R$ de Tarski-Mostowski-Robinson (et donc PA).

Preuve (Esquisse) : L'auteur utilise un argument de point fixe. En supposant l'existence d'une telle formule $\rho$ $ρ$ , on construit deux points fixes : $\varphi_0 \leftrightarrow \rho(\ulcorner\varphi_0\urcorner)$ $φ_{0} \leftrightarrow ρ (┌ φ_{0} ┐)$ et $\varphi_1 \leftrightarrow \neg\rho(\ulcorner\varphi_1\urcorner)$ $φ_{1} \leftrightarrow \neg ρ (┌ φ_{1} ┐)$ .
- Par la propriété d'indépendance, on déduit que $\neg\varphi_0$ et $\neg\varphi_1$ sont démontrables.
- Par extensionnalité, puisque $\varphi_0$ et $\varphi_1$ sont tous deux équivalents à la contradiction ( $\bot$ ) dans la théorie, $\rho(\ulcorner\varphi_0\urcorner)$ et $\rho(\ulcorner\varphi_1\urcorner)$ doivent être équivalents à $\rho(\ulcorner\bot\urcorner)$ .
- Cela conduit à une contradiction : on démontre à la fois $\rho(\ulcorner\bot\urcorner)$ et $\neg\rho(\ulcorner\bot\urcorner)$ , ce qui brise la cohérence de la théorie $U$ .

B. Résultat Positif : Extensionnalité Conditionnelle et Flexibilité

Bien que l'extensionnalité stricte soit impossible, Visser montre qu'en affaiblissant la condition d'extensionnalité, on obtient un résultat positif, et même plus fort.

Définitions clés :

Extensionnalité Conditionnelle : Si $PA \vdash \varphi \leftrightarrow \psi$ , alors $PA + \varphi \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$ . (L'équivalence est prouvée dans la théorie étendue par $\varphi$ , pas nécessairement dans PA seul).
Flexibilité $\Pi^0_1$ : Si $PA + \varphi$ est cohérente, alors pour toute sentence $\Pi^0_1$ $\pi$ , la théorie $PA + \varphi + (\rho(\ulcorner\varphi\urcorner) \leftrightarrow \pi)$ est cohérente.

Théorème Principal (Section 4) : Il existe une formule $\Pi^0_1$ , notée $\rho(x)$ (spécifiquement $\triangledown_\varphi \top$ dans la notation de l'article), qui satisfait :

Flexibilité $\Pi^0_1$ (une généralisation forte de l'indépendance).
Extensionnalité Conditionnelle.

Ce résultat répond positivement à la question de Hamkins si l'on remplace l'extensionnalité par l'extensionnalité conditionnelle. De plus, la formule construite est de complexité $\Pi^0_1$ .

C. Question Ouverte

L'article laisse ouverte la question de l'Extensionnalité Cohérente (Consistent Extensionality) : Si $PA \nvdash \neg\varphi$ et $PA \vdash \varphi \leftrightarrow \psi$ , alors $PA \vdash \rho(\ulcorner\varphi\urcorner) \leftrightarrow \rho(\ulcorner\psi\urcorner)$ . Cette notion se situe entre l'extensionnalité stricte (impossible) et l'extensionnalité conditionnelle (possible).

3. Méthodologie et Outils Techniques

La construction de la formule positive repose sur des techniques avancées de logique arithmétique, notamment la démonstrabilité lente (slow provability) et la petitesse uniforme (uniform smallness).

Démonstrabilité Uniforme : L'auteur définit une notion de preuve uniforme où la relation de preuve dépend d'un paramètre de taille $x$ . Cela permet de contrôler la complexité des preuves utilisées.
Petitesse Uniforme ( $S_\varphi(x)$ ) : Une formule $\Sigma^0_1$ $Σ_{1}^{0}$ qui exprime que tous les énoncés $\sigma$ $σ$ prouvables à partir de $\varphi$ $φ$ avec une preuve de taille $\le x$ $\leq x$ sont vrais (dans le sens $\Sigma^0_1$ $Σ_{1}^{0}$ ).
- Un principe clé est le « outside-big-inside-small » : des objets qui peuvent être très grands dans le monde extérieur (standard) sont considérés « petits » (vérifiables) dans le monde intérieur de la théorie étendue.
Démonstrabilité Lente ( $\triangle_\varphi \psi$ ) : La formule $\triangle_\varphi \psi$ $△_{φ} ψ$ signifie que $\psi$ $ψ$ est prouvable à partir des axiomes de $U + \varphi$ $U + φ$ qui sont « $\varphi$ $φ$ -petits ».
- Cette construction est une adaptation de la méthode de Feferman, utilisant une énumération d'axiomes qui dépend de la cohérence interne de la théorie.
Propriétés de Lob : La démonstrabilité lente satisfait les conditions de Lob (Nécessitation, Distribution, etc.) au sein de la théorie étendue $U + \varphi$ .
Construction de la Formule : La formule recherchée est définie comme $\rho(\ulcorner\varphi\urcorner) := \triangle_\varphi \top$ $ρ (┌ φ ┐) := △_{φ} ⊤$ (l'assertion de cohérence lente de $U+\varphi$ $U + φ$ ).
- L'auteur prouve que cette formule est $\Pi^0_1$ (modulo équivalence prouvable).
- La flexibilité découle du fait que l'incohérence lente ( $\triangle_\varphi \bot$ ) n'est pas prouvable si $U+\varphi$ est cohérente (Théorème 3.1 et 4.11).
- L'extensionnalité conditionnelle est établie via le Théorème 4.9, montrant que si $\varphi \leftrightarrow \psi$ est prouvable, alors les systèmes de démonstrabilité lente associés sont équivalents dans la théorie étendue.

4. Contributions et Signification

Résolution d'un problème ouvert : L'article résout définitivement la question de Hamkins en montrant l'impossibilité de la version stricte et en fournissant une solution optimale pour la version conditionnelle.
Optimisation de la complexité : Contrairement au résultat antérieur de Shavrukov et Visser ([SV14]) qui utilisait une formule $\Delta^0_2$ , cette construction réussit à obtenir une formule $\Pi^0_1$ tout en conservant l'extensionnalité conditionnelle.
Généralisation de la flexibilité : L'article relie la notion d'indépendance (Rosser) à la flexibilité (introduite par Kripke), montrant que la flexibilité $\Pi^0_1$ est une propriété naturelle et atteignable pour les formules de cohérence lente.
Nuance sur l'extensionnalité : L'article clarifie la hiérarchie des notions d'extensionnalité. Il montre que l'extensionnalité stricte est incompatible avec l'indépendance, tandis que l'extensionnalité conditionnelle est compatible et même compatible avec une flexibilité maximale.
Méthodologie : L'utilisation de la « démonstrabilité lente » et de la « petitesse » offre un cadre puissant pour construire des sentences indépendantes avec des propriétés de contrôle fines, applicable au-delà de PA (aux théories séquentielles réflexives essentiellement).

En conclusion, Visser démontre que l'on ne peut pas avoir une formule de Rosser « universellement extensionnelle », mais que l'on peut obtenir une formule $\Pi^0_1$ extrêmement flexible et « conditionnellement extensionnelle », ce qui constitue une avancée significative dans la compréhension des limites de l'arithmétique et des théories de la démonstration.