유리스 하르트마니스

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 생애와 경력
- 2.1. 초기 생애와 교육
- 2.2. 학문적 경력
3. 계산 복잡도 이론의 주요 업적
4. 수상 및 영예
5. 주요 출판물
6. 인터뷰
참조

1. 개요

유리스 하르트마니스는 라트비아 출신의 컴퓨터 과학자이다. 그는 계산 복잡성 이론 분야의 선구자로서, 1993년 리처드 스턴스와 함께 튜링상을 수상했다. 하르트마니스는 코넬 대학교 컴퓨터 과학과 창립자이자 초대 학과장을 역임했으며, 국립 과학 재단 부국장으로도 활동했다. 그는 시간 복잡도 클래스 TIME(f(n))을 도입하고 시간 계층 정리를 증명했으며, 버먼-하르트마니스 추측을 제기하는 등 계산 복잡성 이론 발전에 기여했다.

더 읽어볼만한 페이지

라트비아에서 미국으로 이민간 사람 - 모리스 할레
라트비아 출신 미국 언어학자인 모리스 할레는 생성 음운론의 창시자 중 한 명으로, 촘스키와 함께 생성 음운론의 기초를 다지고 MIT 현대 언어학과를 창설하여 진보적인 학문 연구의 발판을 마련했다.
라트비아에서 미국으로 이민간 사람 - 일리아 배스킨
러시아 출신 배우 일리아 배스킨은 미국으로 이민 후 영화, 드라마, 비디오 게임에서 동유럽 또는 러시아 출신 캐릭터를 연기하며 다양한 작품에 출연했다.
이론 컴퓨터 과학자 - 앨런 튜링
앨런 튜링은 제2차 세계 대전 중 에니그마 암호 해독에 기여하고 컴퓨터 과학 분야에 지대한 영향을 미친 영국의 수학자, 컴퓨터 과학자이며, 동성애 혐의로 유죄 판결을 받은 후 자살로 생을 마감했다.
이론 컴퓨터 과학자 - 에츠허르 데이크스트라
네덜란드 출신의 컴퓨터 과학자이자 수학자인 에츠허르 데이크스트라는 데이크스트라 알고리즘 개발, 구조적 프로그래밍 옹호, 세마포어 개념 연구, THE 운영체제 개발 참여 등 컴퓨터 과학의 다양한 분야에 큰 공헌을 했다.

유리스 하르트마니스 - [인물]에 관한 문서
기본 정보
Juris Hartmanis (2002)
이름	유리스 하르트마니스
출생일	1928년 7월 5일
출생지	라트비아 리가
사망일	2022년 7월 29일 (94세)
학문 분야
분야	컴퓨터 과학
근무 기관	제너럴 일렉트릭 코넬 대학교 오하이오 주립 대학교
모교	마르부르크 대학교 미주리 대학교 캔자스시티 캘리포니아 공과대학
박사 지도교수	로버트 P. 딜워스
박사 학위 제자	앨런 보로딘 (1969년) 덱스터 코젠 (1977년) 닐 이머먼 (1980년) 진이 차이 (1986년)
수상	튜링상 (1993년)

2. 생애와 경력

제너럴 일렉트릭 연구소에서 근무하며 계산 복잡성 이론의 많은 원리를 개발했다.^[17] 1965년 코넬 대학교 교수가 되었고, 세계 최초의 컴퓨터 과학 학과 중 하나인 컴퓨터 과학 학과의 창립자이자 초대 학과장이었다.

국립 연구 위원회 연구 의장을 맡아 1992년 ''컴퓨팅의 미래 - 컴퓨터 과학 및 공학을 위한 광범위한 의제'' 출판에 기여했으며, 1996년부터 1998년까지 국립 과학 재단(NSF) 컴퓨터 및 정보 과학 및 공학(CISE) 국의 부국장을 역임했다.^[7]

1989년 미국 공학 한림원 회원으로 선출되었고, 컴퓨팅 기계 협회 및 미국 수학회 회원이었다.^[8] 미국 국립 과학 아카데미 회원이자,^[9] 라트비아 과학 아카데미 외국 회원이었다.^[22] 2001년에는 라트비아 과학 아카데미 대훈장을 받았다.^[29]

2022년 7월 29일에 사망했다.^[10]^[11]^[12]

2. 1. 초기 생애와 교육

