Robert M. Solovay

Robert Martin Solovay (* 1938 in Brooklyn) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt.

Solovay promovierte 1964 an der University of Chicago bei Saunders MacLane (A Functorial Form of the Differentiable Riemann-Roch-Theorem) und war dann 1964/65 als Post-Doc am Institute for Advanced Study. 1967 wurde er Sloan Research Fellow. Er war langjähriger Professor an der University of California, Berkeley.

Solovay lieferte wichtige Beiträge zur axiomatischen Mengenlehre. Beispielsweise zeigte er 1970, dass der Satz Jede Menge reeller Zahlen ist Lebesgue-messbar konsistent mit der Zermelo-Fraenkel-Mengenlehre (ZF) ohne das Auswahlaxiom (C) ist.^[1] Dazu konstruierte er ein Modell (Solovay-Modell) der ZF-Mengenlehre (ohne das Auswahlaxiom), in dem alle Untermengen der reellen Zahlen Lebesgue-messbar sind. Das Modell basierte allerdings auf der Existenz einer unerreichbaren Kardinalzahl, was innerhalb ZFC nicht beweisbar ist. Für den Beweis der Existenz nicht-Lebesgue-messbarer Mengen ist damit das Auswahlaxiom nötig. Damit war auch die Notwendigkeit des Auswahlaxioms in Vitalis Beweis der Unlösbarkeit des Maßproblems gezeigt.

Solovay war wesentlich am Ausbau und der Vereinfachung der Forcing-Methode von Paul Cohen kurz nach dessen Einführung 1963 beteiligt. 1967 führte er unabhängig von Dana Scott boole-wertige Modelle der Mengenlehre ein, was eine Vereinfachung des Beweises von Cohen über die Unabhängigkeit der Kontinuumshypothese ermöglichte.

Mit Azriel Levy zeigte er 1967, dass messbare Kardinalzahlen ihre Eigenschaften auch bei milden Forcing-Erweiterungen behalten.^[2] Diese Resultate trugen zur Überzeugung bei, das die einfache Hinzunahme von Axiomen großer Kardinalzahlen zur Zermelo-Fraenkel-Mengenlehre die Kontinuumshypothese nicht entscheiden könne.

1971 zeigte er mit Stanley Tennenbaum die Unabhängigkeit der Suslin-Hypothese von den Zermelo-Fraenkel-Axiomen.^[3]

1975 zeigte er mit Theodore Baker und John Gill, dass relativierende Beweistechniken im P-NP-Problem nicht erfolgreich sein können.^[4]

Mit Volker Strassen entwickelte er 1977 den Solovay-Strassen-Primzahltest.^[5]

Zu seinen Doktoranden zählen W. Hugh Woodin, Matthew Foreman und Judith Roitman.^[6]

1994 wählte man ihn in die American Academy of Arts and Sciences und er ist seit 1986 Mitglied der National Academy of Sciences. 2003 erhielt er den Paris-Kanellakis-Preis.

• Robert M. Solovay auf der Website der Universität Berkeley

1. ↑ Solovay: A model of set-theory in which every set of reals is Lebesgue measurable. In: Annals of Mathematics. Series 2, Band 92. 1970, S. 1–56.
2. ↑ A. Lévy, R. M. Solovay: Measurable cardinals and the Continuum Hypothesis. In: The Israel Journal of Mathematics. Band 5, Nr. 4, 1967, S. 234–248, doi:10.1007/BF02771612.
3. ↑ Solovay, S. Tennenbaum: Iterated Cohen extensions and Souslin's problem. In: Annals of Mathematics. Serie 2, Band 94. 1971, S. 201–245.
4. ↑ Theodore Baker, John Gill, Robert Solovay, Relativization of the P=?NP problem, Siam Journal of Computing, Band 4, 1975, S. 432–442
5. ↑ Solovay, Strassen: A fast Monte-Carlo test for primality. In: SIAM Journal on Computing. Band 6. 1977, S. 84–85.
6. ↑ Robert M. Solovay im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet