Die Quelle der Mathematik

Du liest diese Wörter in einer Reihenfolge. Erstes, zweites, drittes. Du verfolgst, was vor was kam, welcher Satzteil welchen bestimmt. Du kannst nicht damit aufhören, ohne aufzuhören zu lesen.

Dieses Verfolgen ist Mathematik in ihrer frühesten Form. Abfolge. Nachfolge. Vorher und nachher. Drei Äpfel zu zählen heißt, einen zu unterscheiden, dann einen weiteren, dann noch einen, und aufzuhören.

Versuche, es zu leugnen. Die Leugnung ist eine Abfolge von Wörtern, die eine Abfolge von Unterscheidungen festhält. Es gibt keinen Standpunkt, von dem aus Mathematik geleugnet werden kann, ohne sie zu benutzen.

Zwei Gefäße auf einem Tisch. Das Korn ist in das linke gefallen. S, B, R, C, in einem Bild.

Von diesen vieren aus ist der Boden der Mathematik sichtbar.

Logik ergibt sich daraus, dass der Bruch binär ist. Algebra ergibt sich daraus, dass Einträge sich zusammensetzen. Geometrie ergibt sich aus begrenzter Ausbreitung. Mengen und Zählen ergeben sich daraus, dass die Symmetrie an vielen Orten zugleich verfügbar ist. Die Schritte stehen nicht auf dieser Seite. Sie stehen im Original, Kapitel zwei, und in den formalen Arbeiten an der Wand. Prüfe sie dort.

Keine der vier wirkt allein. Jeder Zweig benennt die Bedingung, die die charakteristische Arbeit leistet.

Das ist die Auflösung, die verdient werden muss.

Die Pythagoreer fanden, dass harmonische Saiten in kleinen ganzzahligen Verhältnissen standen. Eine Relation in der Welt entsprach einer Relation im Geist. Sie schlossen, die Zahl sei die Substanz der Dinge. Die Entdeckung war real. Der Schluss war ein Rahmen, und er hielt sich zweitausend Jahre.

Die Infinitesimalrechnung beschrieb Planeten, Flüssigkeiten und abkühlende Körper auf so viele Dezimalstellen, wie Instrumente ablesen konnten. 1960 fragte Wigner, warum die Mathematik so unvernünftig wirksam sei. Die Wirksamkeit war eine Tatsache. Die Unvernünftigkeit war ein Geständnis.

Platonismus. Zahlen sind real, in einem eigenen Reich. Er erfasst die Universalität und das Gefühl, dass Theoreme gefunden werden. Er importiert ein zweites Reich, ohne Rechenschaft darüber, wo es ist.

Formalismus. Symbole, nach Regeln bewegt, über nichts. Er erfasst die Disziplin des Beweises. Er kann nicht sagen, warum ein Spiel, das nie etwas verfolgen sollte, den Kometen verfolgt.

Logizismus. Mathematik ist verkleidete Logik. Er konnte nicht alles zurückführen und ließ die Logik unerklärt. Das Problem rückte einen Schritt weiter.

Intuitionismus. Mathematik wird konstruiert. Richtig, dass sie etwas Getanes ist. Falsch darin, wo. Das Konstruieren ist das, was Einträge tun. Der Geist ist ein Ort, an dem es sich selbst liest.

Fiktionalismus. Nützliche Fiktionen. Er kann nicht sagen, warum Kraft gleich Masse mal Beschleunigung eine Fiktion ist, ohne die die Physik nicht auskommt, und Sherlock Holmes eine, die sie nicht braucht.

Fünf Erfassungen. Keine auf der Ebene, auf der die Struktur lebt.

Das Rätsel hat zwei Gesichter, und sie zu vermengen hielt es offen.

Was ist Mathematik? Was für ein Ding ist eine Zahl?

Warum funktioniert sie? Warum sagt der Schnörkel den Kometen voraus?

Jede Lesart beantwortet ein Gesicht. Die Auflösung beantwortet beide zugleich.