유리스 하르트마니스는 1928년 7월 5일 라트비아에서 태어났다.^[2] 그는 라트비아 육군 장군 마르틴스 하르트마니스(Mārtiņš Hartmanis)의 아들이자 이르마 마리야 하르트마네의 아들이었다.^[3] 그는 시인 아스트리드 이바스크의 남동생이었다. 1940년 소련이 라트비아를 점령한 후, 마르틴스 하르트마니스는 소련에 의해 체포되어 감옥에서 사망했다. 이후 제2차 세계 대전에서 마르틴스 하르트마니스의 아내와 자녀들은 소련이 다시 라트비아를 점령할 경우 안전을 우려하여 1944년 난민으로 라트비아를 떠났다.^[4]

그들은 먼저 독일로 이주했고, 유리스 하르트마니스는 마르부르크 대학교에서 물리학 석사 학위에 해당하는 학위를 받았다. 그 후 그는 미국으로 이주하여 1951년 캔자스시티 대학교 (현재 미주리-캔자스시티 대학교로 알려짐)에서 응용수학 석사 학위를 받았고, 1955년 로버트 P. 딜워스의 지도하에 칼텍에서 수학 박사 학위를 받았다.^[5] 미주리-캔자스시티 대학교는 1999년 5월 그에게 명예 인문학 박사 학위를 수여했다.

코넬 대학교와 오하이오 주립 대학교에서 수학을 가르친 후, 하르트마니스는 1958년 제너럴 일렉트릭 연구소에 합류했다.

2. 2. 학문적 경력

유리스 하르트마니스는 마르부르크 대학교에서 물리학 석사 학위에 해당하는 학위를 받았다. 이후 미국으로 이주하여 1951년 캔자스시티 대학교 (현재 미주리-캔자스시티 대학교)에서 응용수학 석사 학위를 받았고, 1955년 로버트 P. 딜워스의 지도하에 칼텍에서 수학 박사 학위를 받았다.^[5] 미주리-캔자스시티 대학교는 1999년 5월 그에게 명예 인문학 박사 학위를 수여했다.

코넬 대학교와 오하이오 주립 대학교에서 수학을 가르친 후, 1958년 제너럴 일렉트릭 연구소에 합류하여 계산 복잡성 이론의 많은 원리를 개발했다.^[17] 1965년, 코넬 대학교 교수가 되었으며, 세계 최초의 컴퓨터 과학 학과 중 하나인 컴퓨터 과학 학과의 창립자이자 초대 학과장이었다.

하르트마니스는 국립 연구 위원회 연구의 의장을 맡았고, 그 결과 1992년 ''컴퓨팅의 미래 - 컴퓨터 과학 및 공학을 위한 광범위한 의제''가 출판되었으며, 여기에는 CS&E의 핵심 노력을 유지하고, 분야를 확대하며, CS&E의 학부 교육을 개선하기 위한 우선 순위에 따른 권고 사항이 포함되었다. 그는 1996년부터 1998년까지 국립 과학 재단(NSF) 컴퓨터 및 정보 과학 및 공학(CISE) 국의 부국장이었다.^[7]

1989년 하르트마니스는 계산 복잡성 이론과 컴퓨팅 연구 및 교육에 대한 근본적인 기여를 인정받아 미국 공학 한림원 회원으로 선출되었다. 그는 컴퓨팅 기계 협회 및 미국 수학회의 회원이었으며,^[8] 미국 국립 과학 아카데미의 회원이기도 했다.^[9] 그는 또한 라트비아 과학 아카데미의 외국 회원이었다.^[22]

리처드 스턴스와 공동 집필하여 튜링상을 수상하게 된 논문에서 시간 복잡도 클래스 ''TIME (f(n))''을 도입하고, 시간 계층 정리를 증명했다. 레너드 벨만과 공동 집필한 1977년 논문에서는 모든 NP 완전 언어는 다항 시간 동형이라는 벨만-하르트마니스 추측을 제기했지만, 이는 아직 증명되지 않았다.

3. 계산 복잡도 이론의 주요 업적

하르트마니스는 계산 복잡도 이론 분야에 중요한 업적을 많이 남겼다. 1981년 그의 기사^[17]에서는 이 분야와 자동 기계 이론의 발전에 대한 개인적인 설명을 제공하고, 그의 연구를 이끈 기본적인 신념과 철학을 논의한다. 그의 60번째 생일을 기념하여 쓰여진 책^[18]과 특히 스테언스의 장^[19]은 계산 복잡도에 대한 귀중한 자료이다.

