🔢 mathematics

Self-graphing equations

Cet article critique le concept populaire de la formule autoréférentielle de Tupper pour sa dépendance typographique et sa trivialité, puis résout ces problèmes en formalisant le problème et en fournissant une solution générale à l'aide de la théorie de la calculabilité.

Auteurs originaux : Samuel Allen Alexander

Publié 2026-08-25

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Samuel Allen Alexander

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 un monde où une formule mathématique, lorsqu'elle est dessinée sur une feuille de papier, ne se contente pas de décrire une forme comme un cercle ou une onde, mais dessine réellement les mots mêmes qui composent la formule. C'est l'idée étrange et captivante d'une « équation auto-graphique ». Le concept a gagné une attention considérable après qu'une formule spécifique, connue sous le nom de formule auto-référentielle de Tupper, est devenue virale sur Internet. Cette célèbre formule est capable de dessiner n'importe quelle image d'une certaine taille, y compris le texte de la formule elle-même, mais elle repose sur un nombre spécifique, pré-choisi, pour fonctionner. Il s'agit d'un tour astucieux de coordonnées plutôt que d'une véritable auto-référence. Les mathématiciens se demandent depuis longtemps s'il est possible de créer une équation qui contient intrinsèquement les instructions pour se dessiner elle-même, sans avoir besoin d'un code secret ou d'un nombre spécifique pour déverrouiller l'image. Cependant, la question est délicate car elle dépend entièrement de la manière dont nous choisissons d'écrire les lettres et les symboles. Si la police de caractères change, le dessin change, et l'équation peut ne plus correspondre à l'image. De plus, si l'on est autorisé à utiliser n'importe quelle fonction imaginable, le problème devient trivial et dénué de sens, car on pourrait simplement définir une fonction qui dessine l'image de son choix, y compris le texte de la fonction elle-même.

Un chercheur nommé Samuel Allen Alexander a désormais affronté ces failles en transformant le problème en une question mathématique rigoureuse. Au lieu de se concentrer sur une police de caractères spécifique ou sur un ensemble spécifique de symboles autorisés, il a créé un cadre général qui définit ce que signifie être « auto-graphique » d'une manière qui fonctionne pour tout système raisonnable d'écriture et de dessin. Il a traité l'alphabet des symboles, la façon dont ils sont dessinés sous forme de formes et la façon dont ils sont interprétés comme des équations comme un système formel. Dans ce système, chaque chaîne de symboles a une signification spécifique en tant que dessin sur un plan. L'objectif était de trouver une chaîne de symboles qui, lorsqu'elle est interprétée comme un dessin, produit exactement la même chaîne de symboles. Pour résoudre cela, Alexander ne s'est pas appuyé sur des essais ou des erreurs. Au lieu de cela, il a utilisé un outil puissant issu du domaine de la théorie de la calculabilité, qui étudie ce qui peut et ne peut pas être calculé par des machines. Il a appliqué un résultat célèbre connu sous le nom de théorème de récursion. Ce théorème, utilisé à l'origine pour prouver qu'un programme informatique peut imprimer son propre code source, garantit que, sous certaines conditions logiques, un système peut se référer à lui-même.

L'article démontre que si un système d'équations est « auto-contraint » — c'est-à-dire qu'il possède une structure logique qui permet de traduire la description d'un dessin en une équation produisant ce dessin — alors une équation auto-graphique existe de manière garantie. Alexander a montré que cette condition est remplie par un système très pratique d'écriture d'équations. Il a construit un exemple spécifique utilisant un ensemble standard de lettres, de chiffres et de symboles mathématiques, incluant des outils spéciaux pour gérer les sommes et les produits infinis. Dans ce système, les symboles sont dessinés sous forme de petites formes compactes composées de minuscules pixels, semblables aux lettres sur un écran numérique. Le chercheur a prouvé qu'au sein de ce système, il existe une chaîne de caractères spécifique qui, lorsqu'elle est tracée, dessine exactement la même chaîne de caractères. La preuve repose sur le fait que le système peut exprimer des énoncés logiques complexes, incluant la capacité de dire « il existe » ou « pour tout », ce qui permet à l'équation de décrire sa propre structure.

