🔢 mathematics

Self-graphing equations

Diese Arbeit kritisiert das populäre Konzept von Tuppers selbstreferenziellem Algorithmus als typografisch abhängig und trivial, löst diese Probleme dann jedoch durch die Formalisierung des Problems und die Bereitstellung einer allgemeinen Lösung unter Verwendung der Berechenbarkeitstheorie.

Ursprüngliche Autoren: Samuel Allen Alexander

Veröffentlicht 2026-08-25

📖 4 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Samuel Allen Alexander

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich eine Welt vor, in der eine mathematische Formel, wenn sie auf ein Blatt Papier gezeichnet wird, nicht nur eine Form wie einen Kreis oder eine Welle beschreibt, sondern tatsächlich die Worte zeichnet, aus denen die Formel selbst besteht. Dies ist die seltsame und faszinierende Idee einer „selbstzeichnenden Gleichung“. Das Konzept erlangte breite Aufmerksamkeit, nachdem eine spezifische Formel, bekannt als Tuppers selbstreferenzielle Formel, im Internet viral ging. Diese berühmte Formel ist in der Lage, jedes Bild einer bestimmten Größe zu zeichnen, einschließlich des Textes der Formel selbst, aber sie beruht auf einer spezifischen, vorab gewählten Zahl, um zu funktionieren. Es handelt sich dabei um einen cleveren Trick der Koordinaten und nicht um eine echte Selbstreferenz. Mathematiker haben sich lange gefragt, ob es möglich ist, eine Gleichung zu erschaffen, die von Natur aus die Anweisungen enthält, sich selbst zu zeichnen, ohne einen Geheimcode oder eine spezifische Zahl zu benötigen, um das Bild freizuschalten. Das Problem ist jedoch knifflig, da es vollständig davon abhängt, wie wir die Buchstaben und Symbole schreiben. Wenn sich die Schriftart ändert, ändert sich auch die Zeichnung, und die Gleichung passt möglicherweise nicht mehr zum Bild. Zudem, wenn man jede erdenkliche Funktion verwenden dürfte, würde das Problem trivial und bedeutungslos werden, da man einfach eine Funktion definieren könnte, die jedes beliebige Bild zeichnet, einschließlich des Textes der Funktion selbst.

Ein Forscher namens Samuel Allen Alexander hat diese Mängel angegangen, indem er das Problem in eine rigorose mathematische Fragestellung umwandelte. Anstatt sich auf eine spezifische Schriftart oder ein spezifisches Set an erlaubten Symbolen zu konzentrieren, schuf er einen allgemeinen Rahmen, der definiert, was es bedeutet, dass eine Gleichung „selbstzeichnend“ ist, auf eine Weise, die für jedes vernünftige Schreibsystem funktioniert. Er behandelte das Alphabet der Symbole, die Art und Weise, wie sie als Formen gezeichnet werden, und die Art und Weise, wie sie als Gleichungen interpretiert werden, als ein formales System. In diesem System hat jede Zeichenfolge eine spezifische Bedeutung als Zeichnung auf einer Ebene. Das Ziel war es, eine Zeichenfolge von Symbolen zu finden, die, wenn sie als Zeichnung interpretiert wird, exakt dieselbe Zeichenfolge von Symbolen erzeugt. Um dies zu lösen, griff Alexander nicht auf Raten oder Versuche und Irrtümer zurück. Stattdessen nutzte er ein mächtiges Werkzeug aus dem Bereich der Berechenbarkeitstheorie, die untersucht, was von Maschinen berechnet werden kann und was nicht. Er wandte ein berühmtes Resultat an, bekannt als der Fixpunktsatz der Rekursion, der ursprünglich dazu verwendet wurde, zu beweisen, dass ein Computerprogramm seinen eigenen Quellcode ausgeben kann; dieser Satz garantiert, dass unter bestimmten logischen Bedingungen ein System auf sich selbst Bezug nehmen kann.

Die Arbeit zeigt, dass, wenn ein System von Gleichungen „selbstbeschränkt“ ist – was bedeutet, dass es eine logische Struktur besitzt, die es ermöglicht, die Beschreibung einer Zeichnung zurück in eine Gleichung zu übersetzen, die diese Zeichnung erzeugt –, dann die Existenz einer selbstzeichnenden Gleichung garantiert ist. Alexander zeigte, dass diese Bedingung durch ein sehr praktisches System des Schreibens von Gleichungen erfüllt wird. Er konstruierte ein spezifisches Beispiel unter Verwendung eines Standard-Sets von Buchstaben, Zahlen und mathematischen Symbolen, einschließlich spezieller Werkzeuge zur Handhabung unendlicher Summen und Produkte. In diesem System werden die Symbole als kleine, blockartige Formen aus winzigen Pixeln gezeichnet, ähnlich wie Buchstaben auf einem digitalen Bildschirm. Der Forscher bewies, dass innerhalb dieses Systems eine spezifische Zeichenkette existiert, die, wenn sie grafisch dargestellt wird, exakt dieselbe Zeichenkette zeichnet. Der Beweis stützt sich auf die Tatsache, dass das System komplexe logische Aussagen ausdrücken kann, einschließlich der Fäh Fähigkeit zu sagen „es existiert“ oder „für alle“, was es der Gleichung ermöglicht, ihre eigene Struktur zu beschreiben.

