🔢 mathematics

A Foundation for the Core Mathematician

Dieser Artikel schlägt eine neue axiomatische Grundlage und ein definitives Modell für die Kernmathematik auf Basis der reellen Zahlen vor, um die Undeterminiertheit der traditionellen Mengenlehre zu beheben, indem jeder Aussage der Kernmathematik ein eindeutiger Wahrheitswert zugewiesen wird.

Ursprüngliche Autoren: David Mumford, Sy-David Friedman

Veröffentlicht 2026-05-06

📖 6 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: David Mumford, Sy-David Friedman

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 Mathematik als einen massiven, hoch aufragenden Wolkenkratzer vor. Seit Jahrzehnten sind die meisten Mathematiker der Ansicht, dass das Fundament dieses Gebäudes ein spezifischer Satz von Regeln namens ZFC (Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom) ist. Sie glauben, dieses Fundament sei stabil genug, um jede Etage zu tragen, vom Keller der einfachen Zahlen bis zum Penthouse der komplexen Theorien.

Die Autoren dieses Papiers, David Mumford und Sy-David Friedman, argumentieren jedoch, dass ZFC zwar für das „Penthouse" funktioniert, für das „Erdgeschoss" – den Teil der Mathematik, der sich mit reellen Zahlen, Zeit, Raum und der physischen Welt befasst – jedoch etwas wackelig ist und voller seltsamer, unerklärlicher Eigenarten steckt. Sie schlagen ein neues, stabileres Fundament vor, das speziell für den „Kernmathematiker" konzipiert ist, der mit der realen Welt arbeitet.

Hier ist die Aufschlüsselung ihrer Argumentation unter Verwendung einfacher Analogien:

1. Das Problem: Das Fundament des „Zaubertricks"

Das aktuelle Fundament (ZFC) stützt sich stark auf eine Regel namens Auswahlaxiom. Stellen Sie sich dieses Axiom als eine magische Fähigkeit vor, ein Objekt aus einer unendlichen Anzahl von Kisten auszuwählen, selbst wenn Sie nicht hineinsehen oder beschreiben können, wie Sie ausgewählt haben.

Das Problem: Während dieser Zaubertrick Mathematikern hilft, Dinge über abstrakte, unendliche Strukturen zu beweisen, erzeugt er „Geister". Er ermöglicht die Existenz von Mengen, die so seltsam und chaotisch sind, dass sie keine Verbindung zur Realität haben (wie das Banach-Tarski-Paradoxon, bei dem man eine Kugel in Stücke schneiden und zu zwei Kugeln derselben Größe wieder zusammensetzen kann).
Das Ergebnis: Aufgrund dieser „Geister" können Mathematiker nicht zu 100 % sicher sein, dass jede Frage, die sie stellen, eine eindeutige „Wahr"-oder „Falsch"-Antwort hat. Das Fundament fühlt sich weniger wie ein solider Boden an, sondern mehr wie eine neblige Landschaft, in der an verschiedenen Orten unterschiedliche Regeln gelten.

2. Der Vorschlag: Ein Fundament basierend auf der Realität

Die Autoren schlagen vor, aufzuhören, ein Fundament für alles (einschließlich der Geister) zu bauen, und stattdessen ein Fundament speziell für den Kern der Mathematik zu errichten: die Reellen Zahlen ( $\mathbb{R}$ ), die ganzen Zahlen und die daraus aufgebauten Strukturen.

Sie schlagen drei Hauptsäulen für dieses neue Fundament vor:

Säule A: Die reale Welt ist real. Sie behandeln die Menge der reellen Zahlen (wie die Zahlen auf einem Lineal) als eine „gegebene" Tatsache, genau wie wir akzeptieren, dass wir Äpfel zählen können. Sie versuchen nicht, die reellen Zahlen von Grund auf zu konstruieren; sie sagen einfach: „Hier sind sie, sie existieren."
Säule B: Weg mit dem Zauber, behalte die Zufälligkeit. Sie lehnen das „Auswahlaxiom" ab, weil es diese seltsamen Geister erzeugt. Stattdessen übernehmen sie Freilings Axiom.
- Die Analogie: Stellen Sie sich zwei Personen vor, die in den Weltraum Pfeile auf ein Brett werfen. Wenn sie sie zur exakt gleichen Zeit von verschiedenen Planeten aus werfen (so dass kein Signal schnell genug zwischen ihnen reisen kann, um zu betrügen) und ihre Punkte völlig zufällig wählen, gibt es keine Möglichkeit, dass der Punkt eines Werfers auf dem des anderen „vorhersehbar" ist.
- Diese Intuition führt zu einer Regel, die besagt: „Wenn Sie zwei zufällige Zahlen wählen, sollten sie nicht in irgendeinem seltsamen, vorbestimmten Muster feststecken." Diese Regel eliminiert das „Auswahlaxiom" und die seltsamen Mengen, die es erzeugt, auf natürliche Weise.
Säule C: Stoppen Sie die unendliche Leiter. In der Standardmathematik können Sie unendlich weiter immer größere Unendlichkeiten aufbauen. Die Autoren sagen: „Stopp." Sie schlagen ein Modell vor, in dem wir nur so hoch gehen, wie nötig ist, um die reellen Zahlen und ihre Teilmengen zu handhaben, aber wir stoppen, bevor wir die „unweltlichen" Unendlichkeiten erreichen, die keine physikalische Bedeutung haben.