Cette découverte est une preuve d'existence définitive, et non une recette spécifique pour écrire une telle équation à la main. L'article ne fournit pas la chaîne de symboles réelle qui résout le problème, car cette chaîne serait incroyablement longue et complexe, bien au-delà de ce qu'un humain pourrait écrire ou lire. Au lieu de cela, le travail prouve qu'une telle chaîne doit exister dans tout système répondant aux critères logiques établis par Alexander. La recherche tranche effectivement le débat pour savoir si les équations auto-graphiques sont une curiosité dénuée de sens ou une impossibilité triviale. Elle montre qu'elles ne sont ni l'une ni l'autre. Elles sont une réalité mathématique authentique qui émerge naturellement dans les systèmes capables d'exprimer leur propre logique. Ce travail clarifie que la formule virale d'Internet n'était pas la seule façon d'atteindre cela, ni une véritable auto-référence au sens le plus strict. En formalisant les règles du jeu, Alexander a montré que l'univers des équations mathématiques est assez riche pour contenir sa propre image, à condition que les règles du jeu soient correctement établies. Ce résultat comble le fossé entre la logique abstraite et la représentation visuelle, prouvant qu'un ensemble d'instructions peut, en un sens très réel, se dessiner lui-même.

Résumé technique : Équations auto-graphiques

Énoncé du problème
Le document traite du concept d'« équation auto-graphique » : une équation $F(x, y) = 1$ qui, lorsqu'elle est tracée sur le plan cartésien, produit une image de l'équation elle-même. L'auteur identifie deux défauts fondamentaux dans la recherche informelle de telles équations :

Absence de sens : Le concept est mal défini sans une spécification formelle de la typographie (comment les symboles sont rendus) et de la correspondance entre les chaînes de caractères et les ensembles géométriques.
Trivialité : Sans restrictions sur la classe de fonctions autorisées, le problème est trivial. On peut simplement définir une fonction $F$ qui vaut 1 sur l'ensemble des points formant l'image de la chaîne de l'équation et 0 ailleurs, rendant ainsi le graphe identique à l'image par construction.

Pour résoudre ces problèmes, le document formalise le problème en utilisant les concepts de la théorie de la calculabilité, visant spécifiquement à trouver les conditions suffisantes sous lesquelles une équation auto-graphique est garantie d'exister pour toute formalisation valide des équations et de la typographie.

Méthodologie et formalisation
Le document introduit un cadre rigoureux appelé notion d'équation glyphe, définie par un triplet $(A, Gr, Gl)$ :

$A$ (Alphabet) : Un ensemble fini de symboles.
$Gr$ (Fonction de graphisme) : Une fonction associant des chaînes $\sigma \in A^*$ à des sous-ensembles de $\mathbb{R}^2$ , représentant le graphe géométrique de l'équation.
$Gl$ (Fonction de glyphe) : Une fonction associant les symboles individuels $x \in A$ à des sous-ensembles de $\mathbb{R}^2$ (la représentation visuelle du caractère). Cette fonction est étendue aux chaînes par la concaténation des glyphes des caractères individuels avec un espacement unitaire.

Une équation auto-graphique est définie comme une chaîne $\sigma \in A^*$ telle que $Gr(\sigma) = Gl(\sigma)$ .

