Juris Hartmanis

Juris Hartmanis
	; (2012)
Biografia
Naixement	5 juliol 1928 ; Riga (Letònia)
Mort	29 juliol 2022 (94 anys)
Titular d'una càtedra en una universitat ciències de la computació
	1977 – 1982
Titular d'una càtedra en una universitat ciències de la computació
	1965 – 1971
Dades personals
Formació	Institut Tecnològic de Califòrnia - matemàtiques (–1955); Universitat de Missouri-Kansas City - matemàtiques (–1951); Universitat de Marburg - física (–1949)
Director de tesi	Robert Dilworth
Activitat
Camp de treball	Ciència computacional, ciències de la computació, time hierarchy theorem (en) i teoria de la complexitat computacional
Ocupació	matemàtic, professor d'universitat, informàtic, editor
Ocupador	Universitat Cornell (1965–) ; General Electric, investigador (1958–1965) ; Universitat Estatal d'Ohio (1957–1958) ; Universitat Cornell (1955–1957)
Membre de	Acadèmia Nacional de Ciències dels Estats Units (2013–); Societat Americana de Matemàtiques (Membre de la Societat Americana de Matemàtiques) (2012–); Association for Computing Machinery (membre de l'Association for Computing Machinery) (1994–); Acadèmia Americana de les Arts i les Ciències (Membre de l'Acadèmia Americana de les Arts i les Ciències) (1992–); Acadèmia de Ciències de Letònia (membre estranger) (1990–); Acadèmia Nacional d'Enginyeria (1989–)
Obra
Estudiant doctoral	Neil Immerman, Allan Borodin, Clement Leo McGowan, III (en) , Janos Simon (en) , Dexter Kozen, Erik Meineche Schmidt (en) , Ming Li, Edward Reingold, Richard Chang (en) , Pankaj Rohatgi (en) , Lane A. Hemaspaandra (en) , Theodore Paul Baker (en) , Forbes Downer Lewis (en) , Jin-Yi Cai (en) , Desh Ranjan (en) , Stephen Ross Mahaney (en) , Leonard Charles Berman (en) , James Andrew Kadin (en) , Luc Longpré (en) i Vivian Diane Sewelson (en)
Família
Pare	Mārtiņš Hartmanis
Germans	Astrid Ivask
Premis
	(2013) Premi al servei distingit de l'Association for Computing Machinery, per l'obra Lecture Notes in Computer Science (en) ; (2013) Membre de la Societat Americana de Matemàtiques; (2001) Grand Medal of the Latvian Academy of Sciences (en) ; (maig 1999) doctor honoris causa Conferit per Universitat de Missouri-Kansas City; (1995) doctor honoris causa de l'Universitat Tecnica de Dortmund (oc) ; (1994) membre de l'Association for Computing Machinery; (1993) Premi Turing; (1992) Membre de l'Acadèmia Americana de les Arts i les Ciències; (1981) membre de l'AAAS ;
Lloc web	engineering.cornell.edu…

Juris Hartmanis (Riga, 5 de juliol de 1928 - 29 de juliol de 2022) és un important informàtic i teòric de la computació que, juntament amb Richard E. Stearns, va rebre el premi Turing de l'ACM de 1993 "com a reconeixement pel seu article pioner que va establir els fonaments del camp de la teoria de complexitat computacional".

Hartmanis va néixer a Letònia. Era fill de Mārtiņš Hartmanis,^[1] general de l'exèrcit letó. Després de l'ocupació soviètica de Letònia el 1940, Mārtiņš Hartmanis fou arrestat i va morir a la presó. Cap al final de la Segona Guerra Mundial, la dona i els fills de Mārtiņš Hartmanis van marxar de Letònia com a refugiats, preocupats per la seva seguretat si la Unió Soviètica recuperava Letònia.

Primer van anar a Alemanya, on Juris Hartmanis va estudiar l'equivalent d'un màster en Física a la Universitat de Marburg. Després va anar als Estats Units, on va rebre un màster en Matemàtica Aplicada a la Universitat de Kansas City (ara coneguda com a Universitat de Missouri-Kansas City) el 1951 i un doctorat en matemàtiques a Caltech dirigit per Robert Dilworth el 1955.

Després de fer de professor a Cornell University i Ohio State University, Hartmanis va entrar al Laboratori de Recerca de General Electric el 1958. Mentre era a General Electric, va desenvolupar molts principis de la teoria de complexitat computacional. El 1965, va passar a ser professor a Cornell. Allà, fou un dels fundadors i primer director del departament d'informàtica (que va ser un dels primers del món). Hartmanis és Fellow de l'ACM i de l'American Mathematical Society^[2] i membre de les Acadèmies Nacionals d'Enginyeria i de Ciències dels Estats Units.^[3]

És conegut sobretot pel seu article amb Richard Stearns, que li va valdre el premi Turing, on va introduir les classes de complexitat temporal TIME (f(n)) i va demostrar el teorema de jerarquia temporal. Un altre article de Hartmanis de 1977, amb Leonard Berman, va introduir la conjectura de Berman-Hartmanis, que encara no s'ha resolt, i que diu que tots els llenguatges NP-complets són isomorfs en temps polinòmic.

Publicacions principals

Berman, L.; Hartmanis, J. «On isomorphisms and density of NP and other complete sets». SIAM Journal on Computing, 6, 2, 1977, pàg. 305–322. DOI: 10.1137/0206023..
Hartmanis, J.; Stearns, R. E. «On the computational complexity of algorithms». Transactions of the American Mathematical Society, 117, 1965, pàg. 285–306. DOI: 10.2307/1994208. JSTOR: 1994208..

Referències

↑ En les llengües bàltiques, els noms propis no són constants sinó que tenen diferents formes gramaticals. Hartmanis és en realitat Hartman-is, on Hartman és l'arrel del nom propi, mentre que el sufix -is indica una forma masculina gramatical en letó. De manera similar, per exemple, el filòsof Kant es coneix com a Kantas en lituà.
↑ List of Fellows of the American Mathematical Society, retrieved 2013-01-19.
↑ National Academy of Sciences Members and Foreign Associates Elected, National Academy of Sciences, April 30, 2013.

Enllaços externs

[1] En les llengües bàltiques, els noms propis no són constants sinó que tenen diferents formes gramaticals. Hartmanis és en realitat Hartman-is, on Hartman és l'arrel del nom propi, mentre que el sufix -is indica una forma masculina gramatical en letó. De manera similar, per exemple, el filòsof Kant es coneix com a Kantas en lituà.

[2] List of Fellows of the American Mathematical Society, retrieved 2013-01-19.

[3] National Academy of Sciences Members and Foreign Associates Elected, National Academy of Sciences, April 30, 2013.

[1]

[2]

[3]

Registres d'autoritat	WorldCat BNF (1) GND (1) LCCN (1) VIAF (1) ISNI (1) SUDOC (1) BIBSYS (1)
Bases d'informació	MGP (1)