Robert Martin Solovay , né le 15 décembre 1938 à Brooklyn (New York ), est un mathématicien américain qui a travaillé en théorie des ensembles .
Biographie
Solovay a obtenu son doctorat de l'université de Chicago en 1964 sous la direction de Saunders Mac Lane . Sa thèse s'intitulait A Functorial Form of the Differentiable Riemann-Roch Theorem (Une forme fonctorielle du théorème de Riemann-Roch différentiel ). Parmi ses étudiants les plus notables, on compte W. Hugh Woodin et Matthew Foreman .
Il a passé de nombreuses années en tant que professeur à l'université de Californie à Berkeley . Parmi ses travaux les plus importants, on trouve celui de montrer que (sous l'hypothèse de l'existence d'un cardinal inaccessible ) la mesurabilité (au sens de Lebesgue) de toutes les parties de R est consistante avec la théorie de Zermelo Fraenkel sans l'axiome du choix , ainsi que d'isoler la notion de 0# (en) .
Solovay a également obtenu des résultats en dehors de la théorie des ensembles ; avec Volker Strassen , il a développé le test de primalité de Solovay-Strassen qui est utilisé pour vérifier la primalité de grands entiers naturels avec une grande probabilité, celui-ci a d'importantes ramifications dans l'histoire de la cryptographie . Solovay a un nombre d'Erdős égal à 2.
Quelques publications
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 Δ1 3 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.
Voir aussi
Article connexe
Modèle de Solovay (en)
Lien externe
(en) « Robert Martin Solovay », sur le site du Mathematics Genealogy Project
Adleman , Diffie , Hellman , Merkle , Rivest et Shamir (1996)
Lempel et Ziv (1997)
Bryant , Clarke , Emerson et McMillan (1998)
Sleator et Tarjan (1999)
Karmarkar (2000)
Myers (2001)
Franaszek (2002)
Miller , Rabin , Solovay et Strassen (2003)
Freund et Schapire (2004)
Holzmann , Kurshan , Vardi et Wolper (2005)
Robert Brayton (2006)
Bruno Buchberger (2007)
Corinna Cortes et Vladimir Vapnik (2008)
Bellare et Rogaway (2009)
Kurt Mehlhorn (2010)
Hanan Samet (2011)
Andrei Broder , Moses Charikar et Piotr Indyk (2012)
Robert D. Blumofe et Charles E. Leiserson (2013)
James Demmel (2014)
Michael Luby (2015)
Amos Fiat et Moni Naor (2016)
Scott Shenker (2017)
Pevzner (2018)
Noga Alon , Phillip Gibbons , Yossi Matias et Mario Szegedy (2019)
Yossi Azar, Andrei Broder , Anna Karlin , Michael Mitzenmacher et Eli Upfal (2020)
Avrim Blum, Irit Dinur , Cynthia Dwork , Frank McSherry , Kobbi Nissim et Adam Davison Smith (2021)
Michael Burrows , Paolo Ferragina et Giovanni Manzini (2022)