3. 1. 튜링상 수상 (1993년)

1993년, 하르트마니스와 R.E. 스테언스는 컴퓨터 과학 분야 최고의 상인 튜링상을 수상했다. 튜링상 인용문에는 "계산 복잡도 이론 분야의 기초를 세운 그들의 획기적인 논문을 인정하여"라고 적혀 있다.^[24] 그들의 논문은 계산 문제를 해결하는 데 필요한 시간에 따라 분류하는 방법인 복잡도 클래스라는 기본적인 개념을 정의했다. 그들은 이후 시간 계층 정리와 같은 여러 가지 기본적인 결과를 증명했다. 리처드 M. 카프는 튜링상 강연에서 "복잡도 이론의 현대 시대의 시작을 알린 것은 1965년 유리스 하르트마니스와 리처드 스테언스의 논문입니다."라고 언급했다.

P.M. 루이스 2세와 함께 하르트마니스와 스테언스는 공간 사용량에 기반한 복잡도 클래스도 정의했다. 그들은 최초의 공간 계층 정리를 증명했다. 같은 해에 그들은 또한 모든 문맥 자유 언어가 결정적 공간 복잡도 (log n)²를 가진다는 것을 증명했는데, 이는 공간 복잡도에 대한 새비치의 정리로 이어진 핵심적인 아이디어를 담고 있었다.

하르트마니스는 수십 년 동안 계산 복잡도 분야에 지속적으로 중요한 기여를 했다. 레너드 버먼과 함께 그는 모든 자연적인 NP-완전 언어가 다항 시간 동형임을 증명했고, 이가 모든 NP-완전 집합에 적용된다고 추측했다.(버먼-하르트마니스 추측) 비록 추측 자체는 해결되지 않았지만, 이는 NP-완전 집합의 구조에 대한 광범위한 연구로 이어졌고, 마하니의 희소 NP-완전 집합의 부존재에 대한 정리로 정점에 달했다.^[13]^[14](희소 언어) (마하니 정리) 그는 또한 공동 저자들과 함께 불 대수 계층을 정의했다.^[15]^[16]

1980년대 후반, 하르트마니스의 발표는 괴델이 폰 노이만에게 보낸 1956년 3월 20일자 새로 발견된 편지에 대한 것이었고, 스테언스와의 획기적인 논문 이전의 계산 복잡도 초기 역사에 대한 새로운 통찰력을 제공하며, 튜링, 괴델, 처치, 포스트, 클리니 간의 상호 작용을 다루었다. 괴델은 이 편지에서 NP-완전 문제와 동등한 문제가 이차 시간 또는 선형 시간 내에 해결될 수 있는지에 대해 처음으로 질문하여 P = NP? 문제를 예고했다.

3. 2. 복잡도 클래스 정의 및 계층 정리 증명

R.E. 스테언스와 함께 컴퓨터 과학 분야 최고의 상인 튜링상을 수상했을 때, 그들의 획기적인 논문은 계산 문제를 해결하는 데 필요한 시간에 따라 분류하는 방법인 복잡도 클래스라는 기본적인 개념을 정의했다.^[24] 그들은 이후 시간 계층 정리와 같은 여러 가지 기본적인 결과를 증명했다. 리처드 M. 카프는 튜링상 강연에서 "복잡도 이론의 현대 시대의 시작을 알린 것은 1965년 유리스 하르트마니스와 리처드 스테언스의 논문입니다."라고 언급했다.

P.M. 루이스 2세와 함께 하르트마니스와 스테언스는 공간 사용량에 기반한 복잡도 클래스도 정의했으며, 최초의 공간 계층 정리를 증명했다. 같은 해에 그들은 또한 모든 문맥 자유 언어가 결정적 공간 복잡도 (log n)²를 가진다는 것을 증명했는데, 이는 공간 복잡도에 대한 새비치의 정리로 이어진 핵심적인 아이디어를 담고 있었다.

3. 3. 버먼-하르트마니스 추측

