Das formale System als gerichteter Graph
Ein formales axiomatisches System definiert einen gerichteten Graphen:
- Knotenpunkte: alle wohlgeformten Formeln, die aus den Symbolen des Systems konstruiert werden
- Kanten: Schritt der Folgerung — eine Formel folgt anderen durch eine Regel der Folgerung
- Axiome: ausgezeichnete Quellknotenpunkte mit keinem einkehrenden Kanten
- Theoreme: alle Knotenpunkte, die von der Axiomenset erreicht werden können
Ein Beweis eines Theorems T: ein gerichteter Weg vom Axiomenset zu T. Der Beweis ist eine Folge von Knotenpunkten A₁, A₂, ..., Aₙ = T, wobei jeder Schritt gemäß einer Folgerungsregel erfolgt.
Zwei grundlegende Eigenschaften eines formellen Systems, geometrisch ausgedrückt:
Widerspruchsfreiheit: keine Formel F und ihre Negation ¬F sind beide vom Axiomenset erreichbar. Geometrisch: Die Theoremknotenpunkte F und ¬F sind nicht beide erreichbar. Es existiert kein 'Explosionsweg'.
Vollständigkeit: jede Formel F oder ¬F ist ein Theorem (erreichbar). Geometrisch: Das Graph ist stark verbunden, was bedeutet, dass für jeden Knotenpunkt F, mindestens eine von F oder ¬F einen Weg vom Axiomenset hat.
Gödels Unvollständigkeit als geometrische Eigenschaft
Kurt Gödel bewies 1931, dass jedes konsistente formelle System, das grundlegende Arithmetik ausdrücken kann, unvollständig ist: Es gibt Formeln G, für die weder G noch ¬G beweisbar sind.
Geometrisch: In jedem ausreichend reichen konsistenten formellen System gibt es Knotenpunkte im Formel-Graph, die vom Axiomenset nicht erreichbar sind — weder der Knotenpunkt G noch der Knotenpunkt ¬G hat einen Weg vom Axiomenset.
Gödels Konstruktion: Er kodierte eine Formel G, die im Wesentlichen sagt: 'Ich bin nicht beweisbar.' Wenn G beweisbar wäre, wäre das System inkonsistent (eine wahrhafte Aussage sagt aus, dass sie nicht beweisbar ist). Wenn ¬G beweisbar wäre, wäre das System inkonsistent (G wäre falsch, aber das System beweist sie). Daher ist weder G noch ¬G beweisbar — G ist ein nicht erreichbarer Knotenpunkt in einem konsistenten System.
Die Unvollständigkeit ist kein Mangel der gewählten Axiome: Gödel zeigte, dass es eine strukturelle Eigenschaft von jedem konsistenten Systems ist, das ausreichend ausdrucksstark für die Arithmetik ist. Die nicht erreichbaren Knoten können Sie nicht entfernen, indem Sie mehr Axiome hinzufügen, ohne neue zu generieren.
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 unter ihnen gegeben ist.
Überlegen Sie die natürlichen Zahlen ℕ = {0, 1, 2, 3, ...}. Die Teilerbeziehung definiert eine Ordnung: m teilt n, wenn m | n. Diese Ordnung definiert eine Geometrie - das Hasse-Diagramm der Teilerlattiz.
Jedes Primzahl sitzt in einer minimalen Position über 1. Jede zusammengesetzte Zahl sitzt über ihren Primfaktoren. Die Struktur dieses Raumes kodiert die gesamte Zahlentheorie.
Was macht das platonisch: Die Struktur existiert, unabhängig davon, ob jemand sie untersucht. Der Umstand, dass 7 eine Primzahl ist - dass 7 keine Teiler zwischen 1 und 7 hat - ist eine Tatsache über die Position von 7 in der Teilerlattiz, unabhängig von Notation, Kultur oder Zivilisation.
Jede Zivilisation, die Zählung und Teilerforschung untersucht, wird denselben Aufbau finden. Die Geometrie des Zahlensystems ist universell.
Navigieren im Teilbarkeitsgerüst
Im Teilbarkeitsgerüst entspricht das kleinste gemeinsame Vielfache (lcm) zweier Zahlen ihrem Verknüpfungspunkt (niedrigster oberer Grenzwert) und das größte gemeinsame Vielfache (gcd) ihrem Begegnungspunkt (größter unterer Grenzwert).
Der gcd kann über den euklidischen Algorithmus berechnet werden: gcd(a, b) = gcd(b, a mod b), was bis zum Erreichen von b = 0 fortgesetzt wird.
Was Abstraktion Wegnimmt
Geometrische Abstraktion: Projektion eines hochdimensionalen Objekts auf ein niedrigdimensionales Unterraum. Die Projektion verliert Informationen (Koordinaten, die nicht im Unterraum liegen), aber sie behält die Unterraumstruktur perfekt bei.
Mathematische Abstraktion funktioniert genauso. Eine Gruppe ist eine Menge mit einer binären Operation, die vier Axiome erfüllt. Die Abstraktion auf Gruppenstruktur nimmt die spezifischen Elemente, die spezifische Rechenregel der Operation und jede zusätzliche Struktur (Ordnung, Metrik, Topologie) weg. Was bleibt: das vier-Axiom-Gerüst.
Der Gewinn: Jede Aussage über Gruppen gilt für ALLE Gruppen - Zahlen unter Addition, Drehungen unter Zusammensetzung, Permutationen unter Zusammensetzung, Symmetrien eines Moleküls, Galoisgruppen von Gleichungssystemen - gleichzeitig. Die abstrakte Aussage ist ein Mal beweisbar; ihre Instanzen sind kostenlos.
Das ist der Grund, warum rein mathematische Forscher dagegen sind, domänen-spezifische Annahmen hinzuzufügen: Jede hinzugefügte Annahme beschränkt die Anwendbarkeit eines Satzes. Ein Satz über Körper (Multiplikative Inverse hinzufügen) gilt für weniger Strukturen als ein Satz über Ringe (keine Multiplikative Inverse erforderlich).
Das Gleichnis von Genauigkeit und Allgemeinheit
Es gibt ein Gleichnis: Je abstrakter ein Satz ist, desto breiter ist seine Anwendung, sagt aber weniger über spezifische Fälle. Ein Satz über Vektorräume über einen Körper sagt weniger über ℝ^n als ein Satz, der speziell über ℝ^n (wo Entfernung und Winkel definiert sind) gesagt wird.
Hamming's implizierter Regel: so abstrakt wie möglich, aber die Eigenschaften, die du brauchst, behalten. Zu weit abstrahieren und deine Sätze werden leer allgemein sein ('Jede Menge mit jeder Operation erfüllt...'). Zu wenig abstrahieren und deine Sätze funktionieren nicht für neue Anwendungen.