Robert Solovay
contemporaryMathematical Logicb. 1938
Robert M. Solovay is an American mathematician and logician who made foundational contributions to set theory and mathematical logic. He is best known for the Solovay model, which demonstrated the consistency of all sets of reals being Lebesgue measurable, and for his work on large cardinals, forcing, and the connections between logic and computation.
Notable Achievements
1
Constructed the Solovay model proving consistency of all sets of reals being Lebesgue measurable (1970)
2
Proved the Solovay-Kitaev theorem with applications to quantum computation
3
Made fundamental contributions to the theory of large cardinals and their consistency strength
4
Advanced the technique of forcing in set theory
5
Contributed to the study of provability logic and the arithmetization of metamathematics