Nightingale, Robert

Robert Nightingale
engelsk Robert Martin Soloway

Fødselsdato	15. december 1938( 1938-12-15 ) (83 år)
Fødselssted	Brooklyn , New York , New York , USA
Land	USA
Videnskabelig sfære	matematik
Arbejdsplads	UC Berkeley
Alma Mater	University of Chicago
Akademisk grad	læge
Akademisk titel	Professor
videnskabelig rådgiver	Saunders McLain
Studerende	Hugh Woodin , Matthew Foreman
Præmier og præmier	Paris Kanellakis Award ( 2003 )
Mediefiler på Wikimedia Commons

Robert Martin Solovay ( født 15. december 1938 , Brooklyn ) er en amerikansk matematiker , der arbejder inden for mængdelære , og havde i mange år et professorat ved University of California i Berkeley .

Han modtog sin ph.d.-grad fra University of Chicago i 1964 under vejledning af Saunders MacLane med en afhandling om "Den funktionelle form af Riemann-Rochs differentieringsteorem " . Bemærkelsesværdige studerende inkluderer Hugh Woodin og Matthew Foreman.

Bidrag til videnskaben

Blandt de mest kendte præstationer, der viser (med hensyn til eksistensen af utilgængelige kardinaler), at udsagnet: "hvert sæt af reelle tal er Lebesgue-målbare " er i overensstemmelse med Zermelo-Fraenkels mængdeteori uden valgaksiomet , såvel som det eksklusive koncept om 0 # . Nightingale beviste, at eksistensen af en reelt numerisk målbar kardinal er ækvikonstant for en eksisterende målbar kardinal. Han viste sig også at være en strengt begrænset ental kardinal større end en strengt lille kardinal, derefter bevaret. I et andet vigtigt værk beviste han, at hvis a er en utallig konstant kardinal og a er en konstant mængde, så kan den nedbrydes til en forening af adskilte konstantmængder. $\lambda$ ${\displaystyle 2^{\lambda }=\lambda ^{+))$ $\kappa$ $S\subseteq \kappa$ $S$ $\kappa$

I 1970'erne udviklede han sammen med Dana Scott og Petr Vopěnka ( tjekkiske Petr Vopěnka ) teorien om boolske værdisatte modeller , som blev en væsentlig tendens inden for ikke-standardanalyse .

Har en række præstationer uden for mængdelæren; sammen med Volker Strassen udviklede han Solovay -Strassen primalitetstesten , som bruges til at identificere store naturlige tal , der er primtal med høj sandsynlighed , og som havde vigtige implikationer for udviklingen af computerkryptografi .

Priser

I 2003 modtog Robert Nightingale, Volker Strassen , Harry Miller og Michael Rabin Paris Kanellakis -prisen for deres bidrag til udviklingen af en metode til sandsynlighedstest af tals primaalitet.

Udvalgte publikationer

Nightingale, Robert M. En model for mængdeteori, hvor hvert sæt reelle tal er Lebesgue-målbare // Annals of Mathematics. Anden udgave: magasin. - 1970. - T. 92 . - S. 1-56 . (Russisk)
Nightingale, Robert M. Ikke-konstruerbart Δ 1 3 sæt af heltal // Proceedings of the American Mathematical Society: journal. - 1967. - T. 127 . - S. 50-75 . - doi : 10.2307/1994631 . (Russisk)
Nightingale, Robert M. og Volker Strassen. Hurtig Monte Carlo Test for Simplicity // SIAM Journal on Computing : journal. - 1977. - Bd. 6 , nr. 1 . - S. 84-85 . - doi : 10.1137/0206006 .

Links

Vindere af Kanellakis-prisen

Adleman , Diffie , Hellman , Merkle , Rivest , Shamir (1996)
Lempel , Ziv (1997)
Bryant , Clarke , Emerson , Macmillan (1998)
Slitor , Tarjan (1999)
Karmarkar (2000)
Myers (2001)
Franashek (2002)
Miller , Rabin , Nightingale , Strassen (2003)
Freund , Shapire (2004)
Holtzmann , Kurshan , Vardi , Wolpe (2005)
Brighton (2006)
Buchberger (2007)
Cortes , Vapnik (2008)
Bellare , Rogaway (2009)
Melhorn (2010)
Samet (2011)
Brodeur , Charikar , Tyrkiet (2012)
Blumoff , Leizerson (2013)
Demmel (2014)
Laby (2015)
Fiat , Naor (2016)
Schenker (2017)
Pevsner (2018)

Tematiske steder	Matematisk genealogi zbMATH Åbn
I bibliografiske kataloger	ISNI : 0000 0000 5374 8750 LCCN : nr. 2007066038 VIAF : 19458568 WorldCat VIAF : 19458568