Das Ergebnis ist ein definitiver Existenzbeweis, kein spezifisches Rezept für das manuelle Schreiben einer solchen Gleichung. Die Arbeit liefert nicht die tatsächliche Zeichenkette, die das Problem löst, da die Zeichenkette unglaublich lang und komplex wäre, weit über das hinaus, was ein Mensch schreiben oder lesen könnte. Stattdessen beweist die Arbeit, dass eine solche Zeichenkette innerhalb jedes Systems existieren muss, das die von Alexander etablierten logischen Kriterien erfüllt. Die Forschung klärt die Debatte darüber, ob selbstzeichnende Gleichungen eine bedeutungslose Kuriosität oder eine triviale Unmöglichkeit sind. Sie zeigt, dass sie beides nicht sind. Sie sind eine echte mathematische Realität, die natürlich in Systemen entsteht, die in der Lage sind, ihre eigene Logik auszudrücken. Die Arbeit verdeutlicht, dass die virale Formel aus dem Internet nicht der einzige Weg war, um dies zu erreichen, noch war sie eine echte Selbstreferenz im strengsten Sinne. Durch die Formalisierung der Regeln des Spiels hat Alexander gezeigt, dass das Universum der mathematischen Gleichungen reich genug ist, um sein eigenes Bild zu enthalten, sofern die Regeln des Spiels korrekt gesetzt sind. Dieses Ergebnis überbrückt die Lücke zwischen abstrakter Logik und visueller Darstellung und beweist, dass eine Menge von Anweisungen in einem sehr realen Sinne sich selbst zeichnen kann.

Technisches Resümee: Selbstgraphisierende Gleichungen

Problemstellung
Die Arbeit befasst sich mit dem Konzept einer „selbstgraphisierenden Gleichung“: einer Gleichung $F(x, y) = 1$ , die bei der Darstellung im kartesischen Koordinatensystem das Bild der Gleichung selbst erzeugt. Der Autor identifiziert zwei grundlegende Mängel in der informellen Verfolgung solcher Gleichungen:

Sinnlosigkeit: Das Konzept ist ohne eine formale Spezifikation der Typografie (wie Symbole gerendert werden) und der Abbildung von Zeichenketten auf geometrische Mengen unpräzise definiert.
Trivialität: Ohne Einschränkungen auf die Klasse der zulässigen Funktionen ist das Problem trivial. Man kann einfach eine Funktion $F$ definieren, die überall dort den Wert 1 annimmt, wo die Menge der Punkte der grafischen Darstellung der Gleichungszeichenkette liegt, und andernfalls 0, wodurch der Graph konstruktionsbedingt identisch mit dem Bild ist.

Um diese Probleme zu lösen, formalisiert das Paper das Problem unter Verwendung von Konzepten der Berechenbarkeitstheorie und zielt darauf ab, hinreichende Bedingungen zu finden, unter denen eine selbstgraphisierende Gleichung für jede gültige Formalisierung von Gleichungen und Typografie garantiert existiert.

Methodik und Formalisierung
Das Paper führt einen rigorosen Rahmen ein, der als glyphische Idee von Gleichungen bezeichnet wird, definiert als ein Tripel $(A, Gr, Gl)$ :

$A$ (Alphabet): Eine endliche Menge von Symbolen.
$Gr$ (Graphing-Funktion): Eine Funktion, die Zeichenketten $\sigma \in A^*$ auf Teilmengen von $\mathbb{R}^2$ abbildet, was die geometrische Grafik der Gleichung darstellt.
$Gl$ (Glyphen-Funktion): Eine Funktion, die einzelne Symbole $x \in A$ auf Teilmengen von $\mathbb{R}^2$ abbildet (die visuelle Darstellung des Zeichens). Diese wird auf Zeichenketten erweitert, indem die Glyphen der einzelnen Zeichen mit einer Einheitseinheit Abstand verkettet werden.

Eine selbstgraphisierende Gleichung ist eine Zeichenkette $\sigma \in A^*$ , für die gilt: $Gr(\sigma) = Gl(\sigma)$ .

