Moderne Mathematik: Das Zeitalter der Abstraktion und des Computers

Von DerSchneider

Einleitung

Das 20. Jahrhundert war das Jahrhundert der Mathematik – und das in einem Ausmaß, das sich die Gelehrten der vorangegangenen Epochen kaum hätten vorstellen können. Die Mathematik wurde zur Grundlage der modernen Welt: Sie ermöglichte die Entwicklung des Computers, die Entschlüsselung des genetischen Codes, die Navigation durch das Sonnensystem und die sichere Übertragung von Informationen über das Internet. Die Mathematik war nicht mehr nur die Sprache der Naturwissenschaften, sondern die Architektur der digitalen Zivilisation.

Gleichzeitig wurde die Mathematik selbst immer abstrakter. Die großen Themen des 19. Jahrhunderts – die nichteuklidische Geometrie, die Gruppentheorie, die transfinite Arithmetik – wurden weiterentwickelt und führten zu neuen Disziplinen wie der Topologie, der Funktionalanalysis und der mathematischen Logik. Die Mathematiker des 20. Jahrhunderts erweiterten nicht nur das vorhandene Wissen, sondern schufen neue Welten – Welten, die mit den Mitteln der Anschauung nicht mehr erfassbar waren.

Die moderne Mathematik ist eine Wissenschaft der Strukturen und Beziehungen, nicht mehr nur der Zahlen und Formen. Sie ist eine Disziplin, die sich selbst immer wieder neu erfindet – und die dabei die Grundlagen für die Technologien schafft, die unser Leben prägen. In diesem Kapitel betrachten wir die großen Ideen der modernen Mathematik – von Hilberts 23 Problemen über die Turing-Maschine bis zu den jüngsten Durchbrüchen im Beweis jahrhundertealter Vermutungen.

Hilberts 23 Probleme: Ein Fahrplan für das Jahrhundert

Im Jahr 1900, auf dem Internationalen Mathematikerkongress in Paris, hielt der deutsche Mathematiker David Hilbert (1862–1943) einen Vortrag, der die Mathematik des 20. Jahrhunderts prägen sollte. Er präsentierte eine Liste von 23 ungelösten Problemen – eine Herausforderung an die Mathematikergemeinschaft, die die Richtung der Forschung für die nächsten 100 Jahre bestimmte.

Hilberts Probleme deckten das gesamte Spektrum der Mathematik ab – von der Zahlentheorie über die Geometrie bis zur mathematischen Physik. Einige waren schon damals berühmt: die riemannsche Vermutung über die Verteilung der Primzahlen, das Problem der Kontinuumshypothese in der Mengenlehre und die Frage nach der Lösbarkeit diophantischer Gleichungen. Andere waren so spezifisch, dass sie nur Fachleuten bekannt waren.

Die Wirkung von Hilberts Liste war enorm. Sie gab den Mathematikern klare Ziele und motivierte Generationen von Forschern. Viele der Probleme wurden gelöst – einige schnell, andere erst nach Jahrzehnten. Die Kontinuumshypothese wurde 1963 von Paul Cohen als unabhängig von den üblichen Axiomen der Mengenlehre bewiesen – eine überraschende Antwort, die zeigte, dass es Fragen gibt, die prinzipiell nicht entscheidbar sind. Die riemannsche Vermutung hingegen ist bis heute ungelöst – eines der großen Rätsel der Mathematik.

Hilberts Probleme waren nicht nur eine Liste von Aufgaben, sondern ein Manifest. Sie drückten Hilberts Überzeugung aus, dass die Mathematik eine vollständige und widerspruchsfreie Wissenschaft sein kann – eine Überzeugung, die durch Gödels Unvollständigkeitssätze 1931 erschüttert wurde. Aber die Probleme selbst blieben bestehen – und viele von ihnen sind bis heute die großen Herausforderungen der Mathematik.

Die Geburt der modernen Statistik

Die Statistik war im 19. Jahrhundert noch eine empirische Disziplin – eine Sammlung von Methoden zur Beschreibung von Daten, ohne einheitliche theoretische Grundlage. Das änderte sich im frühen 20. Jahrhundert, als Mathematiker wie Karl Pearson (1857–1936) und Ronald Fisher (1890–1962) die Statistik zu einer eigenständigen mathematischen Disziplin entwickelten.

Pearsons größter Beitrag war der Chi-Quadrat-Test, den er 1900 einführte. Der Test erlaubt es, zu entscheiden, ob die beobachteten Daten signifikant von einer erwarteten Verteilung abweichen – eine Methode, die in der Medizin, der Psychologie, der Ökonomie und vielen anderen Bereichen unverzichtbar geworden ist. Pearson führte auch die Begriffe der Korrelation und der Standardabweichung ein – Grundlagen der statistischen Analyse.

Fisher, ein britischer Genetiker und Statistiker, entwickelte die Grundlagen der Versuchsplanung und der statistischen Inferenz. Er führte den Begriff der „Likelihood“ (der Plausibilität) ein und zeigte, wie man aus Stichproben auf die gesamte Population schließen kann. Seine Arbeiten wurden zur Grundlage der modernen Statistik – einer Disziplin, die heute in praktisch allen Wissenschaften und in der Wirtschaft unverzichtbar ist.

Die Statistik war ein Beispiel für die Anwendung der Wahrscheinlichkeitstheorie auf reale Probleme. Sie zeigte, dass der Zufall nicht nur eine philosophische Abstraktion ist, sondern ein praktisches Werkzeug zur Entscheidungsfindung unter Unsicherheit. Die moderne Statistik hat nicht nur die Wissenschaft verändert, sondern auch die Gesellschaft – von der Qualitätskontrolle in der Industrie bis zur Risikobewertung in der Medizin.

Mathematische Logik: Die Grenzen des Denkens

Die mathematische Logik, die im 19. Jahrhundert von George Boole und Gottlob Frege begründet worden war, erlebte im frühen 20. Jahrhundert einen Aufschwung. Die Frage, was man mit mathematischen Methoden beweisen kann, wurde zum zentralen Thema der Logik.

Die entscheidenden Beiträge kamen von drei Mathematikern: Bertrand Russell (1872–1970), Alfred North Whitehead (1861–1947) und Kurt Gödel (1906–1978). Russell und Whitehead veröffentlichten 1910–1913 die Principia Mathematica, einen monumentalen Versuch, die gesamte Mathematik auf logische Grundlagen zu stellen. Sie zeigten, dass man die Mathematik aus einer Handvoll logischer Axiome ableiten kann – aber sie mussten auch einräumen, dass diese Axiome nicht widerspruchsfrei sind.

Gödel, ein österreichischer Logiker, zeigte 1931, dass dieses Projekt zum Scheitern verurteilt ist. Sein erster Unvollständigkeitssatz besagt, dass jedes konsistente formale System, das die Arithmetik der natürlichen Zahlen umfasst, Aussagen enthält, die weder bewiesen noch widerlegt werden können. Der zweite Unvollständigkeitssatz besagt, dass ein solches System seine eigene Widerspruchsfreiheit nicht beweisen kann.

Gödels Sätze waren ein Schock für die Mathematikergemeinschaft. Sie zeigten, dass die Mathematik nicht vollständig ist – dass es Wahrheiten gibt, die nicht beweisbar sind. Aber sie waren auch ein Triumph der mathematischen Methode: Die Grenzen des Denkens wurden mit den Mitteln des Denkens selbst aufgezeigt. Gödels Arbeit wurde zur Grundlage der modernen Logik und der Informatik – sie zeigt, dass es prinzipielle Grenzen des Berechenbaren gibt.

Minkowski-Raum: Die vierte Dimension

Im Jahr 1908 hielt der deutsche Mathematiker Hermann Minkowski (1864–1909) einen Vortrag mit dem Titel „Raum und Zeit“, der die Physik für immer veränderte. Minkowski, der Lehrer von Albert Einstein gewesen war, zeigte, dass die spezielle Relativitätstheorie Einsteins am besten in vier Dimensionen verstanden wird: Raum und Zeit sind nicht getrennt, sondern bilden eine vierdimensionale Einheit – die Raumzeit.

Der Minkowski-Raum ist eine mathematische Struktur, die die euklidische Geometrie auf vier Dimensionen erweitert – aber mit einem entscheidenden Unterschied: Die Zeitkoordinate hat ein anderes Vorzeichen als die Raumkoordinaten. Diese „pseudo-euklidische“ Geometrie ermöglicht es, die Effekte der Relativitätstheorie – die Zeitdilatation und die Längenkontraktion – als geometrische Eigenschaften der Raumzeit zu verstehen.

Die Bedeutung des Minkowski-Raums reicht weit über die spezielle Relativitätstheorie hinaus. Er wurde zur Grundlage der allgemeinen Relativitätstheorie Einsteins, die die Gravitation als Krümmung der Raumzeit erklärt. Die Vorstellung, dass die Welt vierdimensional ist – und dass diese vierte Dimension die Zeit ist – wurde zu einem der zentralen Konzepte der modernen Physik.

Der Minkowski-Raum ist auch ein Beispiel für die Abstraktion der modernen Mathematik. Er zeigt, dass die Geometrie nicht an die Anschauung gebunden ist – dass wir Strukturen in beliebig vielen Dimensionen beschreiben können, auch wenn wir sie uns nicht mehr vorstellen können. Diese Abstraktion ist die Grundlage der modernen Physik und der modernen Mathematik.

Die Turing-Maschine: Die Geburt des Computers

Alan Turing (1912–1954), ein britischer Mathematiker und Logiker, veröffentlichte 1937 einen Artikel mit dem Titel On Computable Numbers, with an Application to the Entscheidungsproblem, der die Informatik begründete. Turing stellte sich eine hypothetische Maschine vor – die Turing-Maschine –, die einen Algorithmus ausführen kann, indem sie Symbole auf einem unendlichen Band liest und schreibt.

Die Turing-Maschine war ein mathematisches Gedankenexperiment, kein reales Gerät. Aber sie war der erste Versuch, den Begriff des Algorithmus präzise zu definieren. Turing zeigte, dass es Probleme gibt, die von keiner Turing-Maschine gelöst werden können – das Halteproblem –, und dass daher das Entscheidungsproblem Hilberts unlösbar ist.

Die Turing-Maschine wurde zur Grundlage der modernen Informatik. Sie zeigte, dass man mit einer einfachen, abstrakten Maschine jeden berechenbaren Algorithmus ausführen kann – eine Idee, die später zur Entwicklung des Computers führte. Turing selbst trug während des Zweiten Weltkriegs zur Entwicklung der „Bombe“ bei, eines elektromechanischen Geräts, das die deutsche Enigma-Chiffre brach – ein früher Schritt auf dem Weg zum modernen Computer.

Die Turing-Maschine ist auch ein Beispiel für die Verbindung von Mathematik und Technik. Die abstrakte Theorie der Berechenbarkeit wurde zur Grundlage der praktischen Computertechnik – eine Entwicklung, die Turing selbst nicht mehr erlebte. Er starb 1954, bevor die ersten elektronischen Computer gebaut wurden.

Der Schmetterlingseffekt: Die Geburt der Chaostheorie

Edward Lorenz (1917–2008), ein US-amerikanischer Meteorologe, entdeckte in den frühen 1960er Jahren, dass kleine Änderungen der Anfangsbedingungen in einem Wettermodell große Änderungen des Ergebnisses bewirken können – ein Phänomen, das später als „Schmetterlingseffekt“ bekannt wurde. Der Flügelschlag eines Schmetterlings in Brasilien, so die populäre Metapher, könnte einen Tornado in Texas auslösen.

Lorenz‘ Entdeckung war der Beginn der Chaostheorie – einer Disziplin, die zeigt, dass deterministische Systeme unvorhersagbar sein können. Die Chaosforschung ist ein Beispiel für die Verbindung von Mathematik und Physik: Sie zeigt, dass die klassische Mechanik, die auf Newtons Gesetzen beruht, nicht immer vorhersagbar ist – dass es Systeme gibt, die selbst bei vollständiger Kenntnis der Anfangsbedingungen nicht berechnet werden können.

Die Chaostheorie fand Anwendungen in vielen Bereichen – von der Wettervorhersage über die Ökonomie bis zur Biologie. Sie zeigte, dass die Welt nicht immer berechenbar ist – ein Gegengewicht zum Determinismus der Aufklärung. Der Schmetterlingseffekt wurde zum Symbol für die Grenzen der mathematischen Vorhersagbarkeit.

