Robert M. Solovay

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj
Robert Solovay.jpeg

Robert M. Solovay (ur. 1938 w Brooklynie) – 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[edytuj | edytuj kod]

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ą (inna nazwa: test pierwszości Solovaya-Strassena). 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].

Przypisy

  1. Solovay, Robert 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.