Satakieli, Robert

Robert Nightingale
Englanti Robert Martin Soloway

Syntymäaika	15. joulukuuta 1938( 1938-12-15 ) (83-vuotias)
Syntymäpaikka	Brooklyn , New York , New York , Yhdysvallat
Maa	USA
Tieteellinen ala	matematiikka
Työpaikka	UC Berkeley
Alma mater	Chicagon yliopisto
Akateeminen tutkinto	lääkäri
Akateeminen titteli	Professori
tieteellinen neuvonantaja	Saunders McLain
Opiskelijat	Hugh Woodin , Matthew Foreman
Palkinnot ja palkinnot	Paris Kanellakis -palkinto ( 2003 )
Mediatiedostot Wikimedia Commonsissa

Robert Martin Solovay ( s . 15. joulukuuta 1938 , Brooklyn ) on yhdysvaltalainen matemaatikko , joka työskentelee joukkoteorian parissa ja toimi useiden vuosien ajan professorina Kalifornian yliopistossa Berkeleyssä .

Hän suoritti tohtorintutkinnon Chicagon yliopistosta vuonna 1964 Saunders MacLanen valvonnassa tutkielmalla " Riemann-Rochin differentioivan lauseen funktionaalinen muoto " . Huomattavia opiskelijoita ovat Hugh Woodin ja Matthew Foreman.

Avustus tieteeseen

Tunnetuimpien saavutusten joukossa, jotka osoittavat (koskee saavuttamattomien kardinaalien olemassaoloa), että väite: "jokainen reaalilukujoukko on Lebesguen mitattavissa " on sopusoinnussa Zermelo-Fraenkelin joukkoteorian kanssa ilman valinnan aksioomaa , sekä yksinomaisen käsitteen kanssa. 0 # . Nightingale osoitti, että reaalinumeerisen mitattavan kardinaalin olemassaolo on yhtä vakio kuin olemassa oleva mitattavissa oleva kardinaali. Hän osoittautui myös tiukasti rajoitetuksi yksittäiseksi kardinaaliksi, joka oli suurempi kuin tiukasti pieni kardinaali, sitten konservoitunut. Toisessa tärkeässä työssä hän osoitti, että jos a on lukematon vakio kardinaali ja a on vakiojoukko, niin se voidaan hajottaa irrotettujen vakiojoukkojen liitoksi. $\lambda$ ${\displaystyle 2^{\lambda }=\lambda ^{+))$ $\kappa$ $S\subseteq \kappa$ $S$ $\kappa$

1970-luvulla hän kehitti yhdessä Dana Scottin ja Petr Vopěnkan ( tšekki Petr Vopěnka ) kanssa Boolen arvostettujen mallien teorian , josta tuli merkittävä suuntaus epästandardianalyysissä .

Hänellä on useita saavutuksia joukkoteorian ulkopuolella; Volker Strassenin kanssa hän kehitti Solovay-Strassenin primaalisuustestin , jota käytetään tunnistamaan suuret luonnolliset luvut , jotka ovat alkulukuja suurella todennäköisyydellä ja jolla oli merkittäviä vaikutuksia tietokonesalauksen kehitykseen .

Palkinnot

Vuonna 2003 Robert Nightingale, Volker Strassen , Harry Miller ja Michael Rabin saivat Paris Kanellakis -palkinnon panoksestaan lukujen primaalisuuden todennäköisyystestauksen menetelmän kehittämisessä.

Valitut julkaisut

Nightingale, Robert M. Joukkoteorian malli, jossa jokainen reaalilukujoukko on Lebesguen mitattavissa // Annals of Mathematics. Toinen painos: aikakauslehti. - 1970. - T. 92 . - S. 1-56 . (Venäjän kieli)
Nightingale, Robert M. Ei-konstruoitava Δ 1 3 kokonaislukusarja // Proceedings of the American Mathematical Society : Journal. - 1967. - T. 127 . - S. 50-75 . - doi : 10.2307/1994631 . (Venäjän kieli)
Nightingale, Robert M. ja Volker Strassen. Nopea Monte Carlo -testi yksinkertaisuudelle // SIAM Journal on Computing : päiväkirja. - 1977. - Voi. 6 , ei. 1 . - s. 84-85 . - doi : 10.1137/0206006 .

Linkit

Kanellakis-palkinnon voittajat

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 , Turkki (2012)
Blumoff , Leizerson (2013)
Demmel (2014)
Laby (2015)
Fiat , Naor (2016)
Schenker (2017)
Pevsner (2018)

Temaattiset sivustot	Matemaattinen sukututkimus zbMATH Avoinna
Bibliografisissa luetteloissa	ISNI : 0000 0000 5374 8750 LCCN : no2007066038 VIAF : 19458568 WorldCat VIAF : 19458568