Fraktale: Die Geometrie der Natur

Benoît Mandelbrot (1924–2010), ein in Polen geborener Mathematiker, der in den USA arbeitete, prägte 1975 den Begriff „Fraktal“ – ein Objekt, das auf allen Skalen ähnlich strukturiert ist. Die Mandelbrot-Menge, die er 1980 entdeckte, ist ein Beispiel für ein Fraktal: Ihre Struktur wiederholt sich auf unendlich vielen Skalen, und ihre Grenze ist so kompliziert, dass sie nicht mit den Mitteln der klassischen Geometrie beschrieben werden kann.

Die fraktale Geometrie war eine Revolution. Sie zeigte, dass die Natur nicht aus einfachen geometrischen Formen besteht – Kreisen, Quadraten und Dreiecken –, sondern aus komplexen, selbstähnlichen Strukturen. Berge, Wolken, Bäume, Küstenlinien – all dies sind Fraktale. Die fraktale Geometrie ermöglichte es, diese Strukturen mathematisch zu beschreiben – eine Aufgabe, an der die klassische Geometrie gescheitert war.

Fraktale finden heute Anwendung in der Computergrafik, der Medizin, der Materialwissenschaft und vielen anderen Bereichen. Sie sind ein Beispiel für die Verbindung von Mathematik und Kunst – die Mandelbrot-Menge ist nicht nur ein mathematisches Objekt, sondern auch ein ästhetisches Phänomen. Die fraktale Geometrie zeigt, dass die Mathematik nicht nur die Welt beschreibt, sondern auch ihre Schönheit offenbart.

Der Beweis des Satzes von Fermat

Der große Satz von Fermat – dass die Gleichung $x^n+y^n=z^n$xn+yn=zn für $n>2$n>2 keine ganzzahligen Lösungen hat – war über 350 Jahre lang das berühmteste ungelöste Problem der Mathematik. Pierre de Fermat hatte 1637 eine Randnotiz in einem Exemplar der Arithmetica von Diophantos hinterlassen, in der er behauptete, einen „wahrhaft wunderbaren Beweis“ gefunden zu haben – aber der Rand sei zu schmal, um ihn zu fassen.

Die Geschichte des Beweises ist ein Drama der Mathematik. Im 19. Jahrhundert wurde der Satz für viele spezielle Exponenten bewiesen – für $n=3$n=3, $n=4$n=4, $n=5$n=5 –, aber ein allgemeiner Beweis blieb aus. Im 20. Jahrhundert wurde klar, dass der Satz mit der Taniyama-Shimura-Vermutung zusammenhängt – einer Vermutung über die Beziehung zwischen elliptischen Kurven und Modulformen.

Andrew Wiles (geb. 1953), ein britischer Mathematiker, der in Princeton arbeitete, begann 1986 im Geheimen an dem Beweis zu arbeiten. Sieben Jahre lang arbeitete er allein – ohne Kollegen, ohne Unterstützung, ohne dass jemand wusste, was er tat. Im Juni 1993 präsentierte er seinen Beweis auf einer Konferenz in Cambridge – und die Welt hielt den Atem an.

Dann kam die Enttäuschung: Wiles‘ Beweis hatte eine Lücke. Ein Jahr lang arbeitete er mit seinem Schüler Richard Taylor an der Korrektur, und im September 1994 gelang ihnen der Durchbruch. Der Beweis war vollständig – der Satz von Fermat war endlich bewiesen.

Der Beweis des Satzes von Fermat war ein Triumph der modernen Mathematik. Er zeigte, dass die großen Probleme der Mathematik nicht unüberwindbar sind – auch wenn sie Jahrhunderte brauchen. Und er zeigte, dass die Mathematik eine internationale Gemeinschaft ist, die über Generationen und Kontinente hinweg zusammenarbeitet.

Der Beweis der Poincaré-Vermutung

