🔢 mathematics

Self-graphing equations

Este artigo critica o conceito popular da fórmula autorreferencial de Tupper por ser tipograficamente dependente e trivial, e então resolve essas questões formalizando o problema e fornecendo uma solução geral utilizando a teoria da computabilidade.

Autores originais: Samuel Allen Alexander

Publicado 2026-08-25

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Samuel Allen Alexander

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine um mundo onde uma fórmula matemática, ao ser desenhada em um pedaço de papel, não apenas descreve uma forma como um círculo ou uma onda, mas realmente desenha as próprias palavras que compõem a fórmula. Esta é a ideia estranha e cativante de uma "equação autograficável". O conceito ganhou ampla atenção após uma fórmula específica, conhecida como a fórmula autorreferencial de Tupper, tornar-se viral na internet. Essa famosa fórmula é capaz de desenhar qualquer imagem de um determinado tamanho, incluindo o próprio texto da fórmula, mas ela depende de um número específico, previamente escolhido, para funcionar. É um truque inteligente de coordenadas, em vez de uma verdadeira autorreferência. Matemáticos há muito se perguntam se é possível criar uma equação que contenha inerentemente as instruções para desenhar a si mesma, sem precisar de um código secreto ou de um número específico para desbloquear a imagem. No entanto, a questão é complicada porque depende inteamente de como escolhemos escrever as letras e os símbolos. Se a fonte muda, o desenho muda, e a equação pode deixar de corresponder à imagem. Além disso, se for permitido usar qualquer função imaginável, o problema torna-se trivial e sem sentido, pois poderíamos simplesmente definir uma função que desenha qualquer imagem que desejamos, incluindo o próprio texto da função.

Um pesquisador chamado Samuel Allen Alexander abordou essas falhas transformando o problema em uma questão matemática rigorosa. Em vez de focar em uma fonte específica ou em um conjunto específico de símbolos permitidos, ele criou uma estrutura geral que define o que significa uma equação ser "autograficável" de uma forma que funcione para qualquer sistema razoável de escrita e desenho. Ele tratou o alfabeto de símbolos, a maneira como são desenhados como formas e a maneira como são interpretados como equações como um sistema formal. Neste sistema, cada sequência de símbolos tem um significado específico como um desenho em um plano. O objetivo era encontrar uma sequência de símbolos que, quando interpretada como um desenho, produzisse a exata mesma sequência de símbolos. Para resolver isso, Alexander não dependeu de adivinhação ou tentativa e erro. Em vez disso, ele utilizou uma ferramenta poderosa do campo da teoria da computabilidade, que estuda o que pode e o que não pode ser calculado por máquinas. Ele aplicou um resultado famoso conhecido como o teorema da recursão. Este teorema, originalmente usado para provar que um programa de computador pode imprimir seu próprio código-fonte, garante que, sob certas condições lógicas, um sistema pode referir-se a si mesmo.

O artigo demonstra que, se um sistema de equações for "autoconstrito" — significando que possui uma estrutura lógica que permite traduzir a descrição de um desenho de volta para uma equação que produz esse desenho — então uma equação autograficável é garantida de existir. Alexander mostrou que essa condição é atendida por um sistema muito prático de escrita de equações. Ele construiu um exemplo específico usando um conjunto padrão de letras, números e símbolos matemáticos, incluindo ferramentas especiais para lidar com somas e produtos infinitos. Neste sistema, os símbolos são desenhados como formas pequenas e blocadas feitas de pequenos pixels, de forma muito semelhante às letras em uma tela digital. O pesquisador provou que, dentro deste sistema, existe uma sequência específica de caracteres que, quando grafada, desenha a exata mesma sequência de caracteres. A prova baseia-se no fato de que o sistema pode expressar afirmações lógicas complexas, incluindo a capacidade de dizer "existe" ou "para todo", o que permite que a equação descreva sua própria estrutura.

O achado é uma prova definitiva de existência, não uma receita específica para escrever tal equação à mão. O artigo não fornece a sequência real de símbolos que resolve o problema, porque a sequência seria incrivelmente longa e complexa, muito além do que um humano poderia escrever ou ler. Em vez disso, o trabalho prova que tal sequência deve existir dentro de qualquer sistema que atenda aos critérios lógicos estabelecidos por Alexander. A pesquisa efetivamente encerra o debate sobre se as equações autograficáveis são uma curiosidade sem sentido ou uma impossibilidade trivial. Ela mostra que elas não são nem uma coisa, nem outra. Elas são uma realidade matemática genuína que surge naturalmente em sistemas capazes de expressar sua própria lógica. O trabalho esclarece que a fórmula viral da internet não era a única maneira de alcançar isso, nem era uma verdadeira autorreferência no sentido mais estrito. Ao formalizar as regras do jogo, Alexander mostrou que o universo das equações matemáticas é rico o suficiente para conter sua própria imagem, desde que as regras do jogo sejam estabelecidas corretamente. Este resultado une a lacuna entre a lógica abstrata e a representação visual, provando que um conjunto de instruções pode, em um sentido muito real, desenhar a si mesmo.

Resumo Técnico: Equações Autografadas

Enunciado do Problema
O artigo aborda o conceito de uma "equação autografada" (self-graphing equation): uma equação $F(x, y) = 1$ que, ao ser traçada no plano cartesiano, produz uma imagem da própria equação. O autor identifica duas falhas fundamentais na busca informal por tais equações:

Ausência de Sentido: O conceito é mal definido sem uma especificação formal de tipografia (como os símbolos são renderizados) e do mapeamento de strings para conjuntos geométricos.
Trivialidade: Sem restrições sobre a classe de funções permitidas, o problema é trivial. Pode-se simplesmente definir uma função $F$ que seja igual a 1 no conjunto de pontos que formam a imagem da string da equação e 0 em todos os outros lugares, tornando o gráfico idêntico à imagem por construção.

Para resolver essas questões, o artigo formaliza o problema utilizando conceitos da teoria da computabilidade, visando encontrar condições suficientes sob as quais uma equação autografada é garantida para qualquer formalização válida de equações e tipografia.

Metodologia e Formalização
O artigo introduz um arcabouço rigoroso chamado noção de equações glifada, definida por uma terna $(A, Gr, Gl)$ :

$A$ (Alfabeto): Um conjunto finito de símbolos.
$Gr$ (Função de Graficação): Uma função que mapeia strings $\sigma \in A^*$ para subconjuntos de $\mathbb{R}^2$ , representando o gráfico geométrico da equação.
$Gl$ (Função de Glifo): Uma função que mapeia símbolos individuais $x \in A$ para subconjuntos de $\mathbb{R}^2$ (a representação visual do caractere). Isso é estendido para strings através da concatenação dos glifos dos caracteres individuais com espaçamento unitário.

Uma equação autografada é definida como uma string $\sigma \in A^*$ tal que $Gr(\sigma) = Gl(\sigma)$ .

A metodologia central baseia-se na teoria da computabilidade, especificamente no Teorema da Recursão (também conhecido como Teorema do Ponto Fixo). O autor define uma propriedade chamada autocontenção (self-constraint) para uma noção de equações glifada. Um sistema é autocontido se existir uma numeração de Gödel de strings e uma função computável total $f: \mathbb{N} \to \mathbb{N}$ tal que, para qualquer função computável $\phi_n$ , se $\phi_n(0)$ produz o código de uma string $\tau$ , então $f(n)$ produz o código de uma string $\sigma$ cujo gráfico $Gr(\sigma)$ é exatamente a imagem do glifo $Gl(\tau)$ . Intuitivamente, $f$ é um algoritmo que pode pegar a descrição de qualquer imagem (codificada como uma string) e construir uma equação que grafica essa imagem específica.

Resultados Principais
O teorema central (Teorema 10) estabelece que a autocontenção é uma condição suficiente para a existência de uma equação autografada.

Esboço da Prova: Dada uma noção de equações glifada autocontida com função $f$ , o autor constrói uma função computável total $g$ tal que $\phi_{g(n)}(0) = f(n)$ . Pelo Teorema da Recursão, existe um índice $n$ tal que $\phi_n = \phi_{g(n)}$ . Consequentemente, $\phi_n(0) = f(n)$ . Seja $\tau$ a string codificada por $\phi_n(0)$ e $\sigma$ a string codificada por $f(n)$ . Pela definição de autocontenção, $Gr(\sigma) = Gl(\tau)$ . Como $\phi_n(0) = f(n)$ , segue que $\sigma = \tau$ . Portanto, $Gr(\sigma) = Gl(\sigma)$ , provando que $\sigma$ é uma equação autografada.

Exemplo Concreto
Para demonstrar que a autocontenção não é meramente uma abstração teórica, o artigo constrói uma noção de equações glifada específica usando um alfabeto padrão (letras, dígitos, operadores e símbolos para produtos infinitos $\Pi$ ).

O sistema permite a codificação de enunciados lógicos (incluindo quantificadores existenciais não limitados $\exists$ ) em equações usando produtos infinitos.
O autor mostra que a condição "um ponto $(x,y)$ está no glifo de uma string $\tau$ " pode ser expressa como uma fórmula lógica envolvendo o comportamento de parada de máquinas de Turing e definições de pixels.
Usando as propriedades de fechamento do sistema (especificamente a capacidade de expressar conjunção lógica, disjunção, negação e quantificação via produtos infinitos), o artigo demonstra que essa fórmula lógica pode ser convertida em uma equação $E=0$ usando apenas os símbolos permitidos.
Esta construção prova que o sistema é autocontido, garantindo, assim, a existência de uma equação autografada dentro deste formalismo específico.

Significância e Alegações
O artigo afirma fornecer uma solução geral para o problema das equações autografadas ao deslocar o foco das escolhas tipográficas específicas para as propriedades estruturais do sistema de equações.

Resolução de Falhas: Ao formalizar o problema, o artigo elimina as questões de ausência de sentido e trivialidade. Mostra que as equações autografadas não dependem de uma fonte específica ou de uma função "truque", mas são uma consequência da capacidade do sistema de codificar sua própria sintaxe e semântica (autocontenção).
Conexão com Computabilidade: O trabalho estabelece um paralelo entre equações autografadas e Quines (programas de computador autorreplicantes), utilizando o mesmo Teorema da Recursão que prova a existência de Quines.
Generalidade: Os resultados são apresentados como condições suficientes. Qualquer sistema de equações e tipografia que satisfaça a definição de autocontenção é garantido possuir uma equação autografada. O artigo não pretende produzir uma equação específica e legível por humanos para uma fonte padrão, mas sim provar que tal equação existe dentro de qualquer sistema capaz de codificar a maquinaria lógica necessária (especificamente, a capacidade de expressar quantificadores não limitados).

Resumo Técnico: Equações Autografadas

Mais como este