Das formale System als gerichteter Graph
Ein formales axiomatisches System definiert einen gerichteten Graphen:
- Knoten: alle wohlgeformten Formeln, die aus den Symbolen des Systems konstruierbar sind
- Kanten: Inferenzschritte — eine Formel folgt aus anderen durch eine Inferenzregel
- Axiome: ausgezeichnete Quellknoten ohne eingehende Kanten
- Theoreme: alle Knoten, die vom Axiomensatz erreichbar sind
Ein Beweis des Theorems T: ein gerichteter Pfad vom Axiomensatz zu T. Der Beweis ist eine Folge von Knoten A₁, A₂, ..., Aₙ = T, wobei jeder Schritt einer Inferenzregel folgt.
Zwei fundamentale Eigenschaften eines formalen Systems, geometrisch ausgedrückt:
Konsistenz: keine Formel F und ihre Negation ¬F sind beide vom Axiomensatz erreichbar. Geometrisch: der Theoremknoten F und der Theoremknoten ¬F sind nicht beide erreichbar. Es gibt keinen »Explosions«-Pfad.
Vollständigkeit: jede Formel F oder ¬F ist ein Theorem (erreichbar). Geometrisch: der Graph ist stark zusammenhängend in dem Sinne, dass für jeden Knoten F mindestens einer von F oder ¬F einen Pfad vom Axiomensatz hat.
Gödel-Unvollständigkeit als geometrische Eigenschaft
Kurt Gödel bewies 1931, dass jedes konsistente formale System, das mächtig genug ist, um grundlegende Arithmetik auszudrücken, unvollständig ist: es gibt Formeln G, sodass weder G noch ¬G beweisbar sind.
Geometrisch: In jedem hinreichend reichen konsistenten formalen System gibt es Knoten im Formelgraph, die vom Axiomensatz nicht erreichbar sind — weder der Knoten G noch der Knoten ¬G hat einen Pfad vom Axiomensatz.
Gödels Konstruktion: er kodierte eine Formel G, die im Wesentlichen »Ich bin nicht beweisbar« sagt. Wenn G beweisbar wäre, wäre das System inkonsistent (eine wahre Aussage sagt, dass sie nicht beweisbar ist). Wenn ¬G beweisbar wäre, wäre das System inkonsistent (G wäre falsch, aber das System beweist sie). Also ist weder G noch ¬G beweisbar — G ist ein unerreichbarer Knoten in einem konsistenten System.
Die Unvollständigkeit ist kein Defekt der gewählten Axiome: Gödel zeigte, dass es eine strukturelle Eigenschaft jedes konsistenten Systems ist, das ausdrucksstark genug für Arithmetik ist. Die unerreichbaren Knoten können nicht entfernt werden, indem mehr Axiome hinzugefügt werden, ohne neue zu erzeugen.
Mathematische Objekte als Punkte in einem Raum
Die platonische Sicht der Mathematik kann geometrisch formalisiert werden: mathematische Objekte bewohnen einen abstrakten Raum, dessen Punkte die Objekte selbst sind und dessen Struktur durch die Beziehungen zwischen ihnen gegeben ist.
Betrachte die natürlichen Zahlen ℕ = {0, 1, 2, 3, ...}. Die Teilbarkeitsrelation definiert eine Partialordnung: m teilt n gdw. m | n. Diese Partialordnung definiert eine Geometrie — das Hasse-Diagramm des Teilbarkeitsgitters.
Jede Primzahl sitzt an einer minimalen Position über 1. Jede zusammengesetzte Zahl sitzt über ihren Primfaktoren. Die Struktur dieses Raums kodiert alle Zahlentheorie.
Was dies platonisch macht: die Struktur existiert, ob ein Verstand sie studiert oder nicht. Die Tatsache, dass 7 Primzahl ist — dass 7 keine Teiler zwischen 1 und 7 hat — ist eine Tatsache über die Position von 7 im Teilbarkeitsgitter, unabhängig von Notation, Kultur oder Zivilisation.
Jede Zivilisation, die Zählen und Teilbarkeit untersucht, wird die gleiche Struktur entdecken. Die Geometrie des Zahlensystems ist universell.
Navigation durch das Teilbarkeitsgitter
Im Teilbarkeitsgitter entspricht das kleinste gemeinsame Vielfache (kgV) zweier Zahlen ihrem join (kleinste obere Schranke) und der größte gemeinsame Teiler (ggT) entspricht ihrem meet (größte untere Schranke).
Der ggT kann durch den Euklidischen Algorithmus berechnet werden: ggT(a, b) = ggT(b, a mod b), endet wenn b = 0.
Was Abstraktion wegnimmt
Geometrische Abstraktion: Projektion eines hochdimensionalen Objekts auf einen niederdimensionalen Unterraum. Die Projektion verliert Information (Koordinaten nicht im Unterraum), behält aber die Unterraumstruktur perfekt bei.
Mathematische Abstraktion funktioniert genauso. Eine Gruppe ist eine Menge mit einer binären Operation, die vier Axiome erfüllt. Abstraktion zur Gruppenstruktur nimmt weg: die spezifischen Elemente, die Berechnungsregel der spezifischen Operation, jede zusätzliche Struktur (Ordnung, Metrik, Topologie). Was bleibt: das Vier-Axiom-Skelett.
Der Nutzen: jedes Theorem über Gruppen gilt für ALLE Gruppen — Ganzzahlen unter Addition, Rotationen unter Komposition, Permutationen unter Komposition, Symmetrien eines Moleküls, Galois-Gruppen von Polynomgleichungen — gleichzeitig. Das abstrakte Theorem ist einmal beweisbar; seine Instanzen sind kostenlos.
Deshalb widerstehen reine Mathematiker dem Hinzufügen domänenspezifischer Annahmen: jede hinzugefügte Annahme schränkt die Anwendbarkeit des Theorems ein. Ein Theorem über Körper (mit multiplikativem Inversum) gilt für weniger Strukturen als ein Theorem über Ringe (kein multiplikatives Inversum erforderlich).
Der Präzisions-Allgemeinheit-Kompromiss
Es gibt einen Kompromiss: abstraktere Theoreme gelten breiter, sagen aber weniger über spezifische Instanzen aus. Ein Theorem über Vektorräume über einem Körper sagt weniger über ℝ^n aus als ein Theorem speziell über ℝ^n (wo Distanz und Winkel definiert sind).
Hammings implizierte Regel: abstrahiere soweit wie möglich, während du die Eigenschaften beibehältst, die du brauchst. Abstrahiere zu weit und deine Theoreme werden leer allgemein (»jede Menge mit jeder Operation erfüllt...«). Abstrahiere zu wenig und deine Theoreme können nicht auf neue Anwendungen übertragen werden.