Mathematik ist das relationale Lesen von Einträgen. Die Sprache, die Einträge hervorbringen, wenn ihre strukturellen Relationen auf der Ebene gelesen werden, auf der diese Relationen sichtbar sind. Das ist es, was sie ist. Und sie funktioniert, weil Einträge die Struktur haben, die sie haben, und weil das Lesen dieser Struktur das ist, was die Sprache tut.

Eine Relation zwischen Einträgen ist eine Tatsache darüber, wie sie zueinander stehen. Welcher zuerst kam. Welcher aus welchem zusammengesetzt ist. Welcher welchen einschränkt. Relationen werden Einträgen nicht hinzugefügt. Sie sind das, was Einträge, zusammengenommen, sind.

Die Zeichen auf der Seite eines Mathematikers sind Einträge. Was sie zu Mathematik statt zu Gekritzel macht, ist, dass die Relationen zwischen ihnen die Relationen zwischen anderen Einträgen spiegeln. Die Spiegelung ist kein Zufall. Sie ist das, was relationales Lesen tut — die Relationen, die eine Menge von Einträgen hat, zurückgewinnen, indem man sie über eine andere Menge schreibt, deren Relationen sich untersuchen lassen.

Manchmal komprimiert das. Manchmal nicht — eine kategorientheoretische Aussage kann länger sein als das, wovon sie abstrahiert. Immer relational.

Kein Reich. Kein Spiel. Keine Fiktion. Wie die Relationen zwischen Einträgen aussehen, wenn sie gelesen werden.

Der Bruch ist binär. Das Korn ist im linken Gefäß oder nicht. Kein Halbzustand.

Wahr und falsch sind die Lesart einer festgelegten Unterscheidung auf der Ebene der Aussagen. P oder nicht-P ist das, was der Bruch ist, benannt auf der Ebene der Aussagen. Nicht zugleich P und nicht-P ist dieselbe Tatsache von der anderen Seite. Ausgeschlossenes Drittes und Nichtwiderspruch sind keine Setzungen. Sie sind der binäre Bruch, festgehalten.

Mehrwertige, Fuzzy-, intuitionistische, probabilistische Logiken existieren alle. Sie sind keine Gegenbeispiele. Sie sind Regelwerke oberhalb des Bodens. Grade sind feinere Unterscheidungen. Ein konstruktiver Beweis ist eine Kette von Unterscheidungen. Es gibt keine Logik ohne Unterscheidung und keine Unterscheidung ohne Bruch. Die reicheren Logiken erweitern den Boden. Sie entfernen ihn nicht. Die vollständige Herleitung steht in den formalen Arbeiten.

Das Korn landete. Wasser wurde verdrängt. Der Schwerpunkt des Gefäßes verschob sich. Drei Einträge aus einem Ereignis. Zwei beliebige ergeben ein Kompositum. Alle drei ergeben einen Eintrag des Ganzen.

Wo die Zusammensetzung unabhängig von der Klammerung dieselbe ist, ist die Operation assoziativ. R stützt das überall dort, wo die Geschichte des Zusammenbaus nicht selbst Teil dessen ist, was untersucht wird.

Aus assoziativer Zusammensetzung ergeben sich die algebraischen Strukturen in Schichten. Ein Monoid: assoziative Zusammensetzung mit einem neutralen Element. Eine Gruppe: Jedes Element hat ein Inverses. Ein Ring: zwei Zusammensetzungen, verbunden durch Distributivität. Ein Körper: Multiplikation invertierbar. Jede fragt, welche Art von Einträgen zusammengesetzt wird und was ihre Zusammensetzungen erfüllen.

Nicht-assoziative Strukturen — Lie-Algebren, Oktonionen — sind Fälle, in denen die Klammerung selbst ein Eintragsmerkmal ist. Und ein formales Inverses ist kein Ungeschriebenmachen von R. Es sagt, was ein Symbol innerhalb des Systems zur Identität zurückführt, nicht, dass Geschichte rückgängig gemacht wurde. Das System kann Inverse tragen, weil der Eintrag der Operation erhalten bleibt.