Die Kernmethodik stützt sich auf die Berechenbarkeitstheorie, insbesondere auf den Fixpunktsatz (auch bekannt als Rekursionssatz). Der Autor definiert eine Eigenschaft namens Selbstbeschränkung (self-constraint) für eine glyphische Idee von Gleichungen. Ein System ist selbstbeschränkt, wenn es eine Gödelisierung von Zeichenketten und eine totale berechenbare Funktion $f: \mathbb{N} \to \mathbb{N}$ gibt, sodass für jede berechenbare Funktion $\phi_n$ , falls $\phi_n(0)$ den Code einer Zeichenkette $\tau$ ausgibt, $f(n)$ den Code einer Zeichenkette $\sigma$ ausgibt, deren Graph $Gr(\sigma)$ exakt das Glyph-Bild $Gl(\tau)$ ist. Intuitiv ist $f$ ein Algorithmus, der die Beschreibung eines beliebigen Bildes (kodiert als Zeichenkette) nehmen und eine Gleichung konstruieren kann, die genau dieses spezifische Bild graphisch darstellt.

Zentrale Ergebnisse
Das zentrale Theorem (Theorem 10) stellt fest, dass Selbstbeschränkung eine hinreichende Bedingung für die Existenz einer selbstgraphisierenden Gleichung ist.

Beweisskizze: Gegeben sei ein selbstbeschränktes System mit der Funktion $f$ . Der Autor konstruiert eine totale berechenbare Funktion $g$ so, dass $\phi_{g(n)}(0) = f(n)$ . Durch den Rekursionssatz existiert ein Index $n$ mit $\phi_n = \phi_{g(n)}$ . Folglich gilt $\phi_n(0) = f(n)$ . Sei $\tau$ die durch $\phi_n(0)$ kodierte Zeichenkette und $\sigma$ die durch $f(n)$ kodierte Zeichenkette. Nach der Definition der Selbstbeschränkung gilt $Gr(\sigma) = Gl(\tau)$ . Da $\phi_n(0) = f(n)$ gilt, folgt $\sigma = \tau$ . Daher gilt $Gr(\sigma) = Gl(\sigma)$ , womit bewiesen ist, dass $\sigma$ eine selbstgraphisierende Gleichung ist.

Konkretes Beispiel
Um zu demonstrieren, dass Selbstbeschränkung nicht bloß eine theoretische Abstraktion ist, konstruiert das Paper eine spezifische glyphische Idee von Gleichungen unter Verwendung eines Standardalphabets (Buchstaben, Ziffern, Operatoren und Symbole für unendliche Produkte $\Pi$ ).

Das System erlaubt die Kodierung logischer Aussagen (einschließlich unbeschränkter Existenzquantoren $\exists$ ) in Gleichungen unter Verwendung unendlicher Produkte.
Der Autor zeigt, dass die Bedingung „ein Punkt $(x,y)$ ist in der Glyphe einer Zeichenkette $\tau$ enthalten“ als logische Formel ausgedrückt werden kann, die das Halteverhalten von Turingmaschinen und Pixeldefinitionen beinhaltet.
Unter Nutzung der Abgeschlossenheitseigenschaften des Systems (speziell der Fähigkeit, logische Konjunktion, Disjunktion, Negation und Quantifizierung via unendlicher Produkte auszudrücken) zeigt das Paper, dass diese logische Formel in eine Gleichung $E=0$ unter Verwendung nur der erlaubten Symbole umgewandelt werden kann.
Diese Konstruktion beweist, dass das System selbstbeschränkt ist, wodurch die Existenz einer selbstgraphisierenden Gleichung innerhalb dieses spezifischen Formalismus garantiert wird.

Bedeutung und Ansprüche
Das Paper beansprucht, eine allgemeine Lösung für das Problem der selbstgraphisierenden Gleichungen zu liefern, indem es den Fokus von spezifischen typografischen Entscheidungen auf die strukturellen Eigenschaften des Gleichungssystems verlagert.

Lösung der Mängel: Durch die Formalisierung des Problems eliminiert das Paper die Probleme der Sinnlosigkeit und Trivialität. Es zeigt, dass selbstgraphisierende Gleichungen nicht von einer spezifischen Schriftart oder einem „Trick“-Funktion abhängen, sondern eine Konsequenz der Fähigkeit des Systems sind, seine eigene Syntax und Semantik zu kodieren (Selbstbeschränkung).
Verbindung zur Berechenbarkeit: Die Arbeit zieht eine Parallele zwischen selbstgraphisierenden Gleichungen und Quines (selbstreplizierenden Computerprogrammen) und nutzt denselben Rekursionssatz, der auch die Existenz von Quines beweist.
Generalität: Die Ergebnisse werden als hinreichende Bedingungen präsentiert. Jedes System von Gleichungen und Typografie, das die Definition der Selbstbeschränkung erfüllt, besitzt garantiert eine selbstgraphisierende Gleichung. Das Paper behauptet nicht, eine spezifische, menschenlesbare Gleichung für eine Standard-Schriftart zu produzieren, sondern beweist vielmehr, dass eine solche Gleichung innerhalb jedes Systems existiert, das in der Lage ist, die notwendige logische Maschinerie (speziell die Fähigkeit, unbeschränkte Quantoren auszudrücken) zu kodieren.

Technisches Resümee: Selbstgraphisierende Gleichungen

Mehr davon