레너드 버먼과 함께 하르트마니스는 모든 자연적인 NP-완전 언어가 다항 시간 동형임을 증명했고, 모든 NP-완전 집합에 대해서도 그러하다고 추측했다. 비록 이 추측 자체는 해결되지 않았지만, 이는 NP-완전 집합의 구조에 대한 광범위한 연구로 이어졌고, 마하니의 희소 NP-완전 집합 부존재 정리로 정점에 달했다.^[13]^[14]

3. 4. P 대 NP 문제 초기 형태 제시

1980년대 후반, 하르트마니스는 괴델이 폰 노이만에게 1956년 3월 20일에 보낸 새로 발견된 편지를 발표했다. 이 편지는 스테언스와의 획기적인 논문 이전의 계산 복잡도 초기 역사에 대한 새로운 통찰력을 제공하며, 튜링, 괴델, 처치, 포스트, 클리니 간의 상호 작용을 다루었다. 괴델은 이 편지에서 NP-완전 문제와 동등한 문제가 이차 시간 또는 선형 시간 내에 해결될 수 있는지에 대해 처음으로 질문하여 P = NP? 문제를 예고했다.

4. 수상 및 영예

연도	수상 및 영예
1981	미국 과학 진흥 협회(AAAS) 회원
1989	미국 공학 한림원 회원
1990	라트비아 과학 아카데미 외국인 회원
1992	미국 예술 과학 아카데미 회원
1993	튜링상
1993	훔볼트 재단 연구상
1994	컴퓨팅 기계 협회(ACM) 창립 회원
1999	명예 인문학 박사
2000	컴퓨팅 연구 협회(CRA) 공로상
2001	라트비아 과학 아카데미 대훈장(Latvijas Zinātņu akadēmijas Lielā medaļa^lv)
2013	컴퓨팅 기계 협회(ACM) 공로상
2013	미국 수학회 창립 회원
2013	미국 과학 한림원 회원

5. 주요 출판물

'''저서'''

R.E. 스턴스와 공저, ''순차 기계의 대수적 구조 이론''^[33], 1966년
''실현 가능한 계산과 증명 가능한 복잡성 속성''^[34], 1978년
''계산 복잡성 이론'' (편집)^[35], 1989년
허버트 린과 공저, ''미래 계산: 컴퓨터 과학 및 공학을 위한 더 넓은 어젠다'' (편집)^[36], 1992년

'''주요 논문'''

R.E. 스턴스와 공저, "재귀 수열의 계산 복잡성", 1964년
P.M. 루이스 및 R.E. 스턴스와 공저, "시간 및 메모리 요구 사항에 따른 계산 분류", 1965년
P.M. 루이스 및 R.E. 스턴스와 공저, "메모리 제한 계산의 계층 구조", 1965년
R.E. 스턴스와 공저, "알고리즘의 계산 복잡성에 관하여", 1965년
P.M. 루이스 및 R.E. 스턴스와 공저, "문맥 자유 언어 및 문맥 민감 언어의 인식을 위한 메모리 경계", 1965년
L. 버먼과 공저, "NP 및 기타 완전 집합의 동형 사상과 밀도에 관하여", 1977년
"이론 전산학의 발전에 대한 고찰"^[17], 1981년
"괴델, 폰 노이만, 그리고 P =? NP 문제", 1989년

6. 인터뷰

유리스 하르트마니스는 네 차례 인터뷰를 진행했으며, 이 중 두 건은 영상으로 제공된다. 가장 널리 알려진 인터뷰는 윌리엄 에스프레이(William Aspray)가 진행한 것이다.

2009년, 윌리엄 에스프레이(William Aspray)가 ACM 구술사 인터뷰(ACM Oral History interviews)를 위해 하르트마니스와 인터뷰
2010년, 데이비드 그리(David Gries)가 코넬 e커먼스(Cornell ecommons) 컬렉션을 위해 하르트마니스와 인터뷰^[37]
2015년, 렌 슈스텍(Len Shustek)이 ''ACM 통신(Communications of the ACM)''에 실린 기사에서 하르트마니스와 인터뷰^[38]
2018년, 데이비드 그리(David Gries)가 ACM 튜링상 수상자로서 하르트마니스와 인터뷰

참조

