Derrick Henry Lehmer

Derrick Lehmer (1984)

Derrick Henry Lehmer (* 23. Februar 1905 in Berkeley (Kalifornien); † 22. Mai 1991 ebenda) war ein US-amerikanischer Mathematiker, spezialisiert auf Zahlentheorie.

Leben

Lehmer wurde schon als Kind in sein späteres Arbeitsgebiet hineingezogen, da sein Vater Derrick Norman Lehmer (1867–1938) mit Hilfe mechanischer Rechengeräte Primzahltafeln und Faktor-Tabellen erstellte. Er studierte zunächst Physik an der University of California, Berkeley, wo sein Vater Professor für Mathematik war. Als Student arbeitete er an einer Realisierung von Faktorisierungs-Algorithmen für seinen Vater mit Lochkarten-Rechnern, wobei er von seiner späteren Frau Emma Markovna Trotskaya, die ebenfalls in Berkeley studierte, unterstützt wurde. 1927 machte er seinen B.A. in Physik und begann an einer Promotion beim führenden amerikanischen Zahlentheoretiker Leonard Eugene Dickson in Chicago zu arbeiten. Da er mit diesem nicht zurechtkam, wechselte er zu Jacob David Tamarkin an die Brown University in Rhode Island, wo er 1930 promovierte.<ref>Derrick Henry Lehmer im Mathematics Genealogy Project (englisch){{#if: abgerufen am 24. Juli 2025.| abgerufen am 24. Juli 2025. }} {{#if: 4283 | {{#ifeq: {{#property:P549}} | 4283 | | {{#if: {{#property:P549}} | {{#if: | | }} | {{#if: | | }} }} }} }}</ref>

Danach ging er mit einem staatlichen Stipendium versehen 1930/31 ans California Institute of Technology und danach für ein Jahr an die Stanford University sowie an das Institute for Advanced Study in Princeton (New Jersey), bevor er eine Dozentur an der Lehigh University erhalten konnte. Bis auf einen Besuch in England 1938/39 bei Godfrey Harold Hardy, John Edensor Littlewood, Harold Davenport, Kurt Mahler, Louis Mordell und Paul Erdős blieben er und seine Frau bis 1940 in Lehigh, bevor er einen Posten an seiner Heimatuniversität Berkeley erhalten konnte. In den Kriegsjahren arbeiteten er und seine Frau als Operatoren für den ENIAC auf dem Aberdeen-Testgelände der US-Armee: tagsüber an ballistischen Rechnungen, nachts war Zeit für die Zahlentheorie. Als er 1950 in Berkeley einen von Joseph McCarthy forcierten Loyalitäts-Eid verweigerte, verlor er kurzzeitig seinen Posten, was er mit Arbeiten für das National Bureau of Standards überbrückte. Nach seiner Wiedereinstellung erhielt er Anerkennung und Ehrungen, etwa als Vizepräsident der American Mathematical Society und als Governor at Large der Association for Computing Machinery 1953–1954.

Bei der Gründung der Zeitschrift "Mathematical Tables and other Aids to Computation" (MTAC, heute "Mathematics of Computation") im Januar 1943 durch Raymond Clare Archibald gehörte er dem Beirat an und wurde bereits 1944 zweiter Herausgeber. Nachdem Archibald Ende 1949 in den Ruhestand gegangen war, leitete Lehmer von 1950 bis 1954 als First Chairman das Editorial Committee der Zeitschrift.

Von 1954 bis 1957 leitete er das Mathematics Department der University of California in Berkeley. 1958 war er Invited Speaker auf dem Internationalen Mathematikerkongress in Edinburgh (Discrete variable methods in numerical analysis). Im Jahr 1972 ging er in den Ruhestand. Er erhielt 1980 die Ehrendoktorwürde von der Brown University.
Lehmer wurde am 50. Todestag von Carl Friedrich Gauß geboren. Das veranlasste Daniel Shanks 1989 zu einer scherzhaften Bemerkung, die sich auf seine gemeinsame Arbeit mit Lehmer an einem von Gauß angeregten Problem bezog.<ref>R. A. Mollin: Number Theory and applications. Banff 1988 Kluwer, Dordrecht, 1989, S. 194.</ref>

Die Lehmers hatten eine Tochter (Laura Lehmer Gould, * 1932) und einen Sohn (Donald, * 1934).

Werk

Lehmer war ein Pionier in der Anwendung von Computern oder allgemein numerischer Verfahren in der Zahlentheorie. Er fand eine verbesserte Version des von Édouard Lucas stammenden Lucas-Tests und weitere Verfahren zum Nachweis der Primalität natürlicher Zahlen. Der Lucas-Lehmer-Test für Mersenne-Primzahlen ist nach Lucas und ihm benannt.<ref>Siehe Ribenboim: Die Welt der Primzahlen, 1996, S. 80.</ref> Er war auch einer der ersten, die die Riemannhypothese elektronisch überprüften. Dabei entdeckte er unerwartet eng benachbarte Nullstellen der riemannschen Zetafunktion, die heute Lehmer-Paare<ref>math.kent.edu</ref> genannt werden.

Ferner konstruierte Lehmer in der Nachfolge seines Vaters<ref>D. N. Lehmer: Hunting big game in the theory of numbers. Scripta Mathematica 1, 1933, S. 229–235. Unterhaltsame Beschreibung der Faktorzerlegung als Großwildjagd ebenfalls online als Abschrift durch Richard Schroeppel</ref> verschiedene Geräte<ref>ed-thelen.org</ref> für das Siebverfahren zum Berechnen einer Lösung von zahlentheoretischen Kongruenzen, in erster Linie für Primfaktorzerlegungen – 1926 mit Fahrradketten, 1932 mit optischen Zahnrädern (ausgestellt auf der Weltausstellung 1933/34 in Chicago), 1936 mit 16-mm-Filmstreifen<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20100223044817

      | {{#ifeq: 20100223044817 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Archivierte Kopie | {{#invoke:WLink|getEscapedTitle|Archivierte Kopie}} | {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20100223044817}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Archivierte Kopie | {{#invoke:WLink|getEscapedTitle|Archivierte Kopie}} | {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20100223044817}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Archivierte Kopie | {{#invoke:WLink|getEscapedTitle|Archivierte Kopie}} | {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Archivierte Kopie | {{#invoke:WLink|getEscapedTitle|Archivierte Kopie}} | {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Archivierte Kopie | {{#invoke:WLink|getEscapedTitle|Archivierte Kopie}} | {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Archivierte Kopie | {{#invoke:WLink|getEscapedTitle|Archivierte Kopie}} | {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20100223044817|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: Archivierte Kopie
    | {{#if: {{#invoke:WLink|isBracketedLink|Archivierte Kopie}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.computerhistory.org/VirtualVisibleStorage/artifact_frame.php?tax_id=01.01.06.00 }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref>, 1966 Delay Line Sieve ("Dick Lehmers Sieve") DLS-127, 1969 DLS-157, 1975 Shift Register Sieve SRS-181, und programmierte das Siebverfahren auf den Computern SWAC, IBM 7094 und ILLIAC IV.

Er entwickelte bereits im Jahr 1938 eine wesentlich beschleunigte Variante des euklidischen Algorithmus für sehr große natürliche Zahlen.<ref>D. H. Lehmer: Euclid’s algorithm for large numbers. Amer. Math. Monthly 45 (1938), S. 227–233.</ref> Im Jahr 1959 verbesserte er die Formel des Astronomen Ernst Meissel für die Anzahl der Primzahlen <math>\pi(x)</math> bis zu einer gegebenen Grenze <math>x</math> und konnte mit seiner Methode <math>\pi(10^{10})</math> berechnen. Kurz darauf erwies sich jedoch sein Wert als um 1 zu groß.<ref>E. Bach, J. Shallit: Algorithmic Number Theory, Vol. I, MIT Press 1996, S. 300.</ref>

Die Lehmersche Konstante<ref>{{#if: Eric Weisstein | Eric Weisstein | Eric W. Weisstein }}: Lehmer’s Constant. In: MathWorld (englisch). {{#if: LehmersConstant | {{#ifeq: {{#property:P2812}} | LehmersConstant | | {{#if: {{#property:P2812}} | {{#ifeq: 0 | 0 | }} | {{#ifeq: 0 | 0 | }} }} }} }}</ref> <math>0{,}5926327182...</math> ist diejenige reelle Zahl, deren (erstmals von Lehmer eingeführte) Kotangensentwicklung am langsamsten konvergiert.

Lehmer befasste sich mit der ursprünglich von S. Ramanujan untersuchten <math>\tau</math>-Funktion, definiert durch

<math>\sum_{n = 1}^{\infty} \tau(n)x^n = x((1-x)(1-x^2)(1-x^3)...)^{24}</math>

und stellte 1947 die Lehmersche Vermutung auf, dass <math>\tau(n)</math> für kein natürliches <math>n</math> den Wert Null annimmt (vgl. Ramanujansche tau-Funktion).

Der Lehmer-Schur-Algorithmus ist ein Verfahren zur Isolierung der Nullstellen eines Polynoms in der komplexen Ebene.<ref>D. H. Lehmer: A machine method for solving polynomial equations. Journal ACM 8 (1961), S. 151–162.</ref> Es beruht auf einem Kriterium zur Bestimmung der Nullstellenanzahl des Polynoms in einem Kreis mit gegebenem Mittelpunkt und Radius und auf systematischer Verallgemeinerung der eindimensionalen Intervallschachtelung.<ref>I. Schur: Über Potenzreihen, die im Innern des Einheitskreises beschränkt sind. Journal Reine Angew. Math. 148 (1918), S. 122–145, speziell S. 134.</ref>

Ein parametrisches Verfahren zur Mittelwertbildung nichtnegativer Zahlen, das einige der gebräuchlichsten Mittelwerte als Spezialfälle liefert, wird als Lehmer-Mittel bezeichnet.

Das (ungelöste) Lehmersche Problem<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20090405171439

      | {{#ifeq: 20090405171439 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: cecm.sfu.ca | {{#invoke:WLink|getEscapedTitle|cecm.sfu.ca}} | {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20090405171439}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: cecm.sfu.ca | {{#invoke:WLink|getEscapedTitle|cecm.sfu.ca}} | {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20090405171439}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: cecm.sfu.ca | {{#invoke:WLink|getEscapedTitle|cecm.sfu.ca}} | {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: cecm.sfu.ca | {{#invoke:WLink|getEscapedTitle|cecm.sfu.ca}} | {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: cecm.sfu.ca | {{#invoke:WLink|getEscapedTitle|cecm.sfu.ca}} | {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: cecm.sfu.ca | {{#invoke:WLink|getEscapedTitle|cecm.sfu.ca}} | {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20090405171439|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|Vorlage:FormatDate/Wartung/Error}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.cecm.sfu.ca/~mjm/Lehmer/}}
    || {{#if:  || }} URL/Pfad ungültig.
  }}{{#if: cecm.sfu.ca
    | {{#if: {{#invoke:WLink|isBracketedLink|cecm.sfu.ca}}
        | {{#if:  || }} Linktext ungültig.
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt Linktext fehlt.
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.cecm.sfu.ca/~mjm/Lehmer/%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.cecm.sfu.ca/~mjm/Lehmer/%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.cecm.sfu.ca/~mjm/Lehmer/ }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref> fragt danach, ob ein von Lehmer entdecktes ganzzahliges Polynom 10. Grades mit seinen außerhalb des komplexen Einheitskreises liegenden Nullstellen bezüglich ihrer Nähe zu diesem Einheitskreis übertroffen werden kann (genauer wird nach der Existenz einer unteren Schranke <math>C > 1</math> für das sogenannte Mahler-Maß eines Polynoms gefragt, dessen Koeffizienten ganze Zahlen sind). Die größte reelle Nullstelle dieses Polynoms <math>1{,}17628</math> wird als Lehmers Zahl bezeichnet.<ref>Eriko Hironaka: What is Lehmer’s number? (PDF-Datei; 61 kB)</ref>

Auch das sogenannte Totient-Problem von Lehmer<ref>math.dartmouth.edu</ref><ref>Richard G. E. Pinch; A note on Lehmer’s totient problem Poster (PDF-Datei; 48 kB) bei ANTS VII (2006)</ref> gehört zu den einfach zu stellenden, aber bisher völlig ungelösten Fragen: Gibt es eine zusammengesetzte natürliche Zahl <math>n</math>, so dass mit der eulerschen φ-Funktion <math>\varphi(n) | (n-1)</math> gilt? Ein solches <math>n</math> wäre eine äußerst bemerkenswerte Fermatsche Pseudoprimzahl, andererseits hätte die Nichtexistenz einer solchen Zahl das (noch fragliche) Primzahlkriterium <math>\,n \equiv 1 \mod \varphi(n)\,</math> zur Folge.

Als Lehmer-Matrizen wird eine von Lehmer angegebene Familie symmetrischer Matrizen mit rationalen Elementen bezeichnet.<ref>D. H. Lehmer: Matrix paraphrases. Linear and Multilinear Algebra 28 (1991), Nr. 4, S. 251–264.</ref> Deren Inverse sind tridiagonale Matrizen mit strikt negativen Elementen auf beiden Nebendiagonalen. Da sie sich analytisch angeben lassen, können sie zum Test von numerischen Invertierungsprogrammen verwendet werden.

Als Lehmer-Code wird eine eineindeutige Zuordnung zwischen einer Permutation und einer positiven ganzen Zahl in fakultätsbasierter Zahlendarstellung (engl. factorial number system) bezeichnet.<ref>R. Mantaci, F. Rakotondrajao: A permutation representation that knows what “Eulerian” means. (mit Verweis auf Originalquelle; PDF; 92 kB)</ref>

Die Lehmer Five sind diejenigen fünf natürlichen Zahlen (276, 552, 564, 660, 966) unterhalb 1000, für die das asymptotische Verhalten ihrer „aliquoten Folge“, der Folge der iterierten Summe aller echten Teiler, noch nicht geklärt werden konnte.<ref>aliquot.de</ref>

Die Suche nach Cunningham-Ketten geht ebenfalls auf Lehmer zurück. Das sind Ketten von Primzahlen, in denen benachbarte Glieder <math>p_i = 2 \cdot p_{i-1} + 1</math> erfüllen (die Motivation stammt von Primzahltests vom Lucas-Typ, bei denen für den Test, ob <math>p</math> prim ist, <math>(p-1)</math> faktorisiert werden muss). Lehmer fand drei solche Ketten aus sieben Primzahlen, bei denen die kleinste Primzahl kleiner als <math>10^7 </math> ist.<ref>Siehe Richard K. Guy Unsolved Problems in Number Theory, Springer Verlag 1994, S. 18.</ref>

Die enge Zusammenarbeit von Emma und Derrick Lehmer in der Zahlentheorie findet eigentlich nur ein Pendant bei den Ehepaaren Pierre und Marie Curie sowie deren Tochter Irène mit ihrem Ehemann Frédéric Joliot-Curie in der Physik und Chemie.

Er war unter anderem Doktorvater von Tom Apostol, John Brillhart, Ronald Graham, David Singmaster, Harold Stark und Peter Weinberger.

Schriften

Guide to Tables in the Theory of Numbers Washington, D.C. 1941, Nachdruck 1961
Selected papers 1981.<ref>openlibrary.org</ref>
mit John Brillhart, John L. Selfridge, Bryant Tuckerman, S. S. Wagstaff Jr.: Factorizations of <math>b^n</math> ± 1, b = 2, 3, 5, 6, 7, 10, 11, 12 up to high powers, American Mathematical Society 1983, 3. Auflage, 2002<ref>ams.org</ref>
An extended theory of Lucas’ functions. Annals of Mathematics, Band 31 (1930), S. 419–448.
A machine for combining sets of linear congruences. Mathematische Annalen, Band 109 (1934), S. 661–667.<ref>gdz.sub.uni-goettingen.de</ref>
The Vanishing of Ramanujan’s Function tau(n). Duke Math. J., Band 14 (1947), S. 429–433.
Mechanized mathematics. Bulletin of the American Mathematical Society, 1966.<ref>ams.org</ref>

Literatur

Leo Corry: Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850–1960), and beyond, Archive History Exact Sciences, 62, 2008, 393–455

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Derrick Henry Lehmer}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:|{{{1}}}|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if:

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if:

   | {{#ifeq: {{#invoke:Str|left||9}} 
       | category:

| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

{{#if: |{{{author}}}: |John J. O’Connor, Edmund F. Robertson: }}[https://mathshistory.st-andrews.ac.uk/{{#switch:

| bio = Biographies | cur = Curves | ex = Extras | ht = HistTopics | misc = Miscellaneous | soc = Societies | #default = Biographies }}/Lehmer_Derrick/ Derrick Henry Lehmer.] In: {{#invoke:Vorlage:lang|flat}}{{#if: |, {{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}}} (englisch).

Biografie von John Brillhart in Acta Arithmetica (PDF; 191 kB)
Leo Corry: Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory. IEEE Annals of the History of Computing 30 Nr. 1, 2008, S. 38–49. (PDF; 442 kB)
Lehmer-Ausstellung an der Universität Berkeley
Lehmer an der Universität Berkeley
Derrick Henry Lehmer in der Datenbank zbMATH

Einzelnachweise

{{#ifeq: p | p | | {{#if: 120973979n8714792744381723 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 120973979n8714792744381723 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: p | p | {{#if: 120973979 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 120973979 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n87147927 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n87147927 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 44381723 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 44381723 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Lehmer, Derrick Henry | {{#if: Lehmer, Derrick | {{#if: US-amerikanischer Mathematiker | {{#if: 23. Februar 1905 | {{#if: Berkeley (Kalifornien) | {{#if: 22. Mai 1991 | {{#if: Berkeley (Kalifornien) |

Personendaten
NAME	Lehmer, Derrick Henry }}
ALTERNATIVNAMEN	Lehmer, Derrick }}
KURZBESCHREIBUNG	US-amerikanischer Mathematiker }}
GEBURTSDATUM	23. Februar 1905 }}
GEBURTSORT	Berkeley (Kalifornien) }}
STERBEDATUM	22. Mai 1991 }}
STERBEORT	Berkeley (Kalifornien) }}

Vorlage:Wikidata-Registrierung