La méthodologie centrale repose sur la théorie de la calculabilité, plus précisément sur le Théorème de Récursion (également connu sous le nom de Théorème du Point Fixe). L'auteur définit une propriété appelée auto-contrainte pour une notion d'équation glyphe. Un système est auto-contraint s'il existe un codage de Gödel des chaînes et une fonction totale calculable $f: \mathbb{N} \to \mathbb{N}$ telle que, pour toute fonction calculable $\phi_n$ , si $\phi_n(0)$ produit le code d'une chaîne $\tau$ , alors $f(n)$ produit le code d'une chaîne $\sigma$ dont le graphe $Gr(\sigma)$ est exactement l'image du glyphe $Gl(\tau)$ . Intuitivement, $f$ est un algorithme capable de prendre la description de n'importe quelle image (encodée sous forme de chaîne) et de construire une équation qui trace cette image spécifique.

Résultats clés
Le théorème central (Théorème 10) établit que l'auto-contrainte est une condition suffisante pour l'existence d'une équation auto-graphique.

Esquisse de preuve : Étant donné un système auto-contraint avec une fonction $f$ , l'auteur construit une fonction totale calculable $g$ telle que $\phi_{g(n)}(0) = f(n)$ . Par le Théorème de Récursion, il existe un indice $n$ tel que $\phi_n = \phi_{g(n)}$ . Par conséquent, $\phi_n(0) = f(n)$ . Soit $\tau$ la chaîne encodée par $\phi_n(0)$ et $\sigma$ la chaîne encodée par $f(n)$ . Par définition de l'auto-contrainte, $Gr(\sigma) = Gl(\tau)$ . Puisque $\phi_n(0) = f(n)$ , il s'ensuit que $\sigma = \tau$ . Par conséquent, $Gr(\sigma) = Gl(\sigma)$ , prouvant que $\sigma$ est une équation auto-graphique.

Exemple concret
Pour démontrer que l'auto-contrainte n'est pas seulement une abstraction théorique, le document construit une notion d'équation glyphe spécifique utilisant un alphabet standard (lettres, chiffres, opérateurs et symboles pour les produits infinis $\Pi$ ).

Le système permet l'encodage d'énoncés logiques (incluant les quantificateurs existentiels non bornés $\exists$ ) dans des équations en utilisant des produits infinis.
L'auteur montre que la condition « un point $(x,y)$ appartient au glyphe d'une chaîne $\tau$ » peut être exprimée par une formule logique impliquant le comportement d'arrêt de machines de Turing et des définitions de pixels.
En utilisant les propriétés de clôture du système (spécifiquement la capacité d'exprimer la conjonction, la disjonction, la négation et la quantification via des produits infinis), le document démontre que cette formule logique peut être convertie en une équation $E=0$ en utilisant uniquement les symboles autorisés.
Cette construction prouve que le système est auto-contraint, garantissant ainsi l'existence d'une équation auto-graphique au sein de ce formalisme spécifique.

Signification et revendications
Le document prétend fournir une solution générale au problème des équations auto-graphiques en déplaçant l'attention des choix typographiques spécifiques vers les propriétés structurelles du système d'équations.

Résolution des défauts : En formalisant le problème, le document élimine les problèmes d'absence de sens et de trivialité. Il montre que les équations auto-graphiques ne dépendent pas d'une police spécifique ou d'une fonction « astucieuse », mais sont une conséquence de la capacité du système à encoder sa propre syntaxe et sa propre sémantique (auto-contrainte).
Lien avec la calculabilité : Le travail établit un parallèle entre les équations auto-graphiques et les Quines (programmes informatiques auto-réplicants), utilisant le même Théorème de Récursion qui prouve l'existence des Quines.
Généralité : Les résultats sont présentés comme des conditions suffisantes. Tout système d'équations et de typographie satisfaisant la définition de l'auto-contrainte est garanti de posséder une équation auto-graphique. Le document ne prétend pas produire une équation spécifique et lisible par l'humain pour une police standard, mais prouve qu'une telle équation existe dans tout système capable d'encoder la machinerie logique nécessaire (spécifiquement, la capacité d'exprimer des quantificateurs non bornés).

Résumé technique : Équations auto-graphiques

Articles similaires