Robert M. Solovay – amerykański matematyk specjalizujący się w logice matematycznej . Emerytowany profesor matematyki na Uniwersytecie Kalifornijskim w Berkeley . Znany głównie za wkład w teorię mnogości . Członek Amerykańskiej Akademii Sztuki i Nauki ( j.ang. American Academy of Arts and Sciences).

Doktoryzował się w 1964 na Uniwersytecie Chicagowskim pod kierunkiem Saundersa Mac Lane'a

Ważniejsze osiągnięcia

• Około roku 1965 , Robert Solovay i Stanley Tennenbaum rozwinęli metodę forsingu wprowadzając forsing iterowany, aby udowodnić niezależność hipotezy Suslina ^[1]. We współczesnej terminologii metoda wprowadzona przez Solovaya i Tennenbauma to forsing iterowany z nośnikami skończonymi.
• W 1970 , Solovay udowodnił, że zakładając niesprzeczność istnienia liczby nieosiągalnej , istnieje model teorii mnogości w którym wszystkie rzutowe podzbiory prostej są mierzalne w sensie Lebesgue'a i mają własność Baire'a . Następnie udowodnił, że przy tym samym założeniu teoria

ZF + każdy podzbiór prostej jest mierzalny w sensie Lebesgue'a i ma własność Baire'a^[2]

też jest niesprzeczna.

• Solovay razem z niemieckim matematykiem Volkerem Strassenem podali tzw. test Solovaya-Strassena na bycie liczbą pierwszą. Była to jedna z pierwszych efektywnych metod ustalania z dużym prawdopodobieństwem że dana (w założeniu bardzo duża) liczba naturalna jest pierwsza ^[3].

Bibliografia

1. ↑ Solovay, R. M.; Tennenbaum, S.: Iterated Cohen extensions and Souslin's problem. "Ann. of Math." (2) 94 (1971), s. 201-245.
2. ↑ Solovay, Robert M.: A model of set-theory in which every set of reals is Lebesgue measurable. "Ann. of Math." 92 (1970), s. 1-56
3. ↑ Solovay, Robert M. i Volker Strassen: A fast Monte-Carlo test for primality. "SIAM Journal on Computing" 6 (1977), s. 84-85.