Robert Solovay

Biographie
Naissance	15 decembre 1938 (85 ans) ; Brooklyn
Nationalite	americaine
Formation	Universite de Chicago
Activites	Mathematicien , philosophe
A travaille pour	Universite de Californie a Berkeley
Membre de	Academie americaine des sciences ; Academie americaine des arts et des sciences
Directeur de these	Saunders Mac Lane
Distinction	Prix Paris-Kanellakis ( 2003 )
	Solovay model ( d )

Robert Martin Solovay , ne le 15 decembre 1938 a Brooklyn ( New York ), est un mathematicien americain qui a travaille en theorie des ensembles .

Biographie [ modifier | modifier le code ]

Solovay a obtenu son doctorat de l' universite de Chicago en 1964 sous la direction de Saunders Mac Lane . Sa these s'intitulait A Functorial Form of the Differentiable Riemann-Roch Theorem ( Une forme fonctorielle du theoreme de Riemann-Roch differentiel ). Parmi ses etudiants les plus notables, on compte W. Hugh Woodin et Matthew Foreman .

Il a passe de nombreuses annees en tant que professeur a l' universite de Californie a Berkeley . Parmi ses travaux les plus importants, on trouve celui de montrer que (sous l'hypothese de l'existence d'un cardinal inaccessible ) la mesurabilite (au sens de Lebesgue) de toutes les parties de R est consistante avec la theorie de Zermelo Fraenkel sans l' axiome du choix , ainsi que d'isoler la notion de 0# (en) .

Solovay a egalement obtenu des resultats en dehors de la theorie des ensembles ; avec Volker Strassen , il a developpe le test de primalite de Solovay-Strassen qui est utilise pour verifier la primalite de grands entiers naturels avec une grande probabilite, celui-ci a d'importantes ramifications dans l'histoire de la cryptographie . Solovay a un nombre d'Erd?s egal a 2.

Robert M. Solovay, ≪ A model of set-theory in which every set of reals is Lebesgue measurable ≫, dans Annals of Mathematics . Second Series , vol. 92 (1970), pages 1-56.
Robert M. Solovay, ≪ A nonconstructible Δ ¹₃ set of integers ≫, dans Transactions of the American Mathematical Society , vol. 127 (1967), pages 50-75.
Robert M. Solovay, Volker Strassen, ≪ A fast Monte-Carlo test for primality ≫, dans SIAM Journal on Computing , vol. 6 (1977), pages 84-85.

(en) Cet article est partiellement ou en totalite issu de l’article de Wikipedia en anglais intitule ≪ Robert M. Solovay ≫ ( voir la liste des auteurs ) .