Saharon Shelah: Der Logiker, der mehr publizierte als jeder andere

Die meisten berufstätigen Mathematiker betrachten hundert Artikel im Laufe einer Karriere als Zeichen hoher Produktivität. Saharon Shelah hat seit 1969 mehr als 1 100 begutachtete Fachartikel veröffentlicht – weit über tausend eigenständige mathematische Beiträge von einem einzigen Geist, in einem Tempo, das ihn laut den meisten Zählungen zum produktivsten lebenden Mathematiker macht. Dieser Umfang allein wäre eine Kuriosität, wenn der Inhalt Routine wäre. Das ist er nicht: Shelahs Arbeit löste jahrzehntealte offene Probleme, schuf ganze Teilgebiete der Mengenlehre und fand wiederholt unerwartete Strukturen in Gebieten, von denen die meisten Logiker geglaubt hatten, sie seien endgültig unentscheidbar.

Sohn eines Dichters, zur Geometrie hingezogen

Shelah wurde am 3. Juli 1945 in Jerusalem geboren, das damals unter dem britischen Mandat stand. Sein Vater, der öffentlich als hebräischer Dichter und kanaanäischer politischer Aktivist Yonatan Ratosh (geboren Uriel Shelach) bekannt war, bot ihm ein ungewöhnliches intellektuelles Elternhaus. Shelah fühlte sich zunächst zur Physik und Biologie hingezogen, doch ein Geometriekurs in der neunten Klasse änderte seine Richtung, und die Lektüre von Abraham Fraenkels An Introduction to Mathematics im Alter von fünfzehn Jahren besiegelte es: Seinen eigenen Angaben zufolge wusste er schon damals, dass er Mathematiker werden wollte. Er erwarb 1964 seinen Bachelor-Abschluss an der Universität Tel Aviv, während er gleichzeitig bis 1967 in den Israelischen Verteidigungsstreitkräften diente, absolvierte dann ein Masterstudium und 1969 einen Doktortitel an der Hebräischen Universität unter Michael Oser Rabin mit einer Dissertation über stabile Theorien – die Keimzelle des Feldes, das er später umgestalten sollte.

Die Lösung von Morleys Problem

Nach kurzen Postdoc-Aufenthalten in Princeton (1969–70) und an der UCLA (1970–71) kehrte Shelah dauerhaft an die Hebräische Universität zurück, wo er 1974 Professor wurde und ab 1978 den Lehrstuhl für mathematische Logik innehatte, eine Position, die er weiterhin neben einer angesehenen Gastprofessur an der Rutgers University seit 1986 bekleidet. Sein frühester großer Erfolg war die Lösung von Morleys Problem in der Modelltheorie – eine Frage darüber, wie viele nicht-isomorphe Modelle einer bestimmten Größe eine erststufige Theorie haben kann – durch den Aufbau der sogenannten Klassifikationstheorie (Stabilitätstheorie), eines umfassenden Rahmens zur Ordnung mathematischer Theorien nach ihrer internen Komplexität. Das Buch von 1978, das aus dieser Arbeit hervorging, Classification Theory and the Number of Non-Isomorphic Models, wurde zu einem grundlegenden Text der modernen Modelltheorie.

Proper Forcing und die Grenzen des Kontinuums

In der Mengenlehre entwickelte Shelah das Proper Forcing, eine Technik zur Iteration der Forcing-Methode – dem Werkzeug, das Paul Cohen verwendet hatte, um die Unabhängigkeit der Kontinuumshypothese zu beweisen – auf eine Weise, die die technischen Zusammenbrüche vermeidet, welche frühere iterierte Konstruktionen eingeschränkt hatten. Proper Forcing wurde zu einem Standardwerkzeug im gesamten Fachgebiet und wird von Mengenlehrern verwendet, um Modelle mit präzise kontrollierten Eigenschaften zu konstruieren, die einfachere Forcing-Methoden nicht erreichen konnten. Darauf aufbauend schuf Shelah die PCF-Theorie (Possible Cofinalities) und demonstrierte, dass, obwohl grundlegende Fragen der Kardinalarithmetik wie der Wert des Kontinuums in den Standardaxiomen (ZFC) formal unentscheidbar sind, dennoch andere tiefe und beweisbare Theoreme über Kardinalexponenten existieren – er fand im Wesentlichen harte mathematische Strukturen in einer Region der Mengenlehre, die viele für reine Freiheit gehalten hatten, unbeeinflusst von beweisbaren Gesetzen.

Eine lange Liste spezifisch gelöster Probleme

Jenseits dieser beiden großen Rahmenwerke hat Shelah eine bemerkenswerte Bilanz bei der Lösung einzelner, benannter offener Probleme in der mathematischen Logik und darüber hinaus: Er bewies, dass das Whitehead-Problem – ob jede abelsche Gruppe mit einer bestimmten Erweiterungseigenschaft frei ist – unabhängig von ZFC ist, was bedeutet, dass es aus den Standardaxiomen der Mengenlehre weder bewiesen noch widerlegt werden kann; er konstruierte eine Jónsson-Gruppe, eine überabzählbare Gruppe, in der jede echte Untergruppe abzählbar ist, und klärte damit eine langjährige Existenzfrage; er lieferte primitiv-rekursive obere Schranken für van-der-Waerden-Zahlen in der Kombinatorik; er erweiterte Arrows Unmöglichkeitstheorem in der Theorie der sozialen Wahl; und in der Zusammenarbeit mit Maryanthe Malliaris ab den 2010er Jahren löste er ein fünfzig Jahre altes offenes Problem bezüglich der Keisler-Ordnung über die Komplexität erststufiger Theorien, eine Arbeit, die dem Paar 2017 die Hausdorff-Medaille einbrachte.