Die Poincaré-Vermutung – dass jede einfach zusammenhängende, kompakte 3-Mannigfaltigkeit ohne Rand homöomorph zur 3-Sphäre ist – war eines der großen ungelösten Probleme der Topologie. Sie wurde 1904 von Henri Poincaré aufgestellt und war für die mathematische Gemeinschaft ein Rätsel: Einfach zu verstehen, aber extrem schwer zu beweisen.

Der Beweis kam von Grigori Perelman (geb. 1966), einem russischen Mathematiker, der in völliger Isolation arbeitete. Perelman veröffentlichte seine Beweise 2002 und 2003 im Internet – nicht in einer Fachzeitschrift, sondern auf dem Preprint-Server arXiv. Er sandte eine Zusammenfassung an einige Kollegen, aber er stellte sich der wissenschaftlichen Gemeinschaft nicht.

Perelmans Beweis war ein Durchbruch – eine brillante Anwendung des Ricci-Flusses, einer Methode, die Richard Hamilton in den 1980er Jahren entwickelt hatte. Perelman zeigte, dass man die Poincaré-Vermutung beweisen kann, indem man die Singularitäten des Ricci-Flusses durch „Chirurgie“ beseitigt. Der Beweis war so originell und so tief, dass er die gesamte Topologie veränderte.

Die Reaktion der mathematischen Gemeinschaft war überwältigt. Perelman erhielt die Fields-Medaille (2006) und den Millennium-Preis des Clay Mathematics Institute (2010) – aber er lehnte beide ab. Er sei nicht interessiert an Preisen, sagte er; der Beweis sei seine Belohnung. Perelman zog sich aus der Mathematik zurück und lebt heute zurückgezogen in St. Petersburg.

Perelmans Geschichte ist ein Beispiel für die Besonderheit der Mathematik. Sie ist eine Wissenschaft, die nicht durch Preise oder Ruhm motiviert wird, sondern durch die Schönheit der Ideen. Perelmans Beweis der Poincaré-Vermutung ist nicht nur ein Triumph der Mathematik, sondern auch ein Zeugnis für die Leidenschaft, die der Mathematik zugrunde liegt.

Fazit: Die Mathematik der Zukunft

Die moderne Mathematik ist eine Wissenschaft der Abstraktion und der Anwendung. Sie hat die Grundlagen für die digitale Revolution geschaffen, die Geheimnisse des Universums enthüllt und die Grenzen des Denkens ausgelotet. Aber sie ist auch eine Wissenschaft der Schönheit – eine Disziplin, die von der Neugier getrieben wird, die immer neue Fragen aufwirft.

Die großen Probleme der Mathematik – die riemannsche Vermutung, die Frage nach der Verteilung der Primzahlen, das Problem der Quantengravitation – sind noch ungelöst. Aber die moderne Mathematik hat gezeigt, dass diese Probleme lösbar sind – wenn auch vielleicht nicht in unseren Lebzeiten. Die Mathematik ist eine Wissenschaft der Geduld und der Beharrlichkeit, der Zusammenarbeit und der Einsamkeit.

Die Geschichte der modernen Mathematik ist noch nicht zu Ende geschrieben. Neue Probleme werden auftauchen, neue Methoden werden entwickelt werden, neue Zusammenhänge werden entdeckt werden. Die Mathematik, die in den letzten hundert Jahren entstanden ist, ist nur ein Anfang – ein Vorgeschmack auf das, was noch kommen wird.

Quellen

• David Hilbert: Mathematische Probleme (1900)
• Bertrand Russell und Alfred North Whitehead: Principia Mathematica (1910–1913)
• Kurt Gödel: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (1931)
• Alan Turing: On Computable Numbers, with an Application to the Entscheidungsproblem (1937)
• Claude Shannon: A Mathematical Theory of Communication (1948)
• Benoît Mandelbrot: The Fractal Geometry of Nature (1982)
• Edward Lorenz: Deterministic Nonperiodic Flow (1963)
• Andrew Wiles: Modular Elliptic Curves and Fermat’s Last Theorem (1995)
• Grigori Perelman: The Entropy Formula for the Ricci Flow and its Geometric Applications (2002)
• John Stillwell: Mathematics and Its History (1989)
• Morris Kline: Mathematical Thought from Ancient to Modern Times (1972)
• Peter L. Bernstein: Against the Gods: The Remarkable Story of Risk (1996)