3. Die zwei Modelle: Das „Standard"- und das „Minimalistische" Modell

Das Papier beschreibt zwei Möglichkeiten, dieses neue Fundament zu visualisieren:

Modell 1: Das „Reale-Welt"-Modell. Dies ist eine Version der Mathematik, in der die reellen Zahlen genau das sind, was wir denken, dass sie sind. In dieser Welt verhält sich jede Menge reeller Zahlen ordentlich (sie sind alle „messbar", was bedeutet, dass man ihre Größe/Fläche ohne Paradoxa berechnen kann). Es ist eine saubere, logische Welt, in der jedes mathematische Problem eine eindeutige Antwort hat.
Modell 2: Das „Minimalistische" Modell. Dies ist ein ausgeklügelter Trick unter Verwendung eines Konzepts aus Physik und Logik. Stellen Sie sich ein winziges, abzählbares Universum vor, das glaubt, riesig zu sein. Innerhalb dieses winzigen Universums sehen die „reellen Zahlen" wie ein unendlicher, überabzählbarer Ozean aus. Aber von außen wissen wir, dass es eigentlich nur eine kleine, endliche Liste ist.
- Warum tun wir das? Dieses Modell ist „vollständig". In der Standardmathematik (ZFC) bewies Gödel, dass es immer Fragen gibt, die man nicht beantworten kann. In diesem minimalistischen Modell hat, da das Universum so streng kontrolliert ist, jede einzelne Frage eine eindeutige Antwort. Es ist wie ein Puzzle, bei dem jedes Teil perfekt passt und keine Teile fehlen.

4. Warum dies wichtig ist

Die Autoren versuchen nicht, die Arbeitsweise von Physikern oder Ingenieuren zu ändern. Sie bieten ein „saubereres" Betriebssystem für den Mathematiker an, der die Natur der Zahlen und Formen untersucht.

Der alte Weg: Verwendet einen leistungsstarken, aber unordentlichen Motor (ZFC), der manchmal „Geister" produziert und einige Fragen unbeantwortet lässt.
Der neue Weg: Verwendet einen spezialisierten Motor, der auf Zufälligkeit und Realität basiert. Er entfernt die Geister, stellt sicher, dass jede Menge von Zahlen eine klare Größe hat, und garantiert, dass jede mathematische Frage eine Wahr-oder-Falsch-Antwort hat.

Zusammenfassung

Stellen Sie sich das aktuelle Fundament der Mathematik als eine riesige, chaotische Bibliothek vor, in der einige Bücher mit unsichtbarer Tinte geschrieben sind und einige Regale in der Luft schweben. Mumford und Friedman sagen: „Bauen wir eine neue Bibliothek speziell für die Bücher, die wir tatsächlich lesen (die reellen Zahlen). Wir werden die unsichtbare Tinte (das Auswahlaxiom) und die schwebenden Regale (die seltsamen Unendlichkeiten) wegwerfen. In unserer neuen Bibliothek ist jedes Buch sichtbar, jedes Regal ist solide und jede Geschichte hat ein klares Ende."

Sie beweisen, dass es möglich ist, diese neue Bibliothek zu bauen, vorausgesetzt, wir akzeptieren einige vernünftige Annahmen über die Natur der Unendlichkeit, und sie bietet ein viel befriedigenderes Zuhause für den „Kern" der Mathematik.

Technisches Fazit: Eine Grundlage für den Kernmathematiker