Anerkennung

Shelahs Auszeichnungen entsprechen seiner Produktivität: Er war 1977 der erste Empfänger des Erdős-Preises und erhielt in der Folge den Rothschild-Preis (1982), den Karp-Preis (1983), den George-Pólya-Preis (1992), den Israel-Preis (1998), den Bolyai-Preis (2000), den Wolf-Preis in Mathematik – eine der höchsten Auszeichnungen des Fachgebiets neben der Fields-Medaille oder dem Abel-Preis – im Jahr 2001, den EMET-Preis (2011), den AMS Leroy P. Steele Prize (2013), die Hausdorff-Medaille gemeinsam mit Malliaris (2017) und den Rolf Schock-Preis für Logik und Philosophie (2018). Er hat dreimal auf dem Internationalen Mathematikerkongress gesprochen, in den Jahren 1974, 1983 und 1986.

Persönlicher Verlust

Shelahs Familie spürte die direkten Folgen der Gewalt im Nahen Osten: Sein Bruder Hamman Shelah, ein Amtsrichter, wurde zusammen mit seiner Frau und seiner Tochter beim Massaker von Ras Burqa 1985 ermordet, als ein ägyptischer Soldat auf israelische Touristen im Sinai das Feuer eröffnete. Shelah ist mit Yael verheiratet und hat drei Kinder.

Warum Saharon Shelah ein Genie genannt wird

Das Argument, Shelah als mathematisches Genie zu bezeichnen, beruht weniger auf einem einzigen spektakulären Beweis als auf einer unerreichten Kombination aus roher Produktivität und konzeptioneller Reichweite: Die Klassifikationstheorie allein ordnete das Denken der Modelltheoretiker über die Struktur von Theorien neu, Proper Forcing ist heute ein Routineinstrument, das jeder Doktorand der Mengenlehre lernt, und die PCF-Theorie fand beweisbare Strukturen in einer Region der Kardinalarithmetik, die die meisten Logiker nach den Unabhängigkeitsergebnissen von Cohen und Gödel für im Wesentlichen gesetzlos gehalten hatten – drei getrennte Beiträge, von denen jeder eine starke Karriere definieren würde. Sein schierer Publikationsumfang von über 1 100 Artikeln ist unter aktiven Mathematikern selbst so ungewöhnlich, dass er echte Debatten auslöst: Einige Kollegen sehen darin den Beweis für eine außergewöhnliche und nachhaltige Rate an echtem Erkenntnisgewinn, da seine meistzitierten und einflussreichsten Ergebnisse fünf Jahrzehnte umspannen, anstatt sich in einem produktiven Ausbruch zu konzentrieren. Das ehrliche Gegenargument ist, dass Shelahs Arbeit selbst für Spezialisten bekanntermaßen schwer zu verifizieren ist – seine Artikel sind dicht, notationslastig und oft in einem komprimierten Stil geschrieben, den selbst erfahrene Modell- und Mengentheoretiker als schwer Zeile für Zeile zu prüfen beschreiben, was das Vertrauen der Gemeinschaft in einige seiner komplizierteren Beweise gelegentlich verzögert hat, bis eine unabhängige Überprüfung aufholte. Sein Werk hat auch unvermeidlich in der Tiefe variiert: Nicht jeder der 1 100 Artikel trägt das Gewicht der Klassifikations- oder PCF-Arbeit, und ein Teil seines Korpus besteht eher aus technischen Verfeinerungen und Anwendungen von Rahmenwerken, die er bereits gebaut hatte, als aus völlig neuen konzeptionellen Sprüngen. Er hat nie eine Fields-Medaille (teilweise bedingt durch die Altersgrenze von 40 Jahren, die er bereits überschritten hatte, als seine Hauptergebnisse erschienen) oder einen Abel-Preis gewonnen, was die höchsten rein mathematischen Lorbeeren der Profession trotz der Anerkennung durch den Wolf-Preis außerhalb seiner Reichweite ließ.

Vermächtnis

Shelah ist auch in seinen Achtzigern ein aktiver Mathematiker an der Hebräischen Universität und in Rutgers, der immer noch in einem Tempo publiziert, das nur wenige in der Geschichte des Fachgebiets erreicht haben. Die Klassifikationstheorie und die PCF-Theorie sind heute feste Bestandteile der Lehrpläne der Modell- und Mengenlehre, und Generationen von Logikern haben Karrieren darauf aufgebaut, die von ihm initiierten Rahmenwerke zu erweitern – ein Lebenswerk, dessen Ausmaß das Fachgebiet möglicherweise noch Jahrzehnte zur vollständigen Aufnahme und Bewertung benötigen wird.