Derrick Henry Lehmer | |
---|---|
Derrick Henry Lehmer | |
Fødselsdato | 23. februar 1905 [1] [2] |
Fødselssted |
|
Dødsdato | 22. maj 1991 [1] [2] (86 år) |
Et dødssted |
|
Land | |
Videnskabelig sfære | matematik |
Arbejdsplads | |
Alma Mater | Brown Universitet |
videnskabelig rådgiver | Tamarkin Yakov Davidovich |
Studerende |
Tom-apostlen Ronald Graham Harold Stark Peter Weinberger |
Kendt som |
Forfatter og medforfatter til følgende artikler: Alikvotsekvens Lucas primalitetstest Lucas-Lehmer test Lucas-Lehmer-Riesel test Pocklington test Lineær kongruentiel metode |
Priser og præmier |
Guggenheim Fellowship (1938) [3] Gibbs Lecture (1965) |
Mediefiler på Wikimedia Commons |
Derrick Henry Lehmer _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ for Mersenne primtal . Lemaires karriere udviklede sig inden for talteori . Under den store depression blev han og hans kone tvunget til at skifte mange job både i USA og i udlandet, hvilket til sidst førte ham tilfældigt til centrum for forskning inden for tidlig elektronisk databehandling.
Lehmer blev født i Berkeley , Californien af Derrick Norman Lehmer , en professor i matematik ved University of California, Berkeley, og Clara Eunice Mitchell . Han studerede fysik og modtog en bachelorgrad fra University of California i Berkeley [7] , hvorefter han fortsatte kandidatstudier ved University of Chicago. [8] I nogen tid arbejdede han sammen med sin far.
Mens han studerede på Berkeley , mødte Lemaire Emma Markovna Trotskaya, en russisk studerende, som studerede med sin far. På det tidspunkt var hun begyndt at arbejde hen imod en ingeniøruddannelse, men koncentrerede sig efterfølgende helt om matematik og fik sin bachelorgrad i 1928. Samme år giftede Lemaire sig med Emma, og efter en rundrejse i det nordlige Californien og en tur til Japan for at møde hendes familie Emma, flyttede de i bil til Providence, Rhode Island. Brown University tilbød senere Lamer en lærerstilling.
Lemaire modtog sin M.A. og Ph.D. fra Brown University i henholdsvis 1929 og 1930. Hans kone modtog sin kandidatgrad i 1930, underviste i matematik for at supplere familiens indkomst, og hjalp også sin mand med at skrive sin doktorafhandling med emnet: "Lucas' udvidede teori om funktioner", som han arbejdede på under Jacob Tamarkin .
Lehmer blev National Fellow, hvilket gjorde det muligt for ham at tage stilling ved California Institute of Technology fra 1930 til 1931 og ved Stanford University fra 1931 til 1932. I 1933 fik parret deres første barn, en datter, Laura. Efter at være blevet tildelt et andet nationalt forskningsstipendium, flyttede Lehmers til Princeton , New Jersey . Der boede de fra 1932 til 1934, hvor Derrick arbejdede i nogen tid på Institute for Advanced Study .
Han arbejdede på Lehigh University i Pennsylvania fra 1934 til 1938. I 1934 blev Derricks andet barn, søn Donald, født. Familien tilbragte 1938–1939 i England på et Guggenheim Fellowship , hvor de arbejdede både på University of Cambridge og University of Manchester . Så mødte de H. H. Hardy , D. I. Littlewood , Harold Davenport , Kurt Mahler og Louis Mordell . Lehmer-familien vendte tilbage til Amerika med skib med deres andet barn, Donald, lige før starten på slaget om Atlanten .
Lemaire fortsatte med at arbejde på Lehigh University i det akademiske år 1939-1940.
I 1940 blev Lemaire genindsat i matematikafdelingen ved University of California, Berkeley. På et tidspunkt i løbet af sin tid der udviklede han en lineær kongruentialgenerator (pseudo-tilfældig talgenerator), som ofte omtales som Lehmer tilfældig talgenerator. Lehmer-familien hjalp også Harry Vandiver med hans arbejde med Fermats sætning , der var nødvendig for at beregne et stort antal Bernoulli-tal.
Lehmer var formand for matematikafdelingen ved University of California, Berkeley fra 1954 til 1957. Der fortsatte han med at arbejde ved University of Berkeley indtil 1972, hvor han blev æresprofessor.
Mellem 1945 og 1946 tjente Lemaire i Computing Committee på Aberdeen Proving Ground i Maryland . Han var i en gruppe oprettet i Ballistics Research Laboratory til brug i ENIAC . Leland Cunningham og Franz Alt var også medlemmer af udvalget. Det var i løbet af denne korte tid, hvor Lemaire ledede udviklingen af nogle af de første testprogrammer hos ENIAC, at mange metoder, der var vigtige for talteori og generering af pseudo-tilfældige sekvenser, udviklede sig i overensstemmelse med hans videnskabelige interesser.
Han var den første til at teste mange eksisterende matematiske teorier ved hjælp af en computer. Herunder Riemann-hypotesen om fordelingen af nuller af Riemann zeta-funktionen , som var uopnåelig uden brug af computere.
I den periode brugte Lemaire al sin tid på at arbejde. Der var også mange problemer med vakuumrørets fejltolerance, da det efter hver fejl tog op til tre dage at genoprette systemet til arbejdskapacitet. Den 9. juli 1946 holdt Lemaire den første forelæsning om sit emne, "Computing Machines for Pure Mathematics," på Moore School .
Derefter planlagde Lemaire at fortsætte med at udvikle computere i resten af sin karriere. Da han vendte tilbage til Berkeley, lagde han også planer for California Digital Computer (CALDIC) med Paul Morton og Leland Cunningham.
I 1950 blev Lemaire fyret efter at have nægtet at love troskab til en politik, som blev indledt af California State Board of Regents i 1950 under McCarthyismens hærgen . Efter sin afskedigelse overtog Lemaire som direktør for Institute for Numerical Analysis (INA) i National Bureau of Standards og arbejdede på Standardens Western Automatic Computer ( SWAC ), der blev installeret på INA. Den 17. oktober 1952 erklærede statens højesteret eden for forfatningsstridig, og Lemaire vendte tilbage til Berkeley kort efter. [9]
Fra 1950 til 1954 ledede Derrick Lehmer også tidsskriftet Mathematical Tables and other Aids to Computation, eller rettere sagt, var den første formand for tidsskriftets bestyrelse.
Da John Selfridge var på Northern Illinois University, inviterede han to gange Lemaire og Emma til at tilbringe et semester der. Engang lykkedes det Selfridge at arrangere, at Pal Erdős og Lemaire sammen holdt et kursus om videnskabelig forskning af problemer inden for talteori. Lemaire underviste i de første otte uger, og derefter gennemførte Erdős kurset.
Lemaire var ret vittig. I anledning af den første Californiske konference om talteori, som med tiden blev en årlig begivenhed (nu kaldet West Coast Number Theory ), turnerede Lemaire som arrangør konferencens faciliteter, for det meste træbygninger på stranden. Nogen sagde, at de ikke kunne finde tavlen, og Lemaire lagde mærke til et lille gardin midt på væggen. Han skubbede det til side og så en meget lille tavle, hvorefter han sagde: "Nå, jeg tror, vi ikke vil lave nogen analyse af talteori!"
Derrick Henry Lehmer døde i Berkeley den 22. maj 1991.
Ud over hans betydelige bidrag til udviklingen af talteoretiske algoritmer til multiplikation af heltal, såsom faktorial , kolonnemultiplikation og primaalitetsbeviser, formulerede han også Lehmer-formodningen og bidrog til Cunningham-projektet.
Lehmer studerede matricer med rationelle termer og udpegede en klasse af symmetriske matricer kaldet Lehmer-matricer. Sådanne matricer har strengt negative indgange på begge sidediagonaler. Da de kan specificeres analytisk, kan de bruges til at teste inversionen af numeriske programmer. [ti]
I 1938 udviklede han en meget hurtigere version af Euklids algoritme for meget store naturlige tal. [elleve]
Han udviklede også en lineær kongruent metode til at generere pseudo-tilfældige tal.
Lehmer, sammen med Srinivasa Ramanjuan Iyengor , undersøgte -funktionen, bestemt af formlen:
Derrick Lehmer udviklede også algoritmer til at udtrække nuller af polynomier i det komplekse plan og en en-parameter metode til gennemsnit af ikke-negative tal.
Emma og Derrick Lemaires tætte samarbejde inden for talteori ligner situationen for Pierre og Marie Curie inden for fysik og kemi.
Lemaire skrev artiklen "Machines for Computing", som er det første kapitel i bogen Applied Combinatorial Mathematics af Edwin Beckenbach, 1964. Han beskriver, hvordan man opnår permutationer, kombinationer osv. Dette var en unik værdifuld ressource, og den eneste konkurrent dukkede op for nylig - 4 bind Donald Knuth .
![]() | ||||
---|---|---|---|---|
|