Das Korn landete. Eine Welle breitete sich vom Aufschlagpunkt aus, mit der Rate, die das Wasser zuließ, nicht überall zugleich.

Das ist Geometrie im Kleinen. Ein Kreis ist das, was begrenzte Ausbreitung von einem Punkt aus ist. Ein Radius ist Rate mal Zeit. Eine Metrik ist das, was C hervorbringt, wenn es sich über ein Intervall ausgebreitet hat.

Begrenzte Ausbreitung ergibt Nachbarschaft — welche Stellen nah sind. Kommen Rate, Skala und Invarianz hinzu, ergibt sie eine Metrik — wie nah. Variiert die Metrik über das Substrat, ergibt sie Krümmung.

Euklidische Geometrie ist C bei niedriger Auflösung, wo die Krümmung klein genug ist, um sie zu vernachlässigen. Riemannsche und Lorentzsche Geometrie sind C, wo die Krümmung zählt. Topologie ist C, gelesen, wo nur der Zusammenhang zählt. Einsteins Gleichungen und die Dimensionalität gehören in die formalen Arbeiten. Was hier installiert wird, ist die Quelle. Geometrie ist, was C ist, benannt dort, wo seine Konsequenzen sichtbar sind.

Stell mehr Einmachgläser auf den Tisch. Jedes ist eine Stelle, an der ein Korn gefallen sein kann oder nicht, jedes von den anderen unterscheidbar. S macht das an allen Stellen zugleich möglich.

Eine Menge ist eine Sammlung unterscheidbarer Einträge und ist selbst ein Eintrag darüber, welche Einträge zusammengehören. Zählen ordnet die Elemente paarweise den Zahlen zu — ein Korn neben dem ersten Einmachglas, zwei neben dem zweiten, bis das Auslegen aufhört. Es funktioniert, weil S jedes Element unterscheidbar macht und R das Auslegen fortbestehen lässt.

Null ist der ungebrochene Zustand innerhalb eines Bereichs, der zum Zählen verfügbar ist — nicht Ø, der Vorzustand vor jeder Konfiguration. Eins ist eine eingetragene Überquerung. n ist n eingetragene Überquerungen unter einer Nachfolgervorschrift. Der Bruch ist eins; jedes Korn, das den Hals überquert, schreibt einen Eintrag. Die Peano-Axiome sind diese Iteration, niedergeschrieben. Das Transfinite ist eine Vorschrift oberhalb des Bodens.

Ein Schiff bewegt sich auf einem Ozean.

Das Schiff ist das Jetzt — der Aktualisierungszustand, die Kante, an der die nächste Unterscheidung getroffen wird. Kein Ding zusätzlich zu den Einträgen. Die aktive Kante des Schreibens. Ein Schiff, überall, wo Kopplung geschieht. Es bewegt sich vorwärts. Das ist alles, was es tut.

Hinter ihm ein Kielwasser. Das Kielwasser ist die Eintragsgeschichte. Lies es, und du gewinnst zurück, wo das Schiff gewesen ist, wie schnell, in welche Richtung es gedreht hat.

Das Kielwasser ist nicht das Schiff. Das ist die tragende Unterscheidung. Messung empfängt das Kielwasser — was bereits festgeschrieben ist. Von jedem Punkt mit Zugang zum Kielwasser aus ist das Schiff bereits weitergefahren. Das Kielwasser ist gestern. Das Jetzt ist nicht im Kielwasser.

Unter beiden der Ozean. Er empfängt das Kielwasser, während das Kielwasser verblasst, und wird zum Substrat, durch das sich das nächste Schiff bewegt. Verblassen ist kein Ungeschriebenmachen. Das Muster löst sich als wiederherstellbare Form auf; die Tatsache, dass das Schiff vorbeifuhr, bleibt im Gesamteintrag. Der Ozean ist Ø — der Vorzustand, durch den sich jedes Schiff bewegt und zu dem jedes Kielwasser zurückkehrt.

Mathematik ist die Sprache des Kielwassers.

