Robert Nightingale | |
---|---|
Engleză Robert Martin Soloway | |
| |
Data nașterii | 15 decembrie 1938 (83 de ani) |
Locul nașterii | |
Țară | |
Sfera științifică | matematica |
Loc de munca | UC Berkeley |
Alma Mater | Universitatea din Chicago |
Grad academic | doctor |
Titlu academic | Profesor |
consilier științific | Saunders McLain |
Elevi | Hugh Woodin , Matthew Foreman |
Premii și premii | Premiul Paris Kanellakis ( 2003 ) |
Fișiere media la Wikimedia Commons |
Robert Martin Solovay ( născut la 15 decembrie 1938 , Brooklyn ) este un matematician american care lucrează în domeniul teoriei mulțimilor și de mulți ani a ocupat o profesie la Universitatea din California din Berkeley .
Și-a luat doctoratul de la Universitatea din Chicago în 1964, sub supravegherea lui Saunders MacLane , cu o teză despre „Forma functorială a teoremei de diferențiere Riemann-Roch ” . Printre studenți de seamă se numără Hugh Woodin și Matthew Foreman.
Printre cele mai cunoscute realizări care arată (referitor la existența cardinalilor inaccesibili) că afirmația: „fiecare set de numere reale este măsurabil Lebesgue ” este în concordanță cu teoria mulțimilor Zermelo-Fraenkel fără axioma alegerii , precum și conceptul exclusiv de 0 # . Nightingale a demonstrat că existența unui cardinal măsurabil numeric real este echiconstant pentru un cardinal măsurabil existent. De asemenea, s-a dovedit a fi un cardinal singular strict limitat mai mare decât un cardinal strict mic, apoi conservat. Într-o altă lucrare importantă, el a demonstrat că, dacă a este un cardinal constant nenumărat și a este o mulțime constantă, atunci poate fi descompus într-o uniune de mulțimi constante deconectate.
În anii 1970, împreună cu Dana Scott și Petr Vopěnka ( cehă Petr Vopěnka ), a dezvoltat teoria modelelor valoroase booleene , care a devenit o tendință semnificativă în analiza non-standard .
Are un număr de realizări în afara teoriei mulțimilor; împreună cu Volker Strassen , a dezvoltat testul de primalitate Solovay-Strassen , care este folosit pentru a identifica numere naturale mari care sunt prime cu o probabilitate mare și care a avut implicații importante pentru dezvoltarea criptografiei computerizate .
În 2003, Robert Nightingale, Volker Strassen , Harry Miller și Michael Rabin au primit premiul Paris Kanellakis pentru contribuțiile lor la dezvoltarea unei metode de testare probabilistică a primordialității numerelor.
premiului Kanellakis | Câștigătorii|
---|---|
|
![]() | |
---|---|
În cataloagele bibliografice |
|