🔢 mathematics

Self-graphing equations

本文批判了图珀自指公式这一流行概念在排版上的依赖性及其平凡性，随后通过将该问题形式化并利用可计算性理论提供了一个通用的解决方案，从而解决了这些问题。

原作者： Samuel Allen Alexander

发布于 2026-08-25

📖 1 分钟阅读🧠 深度阅读

原作者： Samuel Allen Alexander

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一个这样的世界：一个数学公式，当它被画在纸上时，不仅描述了一个像圆或波浪那样的形状，而且实际上画出了构成该公式本身的文字。这就是“自绘方程”（self-graphing equation）这一奇特且迷人的概念。这个概念在被称为“塔珀自指公式”（Tupper's self-referential formula）的一个特定公式在互联网上走红后，获得了广泛的关注。那个著名的公式能够绘制出特定尺寸的任何图像，包括公式本身的文本，但它依赖于一个特定的、预先选定的数字才能生效。这是一种坐标层面的巧妙技巧，而非真正的自指。数学家们长期以来一直在思考，是否可能创造出一个内在包含绘制自身指令的方程，而不需要依靠秘密代码或特定的数字来解锁图像。然而，这个问题非常棘手，因为它完全取决于我们如何书写字母和符号。如果字体改变，绘图也会随之改变，方程可能就不再与图像相匹配。此外，如果允许使用任何想象得到的函数，这个问题就会变得平庸且毫无意义，因为人们可以简单地定义一个函数来绘制他们想要的任何图像，包括函数本身的文本。

一位名叫塞缪尔·艾伦·亚历山大（Samuel Allen Alexander）的研究员现在通过将这个问题转化为一个严谨的数学问题，解决了这些缺陷。他没有专注于特定的字体或特定的允许符号，而是创建了一个通用的框架，定义了什么是“自绘”方程，使其适用于任何合理的书写和绘图系统。他将符号的字母表、它们作为形状被绘制的方式，以及它们作为方程被解释的方式，视为一个形式系统。在这个系统中，每一串符号都具有在平面上作为绘图的特定含义。目标是找到一串符号，当它被解释为绘图时，能产生完全相同的符号串。为了解决这个问题，亚历山大并没有依赖猜测或试错。相反，他使用了计算理论领域中一个强大的工具，该领域研究机器可以计算什么以及不能计算什么。他应用了一个著名的结果，即“递归定理”（recursion theorem）。这个定理最初用于证明计算机程序可以打印出自身的源代码，它保证了在某些逻辑条件下，一个系统可以实现对自身的引用。

论文表明，如果一个方程系统是“自约束的”（self-constrained）——即它具有一种逻辑结构，允许将绘图的描述转换回产生该绘图的方程——那么自绘方程的存在是必然的。亚历山大证明了这种条件在一种非常实用的方程书写系统中得到了满足。他使用了一套标准的字母、数字和数学符号构建了一个具体的例子，其中包括处理无穷级数和无穷乘积的特殊工具。在这个系统中，符号被绘制成由微小像素组成的、类似数字屏幕上字母的小型块状形状。研究人员证明，在该系统中，存在一串特定的字符，当其被绘制出来时，会画出完全相同的字符串。该证明依赖于该系统能够表达复杂的逻辑语句，包括能够表达“存在”或“对于所有”的能力，这使得方程能够描述自身的结构。

这一发现是存在性的确定性证明，而非编写此类方程的手写具体配方。论文并未提供解决该问题的实际符号串，因为该字符串会极其冗长且复杂，远超人类所能书写或阅读的范围。相反，这项工作证明了在任何满足亚历山大所建立的逻辑标准的系统中，这样的字符串必然存在。这项研究有效地解决了关于自绘方程究竟是无意义的奇闻轶事，还是平凡的逻辑不可能性的争论。它表明，它们既不是前者，也不是后者。它们是真实的数学现实，自然产生于能够表达自身逻辑的系统中。这项工作阐明了互联网上的那个病毒式传播的公式并不是实现此目标的唯一方式，也不是严格意义上的真正自指。通过将游戏的规则形式化，亚历山大展示了数学方程的世界足以包含其自身的图像，只要游戏的规则设置得当。这项成果架起了抽象逻辑与视觉表现之间的桥梁，证明了一套指令在某种真实意义上是可以绘制自身的。

技术摘要：自绘图方程（Self-Graphing Equations）

问题陈述
本文探讨了“自绘图方程”的概念：即一个在笛卡尔平面上绘图时，其生成的图像恰好是该方程本身本身的方程 $F(x, y) = 1$ 。作者指出，在非正式追求此类方程的过程中存在两个根本性的缺陷：

