🔢 mathematics

Self-graphing equations

Este artículo critica el concepto popular de que la fórmula autorreferencial de Tupper es tipográficamente dependiente y trivial, para luego resolver estos problemas formalizando el problema y proporcionando una solución general utilizando la teoría de la computabilidad.

Autores originales: Samuel Allen Alexander

Publicado 2026-08-25

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Samuel Allen Alexander

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina un mundo donde una fórmula matemática, al ser dibujada en un papel, no solo describe una forma como un círculo o una onda, sino que realmente dibuja las propias palabras que componen la fórmula misma. Esta es la extraña y cautivadora idea de una "ecuación autograficante". El concepto ganó atención generalizada después de que una fórmula específica, conocida como la fórmula autorreferencial de Tupper, se volviera viral en internet. Esa famosa fórmula es capaz de dibujar cualquier imagen de un tamaño determinado, incluyendo el texto de la propia fórmula, pero depende de un número específico, preseleccionado, para funcionar. Es un truco ingenioso de coordenadas más que una verdadera autorreferencia. Los matemáticos se han preguntado durante mucho tiempo si es posible crear una ecuación que contenga inherentemente las instrucciones para dibujarse a sí misma, sin necesidad de un código secreto o un número específico para desbloquear la imagen. Sin embargo, la cuestión es complicada porque depende enteramente de cómo elijamos escribir las letras y los símbolos. Si la fuente cambia, el dibujo cambia, y la ecuación podría dejar de coincidir con la imagen. Además, si se permitiera usar cualquier función imaginable, el problema se volvería trivial y carente de sentido, ya que uno simplemente podría definir una función que dibuje cualquier imagen que desee, incluyendo el texto de la propia función misma.

Un investigador llamado Samuel Allen Alexander ha abordado estos defectos convirtiendo el problema en una pregunta matemática rigurosa. En lugar de centrarse en una fuente específica o en un conjunto específico de símbolos permitidos, creó un marco general que define qué significa que una ecuación sea "autograficante" de una manera que funcione para cualquier sistema razonable de escritura y dibujo. Trató el alfabeto de símbolos, la forma en que se dibujan como formas y la forma en que se interpretan como ecuaciones como un sistema formal. En este sistema, cada cadena de símbolos tiene un significado específico como un dibujo en un plano. El objetivo era encontrar una cadena de símbolos que, al ser interpretada como un dibujo, produzca la misma cadena de símbolos exacta. Para resolver esto, Alexander no dependió de adivinanzas o de prueba y error. En su lugar, utilizó una poderosa herramienta del campo de la teoría de la computabilidad, que estudia qué puede y qué no puede ser calculado por las máquinas. Aplicó un resultado famoso conocido como el teorema de la recursión. Este teorema, utilizado originalmente para demostrar que un programa informático puede imprimir su propio código fuente, garantiza que, bajo ciertas condiciones lógicas, un sistema puede referirse a sí mismo.

El artículo demuestra que si un sistema de ecuaciones es "autoconstreñido" —es decir, tiene una estructura lógica que le permite traducir la descripción de un dibujo de vuelta a una ecuación que produce ese dibujo—, entonces se garantiza la existencia de una ecuación autograficante. Alexander demostuvo que esta condición se cumple en un sistema muy práctico de escritura de ecuaciones. Construyó un ejemplo específico utilizando un conjunto estándar de letras, números y símbolos matemáticos, incluyendo herramientas especiales para manejar sumas y productos infinitos. En este sistema, los símbolos se dibujan como formas pequeñas y robustas hechas de diminutos píxeles, de forma muy similar a las letras en una pantalla digital. El investigador demostio que, dentro de este sistema, existe una cadena específica de caracteres que, al graficarse, dibuja la misma cadena de caracteres exacta. La prueba se basa en el hecho de que el sistema puede expresar enunciados lógicos complejos, incluyendo la capacidad de decir "existe" o "para todo", lo que permite que la ecuación describa su propia estructura.

El hallazgo es una prueba definitiva de existencia, no una receta específica para escribir tal ecuación a mano. El artículo no proporciona la cadena de símbolos real que resuelve el problema, porque la cadena sería increíblemente larga y compleja, mucho más allá de lo que un humano podría escribir o leer. En cambio, el trabajo demuestra que tal cadena debe existir dentro de cualquier sistema que cumpla con los criterios lógicos establecidos por Alexander. La investigación efectivamente resuelve el debate sobre si las ecuaciones autograficantes son una curiosidad sin sentido o una imposibilidad trivial. Demuestra que no son ninguna de las dos cosas. Son una realidad matemática genuina que surge naturalmente en sistemas capaces de expresar su propia lógica. El trabajo aclara que la fórmula viral de internet no era la única forma de lograr esto, ni era una verdadera autorreferencia en el sentido más estricto. Al formalizar las reglas del juego, Alexander ha demostrado que el universo de las ecuaciones matemáticas es lo suficientemente rico como para contener su propia imagen, siempre que las reglas del juego se establezcan correctamente. Este resultado cierra la brecha entre la lógica abstracta y la representación visual, demostando que un conjunto de instrucciones puede, en un sentido muy real, dibujarse a sí mismo.

Resumen Técnico: Ecuaciones Autograficadas

Planteamiento del Problema
El artículo aborda el concepto de una "ecuación autograficada": una ecuación $F(x, y) = 1$ que, al graficarse en el plano cartesiano, produce una imagen de la propia ecuación. El autor identifica dos fallos fundamentales en la búsqueda informal de tales ecuaciones:

Falta de sentido: El concepto carece de definición sin una especificación formal de la tipografía (cómo se renderizan los símbolos) y del mapeo de las cadenas a conjuntos geométricos.
Trivialidad: Sin restricciones sobre la clase de funciones permitidas, el problema es trivial. Uno puede simplemente definir una función $F$ que sea igual a 1 en el conjunto de puntos que forman la imagen de la cadena de la ecuación y 0 en todos los demás lugares, haciendo que la gráfica sea idéntica a la imagen por construcción.

Para resolver estos problemas, el artículo formaliza el problema utilizando conceptos de la teoría de la computabilidad, buscando específicamente las condiciones suficientes bajo las cuales se garantiza la existencia de una ecuación autograficada para cualquier formalización válida de ecuaciones y tipografía.

Metodología y Formalización
El artículo introduce un marco riguroso llamado noción de ecuaciones glifada, definida como una terna $(A, Gr, Gl)$ :

$A$ (Alfabeto): Un conjunto finito de símbolos.
$Gr$ (Función de Graficación): Una función que mapea cadenas $\sigma \in A^*$ a subconjuntos de $\mathbb{R}^2$ , representando el gráfico geomético de la ecuación.
$Gl$ (Función de Glifo): Una función que mapea símbolos individuales $x \in A$ a subconjuntos de $\mathbb{R}^2$ (la representación visual del carácter). Esto se extiende a las cadenas mediante la concatenación de los glifos de los caracteres individuales con un espaciado unitario.

Una ecuación autograficada se define como una cadena $\sigma \in A^*$ tal que $Gr(\sigma) = Gl(\sigma)$ .

La metodología central se basa en la teoría de la computabilidad, específicamente en el Teorema de la Recursión (también conocido como el Teorema del Punto Fijo). El autor define una propiedad llamada autoconsistencia para una noción de ecuaciones glifada. Un sistema es autoconsistente si existe una numeración de Gödel de las cadenas y una función total computable $f: \mathbb{N} \to \mathbb{N}$ tal que, para cualquier función computable $\phi_n$ , si $\phi_n(0)$ devuelve el código de una cadena $\tau$ , entonces $f(n)$ devuelve el código de una cadena $\sigma$ cuyo gráfico $Gr(\sigma)$ es exactamente la imagen del glifo $Gl(\tau)$ . Intuitivamente, $f$ es un algoritmo que puede tomar la descripción de cualquier imagen (codificada como una cadena) y construir una ecuación que grafique esa imagen específica.

Resultados Clave
El teorema central (Teorema 10) establece que la autoconsistencia es una condición suficiente para la existencia de una ecuación autograficada.

Esquema de la prueba: Dada una noción de ecuaciones glifada autoconsistente con la función $f$ , el autor construye una función total computable $g$ tal que $\phi_{g(n)}(0) = f(n)$ . Por el Teorema de la Recursión, existe un índice $n$ tal que $\phi_n = \phi_{g(n)}$ . En consecuencia, $\phi_n(0) = f(n)$ . Sea $\tau$ la cadena codificada por $\phi_n(0)$ y $\sigma$ la cadena codificada por $f(n)$ . Por la definición de autoconsistencia, $Gr(\sigma) = Gl(\tau)$ . Dado que $\phi_n(0) = f(n)$ , se sigue que $\sigma = \tau$ . Por lo tanto, $Gr(\sigma) = Gl(\sigma)$ , demostrando que $\sigma$ es una ecuación autograficada.

Ejemplo Concreto
Para demostrar que la autoconsistencia no es meramente una abstracción teórica, el artículo construye una noción de ecuaciones glifada específica utilizando un alfabeto estándar (letras, dígitos, operadores y símbolos para productos infinitos $\Pi$ ).

El sistema permite la codificación de enunciados lógicos (incluyendo cuantificadores existenciales no acotados $\exists$ ) en ecuaciones utilizando productos infinitos.
El autor muestra que la condición "un punto $(x,y)$ pertenece al glifo de una cadena $\tau$ " puede expresarse como una fórmula lógica que involucra el comportamiento de parada de máquinas de Turing y definiciones de píxeles.
Utilizando las propiedades de clausura del sistema (específicamente la capacidad de expresar conjunción lógica, disyunción, negación y cuantificación mediante productos infinitos), el artículo demuestra que esta fórmula lógica puede convertirse en una ecuación $E=0$ utilizando únicamente los símbolos permitidos.
Esta construcción prueba que el sistema es autoconsistente, garantizando así la existencia de una ecuación autograficada dentro de este formalismo específico.

Significado y Reivindicaciones
El artículo afirma proporcionar una solución general al problema de las ecuaciones autograficadas al desplazar el enfoque de las elecciones tipográficas específicas hacia las propiedades estructurales del sistema de ecuaciones.

Resolución de Fallos: Al formalizar el problema, el artículo elimina los problemas de falta de sentido y trivialidad. Demuestra que las ecuaciones autograficadas no dependen de una fuente específica o de una función "truco", sino que son una consecuencia de la capacidad del sistema para codificar su propia sintaxis y semántica (autoconsistencia).
Conexión con la Computabilidad: El trabajo establece un paralelismo entre las ecuaciones autograficadas y los Quines (programas informáticos que se replican a sí mismos), utilizando el mismo Teorema de la Recursión que prueba la existencia de los Quines.
Generalidad: Los resultados se presentan como condiciones suficientes. Cualquier sistema de ecuaciones y tipografía que satisfaga la definición de autoconsistencia está garantizado de poseer una ecuación autograficada. El artículo no pretende producir una ecuación específica y legible por humanos para una fuente estándar, sino que demuestra que tal ecuación existe dentro de cualquier sistema capaz de codificar la maquinaria lógica necesaria (específicamente, la capacidad de expresar cuantificadores no acotados).

Resumen Técnico: Ecuaciones Autograficadas

Más como este