Robert Solovay
Robert Solovay
Robert Solovay în 1972
| Naștere |
15 decembrie 1938 Brooklyn |
|---|---|
| Naţionalitate | american |
| Instruire | Universitatea din Chicago |
| Activități | Matematician , filosof |
| Lucrat pentru | Universitatea din California la Berkeley |
|---|---|
| Camp | Teoria mulțimilor |
| Membru al |
Academia Americană de Științe Academia Americană de Arte și Științe |
| Supervizor | Saunders Mac Lane |
| Distincţie | Premiul Paris-Kanellakis (2003) |
Robert Martin Solovay , născut pe15 decembrie 1938în Brooklyn ( New York ), este un matematician american care a lucrat în teoria mulțimilor .
Biografie
Solovay și-a luat doctoratul la Universitatea din Chicago în 1964 sub supravegherea lui Saunders Mac Lane . Disertația sa s-a intitulat A Functorial Form Differiable of the Riemann-Roch Theorem ( A teorema formei funcționale Riemann-Roch diferențial ). Printre cei mai notabili studenți ai săi se numără W. Hugh Woodin și Matthew Foreman (în) .
A petrecut mulți ani ca profesor la Universitatea din California la Berkeley . Dintre cele mai importante lucrări ale sale, găsim aceea de a arăta că (sub ipoteza existenței unui cardinal inaccesibil ) măsurabilitatea (în sensul lui Lebesgue) a tuturor părților lui R este în concordanță cu teoria lui Zermelo Fraenkel fără axiomă de alegere , precum și izolarea noțiunii de 0 # (în) .
Solovay a obținut și rezultate în afara teoriei mulțimilor; împreună cu Volker Strassen a dezvoltat testul de primărie Solovay-Strassen, care este folosit pentru a verifica primalitatea numerelor naturale mari cu probabilitate mare, acesta având ramificații importante în istoria criptografiei . Solovay are un număr de Erdő egal cu 2.
Unele publicații
- Robert M. Solovay, „Un model de teorie de seturi în care fiecare set de reale este măsurabil Lebesgue”, în Annals of Mathematics . A doua serie , vol. 92 (1970), paginile 1-56.
- Robert M. Solovay, „A nonconstructible Δ 1 3 set of integers”, în Transactions of the American Mathematical Society , vol. 127 (1967), paginile 50-75.
- Robert M. Solovay, Volker Strassen, „Un test rapid Monte-Carlo pentru primalitate”, în SIAM Journal on Computing , vol. 6 (1977), paginile 84-85.
Vezi și tu
Articol asociat
Model Solovay (ro)
Link extern
(ro) „ Robert Martin Solovay “ , pe site - ul genealogia matematicienilor
(fr) Acest articol este preluat parțial sau în întregime din articolul din Wikipedia engleză intitulat „ Robert M. Solovay ” ( vezi lista autorilor ) .