Jedes Schiff in tiefem Wasser hinterlässt einen Keil mit einem Halbwinkel knapp unter zwanzig Grad. Ein Ruderboot. Ein Tanker. Ein Schwan. Warum ein Winkel? C — Wellen laufen mit endlicher Geschwindigkeit und fallen zurück. Warum dieser Winkel? Geometrie — die Geschwindigkeit des Schiffs gegen die Geschwindigkeiten von Wellen unterschiedlicher Länge. Die Mathematik beschreibt, was C tut. Das Kielwasser zeigt es im Wasser.

Der Platonismus fügt ein viertes Ding hinzu. Über dem Ozean ein ideales Schiff, das das wirkliche Schiff zu kopieren strebt.

Es gibt kein ideales Schiff. Das Schiff ist das Aktualisieren. Es gibt nirgendwo anders ein stärker aktualisiertes Schiff. Das Kielwasser ist R, keine verschlechterte Kopie eines reineren Eintrags. Der Ozean ist das Substrat, keine Annäherung an ein ideales.

Der Platoniker sah die Universalität und griff, zu Recht, nach etwas mehr als dem einzelnen Eintrag. Er setzte es an den falschen Ort. Die Relationen, die Einträge haben, sind real, universal, unabhängig von jeder einzelnen Instanz — und sie sind in den Einträgen, gelesen auf der Ebene, auf der Relationen sichtbar sind.

Drei. Nicht vier.

Einträge sind Konfigurationen von Ø. Ein Photon. Ein Elektron. Ein Planet. Ein Satz. Ein Moment der Aufmerksamkeit. Dasselbe Substrat, an verschiedenen Stellen verschieden unterschieden.

Was die Konfigurationen über das Substrat hinaus teilen, sind die Relationen, die das Axiom zwischen ihnen zulässt. Erhaltung. Ausbreitung. Zusammensetzung. Unterscheidung.

Mathematik ist die Sprache, um das Leben von Ø in seinen vielen Konfigurationen zu beschreiben.

Das schließt Wigners Frage. Die Wirksamkeit war nur unter der Annahme unvernünftig, dass Mathematik eine menschliche Erfindung sei, die zufällig auf eine nicht-mathematische Welt passte. Mathematik ist keine Erfindung. Sie ist ein Lesen. Die Welt ist eine Konfiguration von Einträgen, Einträge haben Struktur, und Struktur ist, was Mathematik beschreibt.

Es gibt keine Übereinstimmung zu erklären. Eine Struktur, auf zwei Ebenen gelesen.

Das Kind zählt drei. Die Zählung ist richtig. Kein Zufall zwischen einer geistigen Operation und einer physikalischen Tatsache — eine strukturelle Relation zwischen drei unterscheidbaren Einträgen und der Zählung, die sie liest, ausgeführt von einer Architektur, die die Relation registrieren kann.

Die Architektur ist selbst ein Eintrag. Das Nervensystem des Kindes. Das Auge, das die Äpfel absucht. Einträge, die Einträge lesen, in der Sprache, die Einträge hervorbringen.

Du bist das Korn, und du bist die Architektur, die das Korn liest. Beides zugleich.

Wir haben die Mathematik nicht erfunden. Wir lesen sie an der Struktur ab, aus der wir gemacht sind. Das Lesen funktioniert, weil wir die Struktur sind, die das Lesen ausführt.

Die formalen Herleitungen der Logik und der Peano-Axiome stehen in den formalen Arbeiten. Das Kapitel zeigt den Weg.

Unendlichkeit, die Kontinuumshypothese, große Kardinalzahlen sind Vorschriften über unbeschränkte Iteration, anderswo behandelt. Die Kategorientheorie liest Relationen zwischen Eintragsarchitekturen; die Erweiterung ist sauber und wird hier nicht durchgearbeitet.

Unvollständigkeit. Lesen bei hinreichender Reichhaltigkeit erzeugt Einträge über das Lesen, und Selbstbezug auf dieser Ebene erzeugt genau Gödels Grenzen. Die Sprache, die Einträge hervorbringen, muss nicht vollständig sein.