Zum Inhalt springen

Juris Hartmanis

aus Wikipedia, der freien Enzyklopädie
Datei:Juris Hartmanis(2002).jpg
Juris Hartmanis (2002)

Juris Hartmanis (* 5. Juli 1928 in Riga, Lettland; † 29. Juli 2022<ref>{{#if:|{{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}| |}}}}{{#if:|{{{autor}}}: }}{{#if:|{{#if:Juris Hartmanis 1928-2022|[{{#invoke:Vorlage:Internetquelle|archivURL|1={{#invoke:URLutil|getNormalized|1={{{archiv-url}}}}}}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=Juris Hartmanis 1928-2022}}]{{#if:| ({{{format}}})}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}|{{#if:https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/%7C{{#if:{{#invoke:TemplUtl%7Cfaculty%7C}}%7C{{#invoke:Vorlage:Internetquelle%7CTitelFormat%7Ctitel={{#invoke:WLink%7CgetEscapedTitle%7C1=Juris Hartmanis 1928-2022}}}}|[{{#invoke:URLutil|getNormalized|1=https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/}} {{#invoke:Vorlage:Internetquelle|TitelFormat|titel={{#invoke:WLink|getEscapedTitle|1=Juris Hartmanis 1928-2022}}}}]}}{{#if:| ({{{format}}}{{#if:usobit.com{{#if: 2022-07-29 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}} 

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/}}%7C%7C}}}}{{#if:Juris Hartmanis 1928-2022|{{#if:{{#invoke:WLink|isValidLinktext|1=Juris Hartmanis 1928-2022|lines=0}}||}}}}{{#if: usobit.com| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=usobit.com}}}}{{#if: | {{{hrsg}}}{{#if: |,|{{#if: 2022-07-29 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | {{#if:{{#invoke:DateTime|format|{{{datum}}}|noerror=1}}
            |{{#invoke:DateTime|format|{{{datum}}}|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum={{{datum}}}|class=Zitationswartung}} }}{{#if: |,|{{#if: 2022-07-29 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2022-07-29 | {{#if:{{#invoke:TemplUtl|faculty|}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:309458||(?)}}}}}}{{#if: 2022-07-29|;}}}}{{#if: 2022-07-29| {{#if:{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2022-07-29 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2022-07-29|class=Zitationswartung}} }} {{#invoke:DateTime|format|2022-07-29|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:usobit.com{{#if: 2022-07-29 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}}}}
       |  (
       | {{#if: | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: {{#if: 2022-07-29 | {{#if:{{#invoke:TemplUtl|faculty|}}||1}} }}en|{{#if: |: {{
 #if: 
 | „{{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}“
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if: 

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}} 

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch: 

   |0|=Vorlage:Toter Link/Core{{#if: https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/
       | {{#if:  | [1] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/
      | {{#if:{{#invoke:URLutil|isWebURL|https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/
       | {{#if:{{#invoke:URLutil|isWebURL|https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/ }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive (T)){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/
      | {{#if:{{#invoke:URLutil|isWebURL|https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/ Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. (T).)  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/
       | {{#if:{{#invoke:URLutil|isWebURL|https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://usobit.com/obituaries-2022/juris-hartmanis-july-5-1928-july-29-2022/ }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}</ref>) war ein lettisch-US-amerikanischer Informatiker, der gemeinsam mit Richard E. Stearns 1993 den Turing Award für seine Forschungsleistungen auf dem Gebiet der Komplexitätstheorie erhielt.

Leben

Nach dem Zweiten Weltkrieg flüchtete Hartmanis zunächst nach Deutschland. Er erwarb ein Diplom in Physik an der Universität Marburg und emigrierte in die Vereinigten Staaten von Amerika, wo er einen Master-Abschluss in Angewandter Mathematik an der University of Missouri–Kansas City absolvierte. Schließlich erlangte er 1955 am Caltech einen Ph.D. in Mathematik bei Robert Dilworth.

In der Folge arbeitete er für das General Electric Research Laboratory, wo er Prinzipien der Informatik erforschte und lehrte. 1964 veröffentlichten er und Richard E. Stearns das für die Komplexitätstheorie wegweisende und namensgebende Paper Computational complexity of recursive sequences (1965 als On the computational complexity of algorithms wiederveröffentlicht), in dem sie unter anderem DTIME und damit generell Komplexitätsklassen sowie ein frühes Speedup-Theorem einführten. Zusammen mit Phil Lewis führten Stearns und Hartmanis 1965 neben der Zeit- auch die Platzkomplexität ein.

1965 wurde er Professor der Cornell University. Zu Hartmanis’ Doktoranden gehört Neil Immerman (Gödel-Preis 1995).

Hartmanis gehörte dem Science Board und dem Science Steering Committee des Santa Fe Institute an.

Auszeichnungen

Schriften

  • mit Richard E. Stearns: On the computational complexity of algorithms. In: Transactions of the American Mathematical Society. Vol. 117, 1965, S. 285–306 (PDF; 2018 kB).
  • mit Richard E. Stearns & Phil M. Lewis: Hierarchies of Memory Limited Computations. In: Proceedings of the Sixth Annual IEEE Symposium on Switching Circuit Theory and Logical Design. Ann Arbor (Mich.) 1965, S. 179–190 (PDF-Datei; 388 kB).

Weblinks

[{{canonicalurl:Commons:Category:{{#if:|{{{1}}}|Juris Hartmanis}}|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

  • Biographie (englisch)
  • {{#invoke:Vorlage:Literatur|f}}

Einzelnachweise

<references/>

Vorlage:Navigationsleiste Träger des Turing-Awards

{{#ifeq: p | p | | {{#if: 11892947Xn8480472434537992 | |

}} }}Vorlage:Hinweisbaustein{{#ifeq: p | p | | {{#if: 11892947Xn8480472434537992 | |

}} }}{{#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: 11892947X | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: p | p | {{#if: 11892947X | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: p | p | {{#if: n84804724 | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: p | p | {{#if: n84804724 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: p | p | {{#if: 34537992 | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: p | p | {{#if: 34537992 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung

{{#if: Hartmanis, Juris | {{#if: | {{#if: lettisch-amerikanischer Informatiker und Turingpreisträger | {{#if: 5. Juli 1928 | {{#if: Riga | {{#if: 29. Juli 2022 | {{#if: |
Personendaten
NAME Hartmanis, Juris

}}

ALTERNATIVNAMEN

}}

KURZBESCHREIBUNG lettisch-amerikanischer Informatiker und Turingpreisträger

}}

GEBURTSDATUM 5. Juli 1928

}}

GEBURTSORT Riga

}}

STERBEDATUM 29. Juli 2022

}}

STERBEORT

}}

Vorlage:Wikidata-Registrierung

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Juris_Hartmanis&oldid=309458“