Nightingale, Robert

Robert Nightingale
engelsk Robert Martin Soloway

Födelsedatum	15 december 1938( 1938-12-15 ) (83 år)
Födelseort	Brooklyn , New York , New York , USA
Land	USA
Vetenskaplig sfär	matte
Arbetsplats	UC Berkeley
Alma mater	University of Chicago
Akademisk examen	läkare
Akademisk titel	Professor
vetenskaplig rådgivare	Saunders McLain
Studenter	Hugh Woodin , Matthew Foreman
Utmärkelser och priser	Paris Kanellakis Award ( 2003 )
Mediafiler på Wikimedia Commons

Robert Martin Solovay ( född 15 december 1938 , Brooklyn ) är en amerikansk matematiker som arbetar inom mängdlära och under många år innehade en professur vid University of California i Berkeley .

Han tog sin doktorsexamen från University of Chicago 1964 under överinseende av Saunders MacLane med en avhandling om "The functorial form of the Riemann-Roch differentiating theorem " . Anmärkningsvärda studenter inkluderar Hugh Woodin och Matthew Foreman.

Bidrag till vetenskapen

Bland de mest kända prestationerna som visar (beträffande förekomsten av otillgängliga kardinaler) att uttalandet: "varje uppsättning reella tal är Lebesgue-mätbara " överensstämmer med Zermelo-Fraenkels mängdteori utan valets axiom , såväl som det exklusiva konceptet om 0 # . Nightingale bevisade att förekomsten av en verkligt numerisk mätbar kardinal är ekvikonstant för en existerande mätbar kardinal. Han visade sig också vara en strikt begränsad singular kardinal större än en strikt liten kardinal, sedan konserverad. I ett annat viktigt arbete bevisade han att om a är en oräknelig konstant kardinal och a är en konstant mängd, så kan den brytas upp till en förening av frånkopplade konstantmängder. $\lambda$ ${\displaystyle 2^{\lambda }=\lambda ^{+))$ $\kappa$ $S\subseteq \kappa$ $S$ $\kappa$

På 1970-talet, tillsammans med Dana Scott och Petr Vopěnka ( tjeckiska Petr Vopěnka ), utvecklade han teorin om booleska värderade modeller , som blev en betydande trend inom icke-standardiserad analys .

Har ett antal prestationer utanför mängdläran; Tillsammans med Volker Strassen utvecklade han Solovay-Strassen primalitetstestet , som används för att identifiera stora naturliga tal som är primtal med hög sannolikhet , och som hade viktiga konsekvenser för utvecklingen av datorkryptografi .

Utmärkelser

2003 fick Robert Nightingale, Volker Strassen , Harry Miller och Michael Rabin Paris Kanellakis -priset för sina bidrag till utvecklingen av en metod för att probabilistiskt testa talens primaalitet.

Utvalda publikationer

Nightingale, Robert M. En modell för mängdteori där varje uppsättning reella tal är Lebesgue-mätbar // Annals of Mathematics. Andra upplagan: tidning. - 1970. - T. 92 . - S. 1-56 . (ryska)
Nightingale, Robert M. Icke-konstruerbar Δ 1 3 uppsättning heltal // Proceedings of the American Mathematical Society: journal. - 1967. - T. 127 . - S. 50-75 . - doi : 10.2307/1994631 . (ryska)
Nightingale, Robert M. och Volker Strassen. Snabbt Monte Carlo-test för enkelhet // SIAM Journal on Computing : journal. - 1977. - Vol. 6 , nr. 1 . - S. 84-85 . - doi : 10.1137/0206006 .

Länkar

Vinnare av Kanellakis-priset

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

Tematiska platser	Matematisk släktforskning zbMATH Öppna
I bibliografiska kataloger	ISNI : 0000 0000 5374 8750 LCCN : nr2007066038 VIAF : 19458568 WorldCat VIAF : 19458568