_[1] 웹사이트 Juris Hartmanis https://mathgenealog[...] Mathematics Genealogy Project 2022-08-04
_[2] 서적 Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988 https://link.springe[...] Springer New York 1990
_[3] 문서 In the Baltic languages, own-names are not lexical constants, but have different grammatical forms. ''Hartmanis'' must be understood as Hartman-is, whereby ''Hartman'' is the stem of the own-name, whereas the suffix ''-is'' indicates a masculine grammatical form in the Latvian language. In a similar manner, for example, the philosopher Kant is known as Kant''as'' in the Lithuanian language.
_[4] 웹사이트 A Tribute to Astrid Ivask: A Literary Light https://www.worldlit[...] 2015-04-02
_[5] PhD thesis Some embedding theorems for lattices https://resolver.cal[...] Cal Tech 1955
_[6] 서적 Computing the Future: A broader agenda for computer science and engineering National Academies Press 1992
_[7] 웹사이트 Juris Hartmanis to Lead NSF's Directorate for CISE https://www.nsf.gov/[...] NSF 1996-09-05
_[8] 웹사이트 List of Fellows of the American Mathematical Society https://www.ams.org/[...] 2013-01-19
_[9] 웹사이트 National Academy of Sciences Members and Foreign Associates Elected https://web.archive.[...] National Academy of Sciences 2013-04-30
_[10] 웹사이트 图灵奖得主，"计算复杂性"理论奠基人Juris Hartmanis逝世，享年94岁 https://finance.sina[...] 2022-07-31
_[11] 웹사이트 Juris Hartmanis, first CS department chair, dies at 94 https://news.cornell[...] 2022-08-04
_[12] 간행물 In memoriam: Juris Hartmanis 1928–2022 2022-10-01
_[13] 간행물 Sparse complete sets for NP: Solution of a conjecture of Berman and Hartmanis 1982-10-01
_[14] 간행물 Sparse hard sets for P: resolution of a conjecture of Hartmanis 1999-04-01
_[15] 간행물 The boolean hierarchy I: Structural properties 1988-12-01
_[16] 간행물 The boolean hierarchy II: Applications 1989-02-01
_[17] 간행물 Observations about the development of theoretical computer science
_[18] 서적 Complexity Theory Retrospective Springer New York, NY 1990
_[19] 서적 Complexity Theory Retrospective Springer New York, NY 1990
_[20] 웹사이트 Fellows https://www.aaas.org[...] American Association for the Advancement of Science
_[21] 웹사이트 NAE Website – Dr. Juris Hartmanis https://www.nae.edu/[...]
_[22] 웹사이트 Foreign members https://www.lza.lv/e[...] Latvian Academy of Sciences
_[23] 웹사이트 Members https://www.amacad.o[...] American Academy of Arts and Sciences
_[24] 웹사이트 Turing Award https://amturing.acm[...] ACM
_[25] 웹사이트 Alexander von Humboldt Foundation, Juris Hartmanis https://www.humboldt[...]
_[26] 웹사이트 ACM Fellows https://awards.acm.o[...] ACM 1994
_[27] 웹사이트 Juris Hartmanis: ACM Fellow https://awards.acm.o[...] 1994
_[28] 웹사이트 Distinguished Service Award https://cra.org/abou[...] CRA 2015-01-16
_[29] 웹사이트 Lielā medaļa https://www.lza.lv/p[...] Latvian Academy of Sciences
_[30] 웹사이트 ACM Distinguished Service Award https://awards.acm.o[...] ACM 2013
_[31] 웹사이트 Juris Hartmanis: Distinguished Service Award https://awards.acm.o[...] 2013
_[32] 웹사이트 Member Emeritus http://www.nasonline[...] National Academy of Sciences (NAS)
_[33] 서적 Algebraic Structure Theory of Sequential Machines Prentice-Hall 1966
_[34] 서적 Feasible Computations and Provable Complexity Properties Society for Industrial and Applied Mathematics (SIAM) 1978
_[35] 서적 Computational Complexity Theory https://bookstore.am[...] AMS 1989
_[36] 서적 Computing the Future: A broader agenda for computer science and engineering The National Academies Press 1992
_[37] 인터뷰 A Conversation with Juris Hartmanis https://ecommons.cor[...] Internet-First University Press 2010-03-31
_[38] 학술지 An interview with Juris Hartmanis https://cacm.acm.org[...]
_[39] 웹사이트 Juris Hartmanis - A.M. Turing Award Laureate https://amturing.acm[...] 2021-05-08
_[40] 뉴스 Juris Hartmanis July 5 1928 July 29 2022 (age 94) https://usobit.com/o[...] 2022-07-29

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com