Problemstellung
Die Autoren, David Mumford und Sy-David Friedman, argumentieren, dass die Standard-Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom (ZFC) eine unzureichende Grundlage für den „Kern" mathematischer Forschung darstellt. Obwohl ZFC weithin akzeptiert ist, behaupten die Autoren, dass es keine „fest und unveränderlich" Basis bietet, da es eine Vermehrung von Modellen zulässt (die „Multiversum"-Sichtweise) und sich auf das Auswahlaxiom (AC) in einer Weise stützt, die nicht-konstruktive, „unweltliche" Mengen erzeugt (z. B. durch das Banach-Tarski-Paradoxon oder nicht-messbare Mengen). Darüber hinaus wird der platonistische Glaube an ein einziges Universum von Mengen durch die Unabhängigkeit der Kontinuumshypothese und die Existenz großer Kardinalzahlagiome untergraben.

Die Arbeit geht davon aus, dass der „zentrale Kern" mathematischer Erfahrung die natürlichen Zahlen ( $\mathbb{N}$ ), die reellen Zahlen ( $\mathbb{R}$ ) und die daraus abgeleiteten Strukturen betrifft. Die Autoren suchen eine Grundlage, die:

$\mathbb{R}$ als gegebenes, „realweltliches" Objekt behandelt (eine platonistische Sichtweise, die spezifisch für $\mathbb{R}$ ist und nicht für beliebige Mengen).
Sicherstellt, dass alle Vermutungen in diesem Kern einen definitiven Wahrheitswert haben (ein einziges Modell).
Die durch überabzählbare Auswahl eingeführten Pathologien vermeidet, während sie genügend Stärke für die Standardanalysis beibehält.

Methodik und Axiomatischer Rahmen
Die Arbeit schlägt ein spezifisches axiomatisches System $T$ und zwei verschiedene Modelle vor, um es zu realisieren.

1. Die Axiome ( $T$ ):
Das vorgeschlagene System $T$ ist definiert als $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$ .

$ZF^-$ : Zermelo-Fraenkel-Mengenlehre ohne das Potenzmengenaxiom und ohne überabzählbare Auswahl. Sie umfasst Extensionalität, Fundierung, Paarung, Vereinigung, Unendlichkeit, Komprehension, Sammlung und Ersetzung.
Gegebenes $\mathbb{R}$ : Die Menge der reellen Zahlen wird als primitives, gegebenes Wesen betrachtet, das das physikalische Kontinuum modelliert.
Freilings Axiom ( $A^{\text{null}}_N$ ): Dies ist die zentrale Innovation. Basierend auf einem „Dart-Wurf"-Gedankenexperiment, das unabhängige Zufallsvariablen und die Relativitätstheorie (um Informationsleckagen auszuschließen) einbezieht, besagt es, dass für jede Funktion $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$ $f : [0, 1]^{N} \to N$ (die Folgen auf Nullmengen abbildet) eine Folge unabhängiger zufälliger reeller Zahlen $\{x_i\}$ ${x_{i}}$ existiert, sodass $x_i \notin f(\sigma(i))$ $x_{i} \in / f (σ (i))$ für alle $i$ $i$ gilt.
- Konsequenz: Dieses Axiom widerspricht dem überabzählbaren Auswahlaxiom. Es impliziert, dass $\mathbb{R}$ nicht wohlgeordnet werden kann und dass die Kontinuumshypothese falsch ist.
Abhängige Auswahl (DC): Das System behält das Axiom der abhängigen Auswahl (eingeführt von Bernays) bei, das für die meisten Standardanalysen (z. B. Baire-Kategorietheorem, Existenz von Grenzwerten) ausreichend ist, aber schwächer als das volle AC ist.

2. Das vorgeschlagene Modell ( $M$ ):
Die Autoren konstruieren ein Modell $M = L_{\alpha^*}(\mathbb{R})$ , wobei Mengen aus $\mathbb{N}$ und $\mathbb{R}$ durch transfiniten Induktion bis zu einer spezifischen Ordinalzahl $\alpha^*$ konstruiert werden.

Konstruktion: Ausgehend von $L_0(\mathbb{R}) = \mathbb{R}$ iteriert das Modell definierbare Mengen.
Das Limit $\alpha^*$ : Die Induktion stoppt bei der ersten „voll $\mathbb{R}$ -admissiblen Ordinalzahl" ( $\alpha_{ZF^-}$ ), definiert als der Punkt, an dem keine neuen Teilmengen von $\mathbb{R}$ generiert werden ( $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$ ).
Eigenschaften: In diesem Modell hat jede Aussage eine „Grundwahrheit". Das Modell erfüllt $ZF^-$ , DC und Freilings Axiom. Die Existenz eines solchen Modells folgt aus der Konsistenz von ZFC plus der Existenz einer unzugänglichen Kardinalzahl.

3. Die minimalistische Alternative (Solovays Modell):
Die Arbeit diskutiert auch eine „minimalistische" Grundlage, die auf Robert Solovays Modell basiert und die Konsistenz von ZF plus einer unzugänglichen Kardinalzahl voraussetzt.

Konstruktion: Ein abzählbares transitives Modell wird konstruiert, in dem alle Teilmengen von $\mathbb{R}$ Lebesgue-messbar sind und die Baire-Eigenschaft besitzen.
Vollständigkeit: Die Autoren definieren eine Theorie $T^*$ (eine Erweiterung von $T$ ), die eine „Minimalitätseigenschaft" und eine generische Menge $G$ einschließt. Sie behaupten, dass zwei wohlgefundene Modelle von $T^*$ dieselben Aussagen der Prädikatenlogik erster Stufe erfüllen. Dies bietet eine Form der „Vollständigkeit" für wohlgefundene Modelle und wirkt als Gegenmittel zur Gödelschen Unvollständigkeit für den Kernmathematiker, der große, nicht wohlgefundene Mengen ablehnt.

Hauptbeiträge und Ergebnisse

Ablehnung überabzählbarer Auswahl: Die Arbeit ersetzt das überabzählbare Auswahlaxiom formell durch Freilings probabilistisches Axiom $A^{\text{null}}_N$ und argumentiert, dass letzteres für die „Realwelt" intuitiver ist und die Konstruktion nicht-messbarer Mengen vermeidet.
Verfeinerung der Arithmetik zweiter Stufe: Obwohl anerkannt wird, dass die Arithmetik zweiter Stufe ( $Z_2$ ) für einen Großteil der Analysis ausreicht, argumentieren die Autoren, dass sie nicht ausreicht, um die Menge aller Borel-Mengen oder topologischen Räume direkt zu definieren. Ihr vorgeschlagenes Modell erweitert $Z_2$ , indem es $\mathbb{R}$ explizit einschließt und Konstruktionen bis zu $\alpha^*$ ermöglicht.
Kardinalitäts-Limbo: Die Arbeit hebt ein einzigartiges Merkmal ihres Modells hervor: Während es eine Surjektion von $\mathbb{R}$ auf $\omega_1$ (die erste überabzählbare Ordinalzahl) gibt, gibt es aufgrund von Freilings Axiom keine Bijektion. Somit existiert $\omega_1$ , besitzt aber keine klare Kardinalitätsbeziehung zu $\mathbb{R}$ und befindet sich in einem „Limbo", der sich vom Standard-ZFC unterscheidet.
Konsistenzbeweise: Die Autoren zeigen, dass ihre Axiome relativ zur Existenz einer unzugänglichen Kardinalzahl konsistent sind. Sie nutzen Solovays Forcing-Techniken, um zu zeigen, dass, wenn ZFC + Unzugängliche konsistent ist, dann auch ihr System $T$ (und das stärkere $T^*$ ) konsistent ist.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine „bessere Grundlage" speziell für den „Kernmathematiker" anzubieten – diejenigen, die mit reellen Zahlen, ganzen Zahlen und abgeleiteten Strukturen (z. B. Analysis, partielle Differentialgleichungen, Banach-Räume) arbeiten.

Definitheit: Die primär beanspruchte Bedeutung ist die Wiederherstellung einer „fest und unveränderlichen" Basis, in der alle Vermutungen eine eindeutige Antwort haben, als Gegenmittel zum „Multiversum" der Mengenlehre.
Realismus: Durch die Verankerung der Grundlage in der physikalischen Intuition zufälliger Variablen (Freilings Axiom) und dem gegebenen Charakter von $\mathbb{R}$ argumentieren die Autoren, dass ihre Grundlage besser mit der mathematischen Praxis übereinstimmt als die abstrakte, nicht-konstruktive Natur des vollen ZFC.
Gegenmittel zur Unvollständigkeit: Die „minimalistische" Grundlage ( $T^*$ ) wird als Lösung für Mathematiker präsentiert, die die Unabhängigkeitsphänomene großer Kardinalzahlen vermeiden möchten, während sie dennoch eine robuste Theorie der reellen Zahlen beibehalten.

Die Autoren bleiben bescheiden und stellen fest, dass ihr Ansatz von der Konsistenz einer unzugänglichen Kardinalzahl abhängt und dass probabilistische Methoden möglicherweise die Messbarkeit projektiver Mengen in bestimmten Kontexten großer Kardinalzahlen widerlegen könnten. Sie behaupten jedoch, dass ihr Rahmen eine kohärente, unumstrittene Basis für die überwiegende Mehrheit der mathematischen Forschung bietet.