Robert M. Solovay

from Wikipedia, the free encyclopedia
Robert Solovay 1983

Robert Martin Solovay (* 1938 in Brooklyn ) is an American mathematician who deals with axiomatic set theory.

Solovay received his PhD in 1964 from the University of Chicago under Saunders MacLane (A Functorial Form of the Differentiable Riemann-Roch Theorem ) and was then post-doc at the Institute for Advanced Study in 1964/65 . In 1967 he became a Sloan Research Fellow . He was a longtime professor at the University of California, Berkeley .

Solovay made important contributions to axiomatic set theory. For example, in 1970 he showed that the theorem Any set of real numbers is Lebesgue measurable is consistent with the Zermelo-Fraenkel set theory without the axiom of choice . (which shows the necessity of the axiom of choice in Vitali's proof of the unsolvability of the measurement problem ).

Solovay was instrumental in expanding and simplifying Paul Cohen's forcing method shortly after it was introduced in 1963. In 1967 he introduced Boolean models of set theory independently of Dana Scott , which enabled a simplification of Cohen's proof of the independence of the continuum hypothesis.

In 1971 he and Stanley Tennenbaum showed the independence of the Suslin hypothesis from the Zermelo-Fraenkel axioms.

In 1975 he showed with Theodore Baker and Robert Gill that relativizing proof techniques in the P-NP problem cannot be successful.

With Volker Strassen he developed the Solovay-Strassen prime number test in 1977 .

His PhD students include W. Hugh Woodin , Matthew Foreman, and Judith Roitman .

In 1994 he was elected to the American Academy of Arts and Sciences and has been a member of the National Academy of Sciences since 1986 . In 2003 he received the Paris Kanellakis Prize .

Web links

Individual evidence

  1. ↑ Solovay: A model of set theory in which every set of reals is Lebesgue measurable. In: Annals of Mathematics. Series 2, Vol. 92, 1970, pp. 1-56.
  2. ^ Solovay, S. Tennenbaum: Iterated Cohen extensions and Souslin's problem. In: Annals of Mathematics. Series 2, Volume 94, 1971, pp. 201-245.
  3. ^ Solovay, Strassen: A fast Monte-Carlo test for primality. In: SIAM Journal on Computing. Volume 6. 1977, pp. 84-85.
  4. ↑ Robert M. Solovay in the Mathematics Genealogy Project (English)Template: MathGenealogyProject / Maintenance / id used
personal data
SURNAME Solovay, Robert M.
ALTERNATIVE NAMES Solovay, Robert Martin (full name)
BRIEF DESCRIPTION American mathematician
DATE OF BIRTH 1938
PLACE OF BIRTH Brooklyn