无意义性： 若没有对字形（符号如何渲染）和从字符串到几何集合的映射进行形式化规范，该概念是定义不明的。
平凡性： 若不对允许函数的类别进行限制，该问题是平凡的。人们可以简单地定义一个函数 $F$ ，使其在构成方程字符串图像的点集上等于 1，在其他地方等于 0，从而通过构造使图形与图像完全一致。

为了解决这些问题，本文利用计算理论中的概念（特别是递归定理）对问题进行了形式化处理，旨在寻找充分条件，使得对于任何有效的方程形式化与字形定义，自绘图方程都保证存在。

方法论与形式化
本文引入了一个被称为**带字形方程概念（glyphed notion of equations）**的严谨框架，定义为一个三元组 $(A, Gr, Gl)$ ：

$A$ （字母表）： 一个有限的符号集合。
$Gr$ （绘图函数）： 一个将字符串 $\sigma \in A^*$ 映射到 $\mathbb{R}^2$ 子集的函数，代表方程的几何图形。
$Gl$ （字形函数）： 一个将单个符号 $x \in A$ 映射到 $\mathbb{R}^2$ 子集的函数（即字符的视觉呈现）。该函数通过将单个字符的字形进行单位间距的拼接，扩展到字符串。

自绘图方程被定义为满足 $Gr(\sigma) = Gl(\sigma)$ 的字符串 $\sigma \in A^*$ 。

核心方法论依赖于计算理论，特别是递归定理（也称为不动点定理）。作者定义了一个针对带字形方程概念的属性，称为自约束（self-constraint）。如果一个系统满足以下条件，则称该系统是自约束的：存在一个字符串的哥德尔编码以及一个全可计算函数 $f: \mathbb{N} \to \mathbb{N}$ ，使得对于任何可计算函数 $\phi_n$ ，若 $\phi_n(0)$ 输出字符串 $\tau$ 的代码，则 $f(n)$ 输出一个字符串 $\sigma$ 的代码，且 $\sigma$ 的图形 $Gr(\sigma)$ 正好是字形图像 $Gl(\tau)$ 。直观地说， $f$ 是一个算法，它可以获取任何图像的描述（编码为字符串），并构造出一个能够绘制该特定图像的方程。

关键结果
中心定理（定理 10）确立了自约束是自绘图方程存在的充分条件。

证明简述： 给定一个具有函数 $f$ 的自约束系统，作者构造了一个全可计算函数 $g$ ，使得 $\phi_{g(n)}(0) = f(n)$ 。根据递归定理，存在一个索引 $n$ 使得 $\phi_n = \phi_{g(n)}$ 。因此， $\phi_n(0) = f(n)$ 。令 $\tau$ 为 $\phi_n(0)$ 编码的字符串， $\sigma$ 为 $f(n)$ 编码的字符串。根据自约束的定义， $Gr(\sigma) = Gl(\tau)$ 。由于 $\phi_n(0) = f(n)$ ，可以得出 $\sigma = \tau$ 。因此， $Gr(\sigma) = Gl(\sigma)$ ，证明了 $\sigma$ 是一个自绘图方程。

具体示例
为了证明自约束不仅仅是一个理论抽象，本文利用标准字母表（字母、数字、运算符以及用于无穷乘积 $\Pi$ 的符号）构建了一个特定的带字形方程概念。

该系统允许使用无穷乘积将逻辑语句（包括无界存在量词 $\exists$ ）编码进方程中。
作者展示了“点 $(x,y)$ 在字符串 $\tau$ 的字形中”这一条件，可以通过涉及图灵机停机行为和像素定义的逻辑公式来表达。
通过展示该系统具有闭包性质（特别是通过无穷乘积表达逻辑合取、析取、否定和量化的能力），本文证明了该逻辑公式可以仅使用允许的符号转换为方程 $E=0$ 。
这一构造证明了该系统是自约束的，从而保证了在该特定形式化体系内自绘图方程的存在。

意义与主张
本文声称通过将关注点从特定的排版选择转向方程系统的结构属性，为自绘图方程问题提供了通用的解决方案。

解决缺陷： 通过将问题形式化，本文消除了无意义性和平凡性的问题。它表明，自绘图方程并不依赖于特定的字体或某种“技巧型”函数，而是由于系统能够编码其自身的语法和语义（自约束）而产生的结果。
计算性联系： 本工作将自绘图方程与 Quine（自复制计算机程序）联系起来，使用了证明存在 Quine 的相同递归定理。
普遍性： 研究结果以充分条件的形式呈现。任何满足自约束定义的方程与字形系统都保证拥有一个自绘图方程。本文并不声称能为标准字体生成特定的、人类可读的方程，而是证明了在任何具备编码必要逻辑机制（特别是表达无界量化能力）的系统中，这样的方程是存在的。

技术摘要：自绘图方程（Self-Graphing Equations）

类似论文