Was die Mathematik vereinigt

Ein Hain. Links und rechts Bambusrohre. Sch?n parallel zueinander aufgereiht. In der Ferne laufen sie aufeinander zu und scheinen einem gemeinsamen Punkt zuzustreben. Ber¨¹hren sie sich irgendwo?

Dieses Bild hat der Harvard-Mathematiker Barry Mazur als Motiv der Paul-Bernays-Vorlesungen ausgew?hlt, die er am 11. und 12. September 2018 an der ETH Z¨¹rich halten wird. ?Wenn man die Dinge aus der ?richtigen? Perspektive betrachtet, k?nnen starke Muster entstehen?, sagt der Amerikaner dazu.

Barry Mazur ist ein vielseitiger und kreativer Mathematiker: ?Er hat ein beeindruckend breites Spektrum der Mathematik behandelt?, sagt Giovanni Sommaruga, ?anhand seiner Arbeiten k?nnte man einen guten Teil der Geschichte der Mathematik der zweiten H?lfte des 20. Jahrhunderts schreiben.? Sommaruga ist der Organisator der Paul-Bernays-Vorlesungen und Mitglied des Beirats, der Barry Mazur eingeladen hat.

Wie eine Stadt mit bl¨¹henden Quartieren

Mazur forschte zun?chst im Teilgebiet der Topologie und verwandter Themen. Von dort aus bewegte er sich zur algebraischen Geometrie und zur Zahlentheorie. Zugleich interessieren ihn historische und philosophische Fragen seiner Disziplin. Davon zeugen die B¨¹cher ?Imagining Numbers (particularly the square root of minus fifteen)? und ?Circles Disturbed ¨C The Interplay of Mathematics and Narrative?, das sich mit der Beziehung von Mathematik und Erz?hlung sowie mit der Rolle von Geschichten f¨¹r das mathematische Wissen auseinandersetzt.

In Z¨¹rich stellt Mazur seine Gedanken zum Thema ?Die Einheit und Breite der Mathematik ¨C von Diophantus bis heute? vor und geht der Frage nach, inwiefern die Mathematik heute eine Einheit darstellt und wieweit oder wozu sich verschiedene Teilgebiete oder Theorien vereinheitlichen lassen.

?Die Vielfalt und Verschiedenheit der mathematischen Teildisziplinen ist enorm, und sie scheint im Verlauf der Geschichte der Mathematik sogar noch zuzunehmen. Von daher bleibt die Frage nach ihrer Einheit eine st?ndige Herausforderung f¨¹r die Mathematik und ihre Philosophie?, sagt Sommaruga, der an der ETH Dozent f¨¹r Philosophie der Formalwissenschaften ist.

Man k?nnte die Mathematik in das Bild einer Stadt fassen: Ihre Teilgebiete w?ren florierende Quartiere mit jeweils eigenen Architekturen, Sprachen und Regeln. Nach ihrer Einheit zu fragen, hiesse, ob sich aus den einzelnen Quartieren wirklich ein zusammenh?ngendes Stadtbild erg?be.

Den gemeinsamen Grundlagen des Fachs geht die Philosophie der Mathematik nach. Ein Klassiker in dieser Hinsicht ist das zweib?ndige Werk ?Grundlagen der Mathematik?, das Paul Bernays (1888¨C1977), einstiger ETH-Professor f¨¹r h?here Mathematik und Namensgeber der Bernays-Ehrenvorlesungen, in den Jahren 1934 und 1939 ver?ffentlichte.

?Ich sehe die ?Grundlagen? als einen der grossen Vereinheitlichungs-Schritte in der Geschichte der neueren Mathematik?, sagt Mazur, dem dieses Werk ein Ansporn ist, ?denn das Buch wirft die allgemeine Frage auf: Was kann man ¨¹ber die vereinigenden Kr?fte aussagen, die unser Fach organisieren??

Momentum des Erkenntnisfortschritts

Nicht zuletzt entstehen wesentliche Erkenntnisse, wenn man neue, ¨¹berraschende Verbindungen zwischen scheinbar weit auseinanderliegenden Teilgebieten herstellen und zusammenf¨¹gen kann. ?Es gibt ?usserst tiefgreifende ?Analogien?, die ganz unterschiedliche Bereiche der Mathematik miteinander verbinden?, sagt Mazur.

?Heute versuchen Mathematiker, grosse mathematische Gebiete ¨C jedes mit seiner eigenen Intuition ¨C zu grossen Synthesen zu verbinden, die, sobald sie durch eine Analogie verbunden sind, eine intuitive Kraft besitzen, die von keinem einzelnen Gebiet allein erreicht wird.?

Mazur hat es selber erlebt, wie ein neuer Forschungsbereich entstehen kann, wenn man eine Verbindung zwischen zuvor getrennten Themen herstellen kann: Seine Beobachtungen in den 1960er-Jahren ¨¹ber Analogien zwischen Primzahlen und Knoten f¨¹hrte zum Bereich der arithmetischen Topologie, als andere Mathematiker in den 1990er-Jahren seine Arbeiten aufgriffen.

Ein Beispiel, das Mazur anf¨¹hrt, und das nicht wenige als die ?Grosse vereinheitlichte Theorie der Mathematik? bezeichnen, ist das Langlands-Programm, dessen Urheber, Robert Langlands, in diesem Jahr den Abel-Preis erhalten hat. Das Programm untersucht die Beziehungen zwischen verschiedenen Bereichen der Mathematik wie Algebra, Geometrie, Zahlentheorie, Analysis und Quantenphysik.

Langlands und der Atem der Geschichte

Langlands selber stellte eine Verbindung zwischen der Zahlentheorie und der harmonischen Analyse her, die sich mit Schwingungen besch?ftigt. Ein Beispiel daf¨¹r sind die elliptischen Kurven, dank denen dem britischen Mathematiker Andrew Wiles 1994 der Beweis des Grossen Satzes von Fermat gelang. Der gilt als ein H?hepunkt in der Geschichte der Mathematik des 20. Jahrhunderts, nachdem sich Zahlentheoretiker zuvor 350 Jahre lang daran die Z?hne ausbissen. Barry Mazur seinerseits hat ¨C neben anderen ¨C eine wichtige Vorarbeit f¨¹r den Beweis erbracht.

Der Beweis best?tigte die Intuition von Pierre de Fermat (1607-1665), dass die Gleichung aⁿ + bⁿ = cⁿ keine positiven ganzzahligen L?sungen hat, wenn n gr?sser als 2 ist. Das Problem geht auf die Antike zur¨¹ck, auf die Frage, ob es rechtwinklige Dreiecke gibt, bei denen alle Seitenl?ngen ganze Zahlen sind. Diophantus von Alexandria (um 250 n. Chr.) war der erste, der eine Verbindung zwischen Algebra und Geometrie herstellte und zeigte, dass es unendlich viele Zahlentripel aus je drei ganzen Zahlen a, b und c gibt, sodass die Gleichung a² + b² = c² zutrifft.

?Die Zahlentheorie ist sehr stark mit ihren Vorl?ufern verbunden, die bis auf die altgriechische Mathematik zur¨¹ckgehen. Philosophie und Geschichte der Mathematik weisen auf tiefe Richtungen hin, die als Inspiration dienen, um sie weiter zu verfolgen?, schliesst Mazur.