Derrick Henry Lehmer | |
---|---|
Derrick Henry Lehmer | |
Födelsedatum | 23 februari 1905 [1] [2] |
Födelseort |
|
Dödsdatum | 22 maj 1991 [1] [2] (86 år) |
En plats för döden |
|
Land | |
Vetenskaplig sfär | matte |
Arbetsplats | |
Alma mater | Brown University |
vetenskaplig rådgivare | Tamarkin Yakov Davidovich |
Studenter |
Tomaposteln Ronald Graham Harold Stark Peter Weinberger |
Känd som |
Författare och medförfattare till följande artiklar: Alikvotsekvens Lucas primalitetstest Lucas-Lehmer test Lucas-Lehmer-Riesel test Pocklington test Linjär kongruential metod |
Utmärkelser och priser |
Guggenheim Fellowship (1938) [3] Gibbs föreläsning (1965) |
Mediafiler på Wikimedia Commons |
Derrick Henry Lehmer _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ för Mersenne primtal . Lemaires karriär utvecklades inom talteorin . Under den stora depressionen tvingades han och hans fru byta många jobb både i USA och utomlands, vilket så småningom av en slump ledde honom till centrum för forskning inom området tidig elektronisk datoranvändning.
Lehmer föddes i Berkeley , Kalifornien till Derrick Norman Lehmer , en professor i matematik vid University of California, Berkeley, och Clara Eunice Mitchell . Han studerade fysik och fick en kandidatexamen från University of California i Berkeley [7] , varefter han fortsatte forskarstudier vid University of Chicago. [8] Under en tid arbetade han med sin far.
Medan han studerade i Berkeley träffade Lemaire Emma Markovna Trotskaya, en rysk student som studerade med sin far. Vid den tiden hade hon börjat arbeta mot en ingenjörsexamen, men koncentrerade sig därefter helt på matematik och tog sin kandidatexamen 1928. Samma år gifte sig Lemaire med Emma och efter en turné i norra Kalifornien och en resa till Japan för att träffa hennes familj Emma flyttade de med bil till Providence, Rhode Island. Brown University erbjöd senare Lamer en lärartjänst.
Lemaire tog sin M.A. och Ph.D. från Brown University 1929 respektive 1930. Hans fru fick sin magisterexamen 1930, undervisade i matematik för att komplettera familjens inkomster och hjälpte även sin man att skriva sin doktorsavhandling med ämnet: "Lucas' utökade teori om funktioner", som han arbetade med under Jacob Tamarkin .
Lehmer blev National Fellow, vilket gjorde att han kunde ta positioner vid California Institute of Technology från 1930 till 1931 och vid Stanford University från 1931 till 1932. År 1933 fick paret sitt första barn, en dotter, Laura. Efter att ha tilldelats ett andra National Research Grant, flyttade Lehmers till Princeton , New Jersey . Där bodde de från 1932 till 1934, när Derrick arbetade en tid på Institutet för avancerade studier .
Han arbetade vid Lehigh University i Pennsylvania från 1934 till 1938. 1934 föddes Derricks andra barn, sonen Donald. Familjen tillbringade 1938–1939 i England på ett Guggenheim-stipendium och arbetade vid både University of Cambridge och University of Manchester . Sedan träffade de H. H. Hardy , D. I. Littlewood , Harold Davenport , Kurt Mahler och Louis Mordell . Familjen Lehmer återvände till Amerika med skepp med sitt andra barn, Donald, strax före starten av slaget vid Atlanten .
Lemaire fortsatte att arbeta vid Lehigh University under läsåret 1939-1940.
År 1940 återinfördes Lemaire i matematikavdelningen vid University of California, Berkeley. Någon gång under sin tid där utvecklade han en linjär kongruentialgenerator (pseudo-slumptalsgenerator), som ofta kallas Lehmers slumptalsgenerator. Familjen Lehmer hjälpte också Harry Vandiver med hans arbete med Fermats sats , som behövdes för att beräkna ett stort antal Bernoulli-tal.
Lehmer var ordförande för matematikavdelningen vid University of California, Berkeley från 1954 till 1957. Där fortsatte han att arbeta vid University of Berkeley fram till 1972, då han blev hedersprofessor.
Mellan 1945 och 1946 tjänstgjorde Lemaire i beräkningskommittén på Aberdeen Proving Ground i Maryland . Han var i en grupp som inrättats inom Ballistics Research Laboratory för användning i ENIAC . Leland Cunningham och Franz Alt var också medlemmar i kommittén. Det var under denna korta tid, när Lemaire ledde utvecklingen av några av de första testprogrammen vid ENIAC, som många metoder som är viktiga för sifferteorin och genereringen av pseudo-slumpmässiga sekvenser utvecklades i enlighet med hans vetenskapliga intressen.
Han var den första som testade många befintliga matematiska teorier med hjälp av en dator. Inklusive Riemann-hypotesen om fördelningen av nollor i Riemann zeta-funktionen , som var ouppnåelig utan användning av datorer.
Under den perioden tillbringade Lemaire all sin tid med att arbeta. Det fanns också många problem med feltoleransen hos vakuumröret, eftersom det efter varje fel tog upp till tre dagar att återställa systemet till fungerande kapacitet. Den 9 juli 1946 höll Lemaire den första föreläsningen om sitt ämne, "Computing Machines for Pure Mathematics," på Moore School .
Efter det planerade Lemaire att fortsätta utveckla datoranvändning under resten av sin karriär. När han återvände till Berkeley gjorde han också planer för California Digital Computer (CALDIC) med Paul Morton och Leland Cunningham.
1950 avskedades Lemaire efter att ha vägrat att lova lojalitet till en politik som initierades av California State Board of Regents 1950 under McCarthyismens framfart . Efter sin uppsägning tog Lemaire över som chef för Institutet för numerisk analys (INA) av National Bureau of Standards och arbetade på Standardens Western Automatic Computer ( SWAC ) som installerades på INA. Den 17 oktober 1952 förklarade statens högsta domstol eden författningsstridig, och Lemaire återvände till Berkeley strax efter. [9]
Från 1950 till 1954 ledde Derrick Lehmer också tidskriften Mathematical Tables and other Aids to Computation, eller snarare, var den första ordföranden i tidskriftens styrelse.
När John Selfridge var vid Northern Illinois University bjöd han två gånger in Lemaire och Emma att tillbringa en termin där. En gång lyckades Selfridge ordna så att Pal Erdős och Lemaire tillsammans genomförde en kurs om vetenskaplig forskning av problem inom talteorin. Lemaire undervisade under de första åtta veckorna och sedan avslutade Erdős kursen.
Lemaire var ganska kvick. Med anledning av den första Kaliforniens konferens om talteori, som så småningom blev ett årligt evenemang (nu kallat West Coast Number Theory ), turnerade Lemaire som arrangör konferensens faciliteter, mestadels träbyggnader på stranden. Någon sa att de inte kunde hitta tavlan och Lemaire lade märke till en liten gardin mitt på väggen. När han sköt den åt sidan såg han en mycket liten tavla, varefter han sa: "Ja, jag tror att vi inte kommer att göra någon analys av talteorin!"
Derrick Henry Lehmer dog i Berkeley den 22 maj 1991.
Förutom hans betydande bidrag till utvecklingen av talteoretiska algoritmer för att multiplicera heltal, såsom faktorial , kolumnmultiplikation och primalitetsbevis, formulerade han också Lehmer-förmodan och bidrog till Cunningham-projektet.
Lehmer studerade matriser med rationella termer och pekade ut en klass av symmetriska matriser som kallas Lehmer-matriser. Sådana matriser har strikt negativa poster på båda sidodiagonalerna. Eftersom de kan specificeras analytiskt kan de användas för att testa inversionen av numeriska program. [tio]
1938 utvecklade han en mycket snabbare version av Euklids algoritm för mycket stora naturliga tal. [elva]
Han utvecklade också en linjär kongruent metod för att generera pseudoslumptal.
Lehmer, tillsammans med Srinivasa Ramanjuan Iyengor , undersökte -funktionen, bestämd av formeln:
Derrick Lehmer utvecklade också algoritmer för att extrahera nollor av polynom i det komplexa planet och en enparametersmetod för medelvärdesberäkning av icke-negativa tal.
Emma och Derrick Lemaires nära samarbete i talteorin liknar situationen för Pierre och Marie Curie inom fysik och kemi.
Lemaire skrev artikeln "Machines for Computing" som är det första kapitlet i boken Applied Combinatorial Mathematics av Edwin Beckenbach, 1964. Han beskriver hur man skaffar permutationer, kombinationer etc. Detta var en unikt värdefull resurs och den enda konkurrenten dök upp nyligen - 4 volym Donald Knuth .
Tematiska platser | ||||
---|---|---|---|---|
|