Lehmer, Derrick Henry

Derrick Henry Lehmer
Derrick Henry Lehmer
Födelsedatum 23 februari 1905( 23-02-1905 ) [1] [2]
Födelseort
Dödsdatum 22 maj 1991( 1991-05-22 ) [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.

Tidiga år och utbildning

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.

Äktenskap

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.

Vetenskaplig verksamhet

Tidig karriär

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 .

Livet under den stora depressionen

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.

Återgå till Berkeley

Å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.

Deltagande i ENIAC

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.

Livet under Joseph McCarthy

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.

Senare år

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!"

Död

Derrick Henry Lehmer dog i Berkeley den 22 maj 1991.

Inverkan på vetenskapen

Talteori och matematiska metoder

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.

Combinatorics

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 .

Anteckningar

  1. 1 2 3 4 5 MacTutor History of Mathematics Archive
  2. 1 2 Derrick H. Lehmer // Solomon Guggenheim Museum - 1937.
  3. ^ Derrick Lemaire på webbplatsen för John Simon Guggenheim Memorial Foundation . Hämtad 12 maj 2017. Arkiverad från originalet 20 december 2019.
  4. 1 2 3 https://www.gf.org/fellows/all-fellows/derrick-h-lehmer/
  5. Freebase-datanedladdning - Google .
  6. http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-aav62i3p207bwm - s. 208.
  7. Marilyn Kwock. The Lehmers at Berkeley Exhibit:  Introduction . bancroft.berkeley.edu. Datum för åtkomst: 16 december 2016. Arkiverad från originalet 20 december 2016.
  8. ^ Derrick Lehmer - Mathematics Genealogy  Project . genealogy.math.ndsu.nodak.edu. Hämtad 16 december 2016. Arkiverad från originalet 20 augusti 2018.
  9. University of California History Digital  Archives . www.lib.berkeley.edu. Datum för åtkomst: 16 december 2016. Arkiverad från originalet den 7 november 2016.
  10. Lemaire. Linjär och multilinjär algebra  . - 1991. - S. 251-264.
  11. D. H. Lehmer. Euklids algoritm för stora tal. (engelska) . — DH Lehmer: Euklids algoritm för stora tal. amer. Math., 1938, s. 227–233.

Länkar