유리 마티야세비치
1. 개요
유리 마티야세비치는 러시아의 수학자이다. 힐베르트의 열 번째 문제를 부정적으로 해결하여 힐베르트의 제10 문제에 대한 마티야세비치 정리를 증명한 것으로 가장 잘 알려져 있다. 그는 또한 정수론, 그래프 이론 분야에서도 중요한 연구를 수행했으며, 리만 제타 함수의 연구와 사색 정리, 이항 계수 간의 관계를 밝히는 데 기여했다. 1964년 국제 수학 올림피아드에서 금메달을 수상했으며, 여러 권위 있는 상과 명예 박사 학위를 받았다.
이미지 준비중입니다.
| 출생일 | 1947년 3월 2일 |
|---|---|
| 출생지 | 레닌그라드, 소비에트 연방 |
| 국적 | 소비에트, 러시아 |
| 분야 | 수학 및 이론 컴퓨터 과학 |
|---|---|
| 주요 업적 | 계산 가능성 이론에 대한 기여, 특히 힐베르트의 제10문제 해결 (마티야세비치 정리) |
| 근무 기관 | 스테클로프 수학 연구소페테르부르크 부서 |
|---|---|
| 출신 대학 | 레닌그라드 국립 대학교 |
| 수상 내역 | 상트페테르부르크 수학회 상 (1970년) 마르코프 상 (1980년) 훔볼트 상 (1998년) |
|---|
-
러시아의 논리학자 -
게오르크 칸토어
게오르크 칸토어는 집합론의 기초를 다지고 무한에 대한 연구를 통해 집합의 크기가 다를 수 있음을 증명했으며, 대각선 논법과 초한수 이론을 제시한 독일계 수학자이다. -
상트페테르부르크 대학교 교수 -
안드레이 란코프
안드레이 란코프는 러시아 출신으로 김일성종합대학 유학 후 현재 국민대학교 교수로 재직하며 북한의 정치, 사회, 역사, 특히 권력 구조와 주민 생활에 대한 연구를 수행하고, NK News, 코리아타임스 등 여러 매체에 칼럼을 기고하고 Korea Risk Group의 이사로 활동하는 등 북한 관련 연구 및 대중 활동을 활발히 이어가는 북한학 전문가이다. -
상트페테르부르크 대학교 교수 -
블라디미르 프로프
블라디미르 프로프는 러시아의 민속학자이자 문학 이론가로, 러시아 민담의 구조를 분석하여 31가지 기능과 7가지 역할로 분류한 《옛이야기 형태론》을 통해 민속학 및 구조주의에 큰 영향을 미쳤으며, 그의 이론은 다양한 서사 구조 분석 및 창작에 활용되고 있다. -
상트페테르부르크 출신 -
그리고리 페렐만
러시아 수학자 그리고리 페렐만은 푸앵카레 추측과 기하화 추측을 증명했음에도 불구하고 필즈상과 밀레니엄 문제 상금을 거부하며 은둔 생활을 하는 것으로 알려져 있다. -
상트페테르부르크 출신 -
블라디미르 푸틴
블라디미르 푸틴은 1952년 출생하여 KGB에서 근무하고 정치 경력을 시작, 1999년 러시아 총리, 대통령 권한대행을 거쳐 2000년 러시아 대통령에 당선된 후 장기 집권하며 경제 개혁과 강한 러시아 건설을 목표로 했지만, 우크라이나 관련 국제적 비판을 받았다.
2. 생애
유리 마티야세비치는 소련과 러시아의 수학자이다. 그의 생애는 다음과 같다.
| 연도 | 내용 |
|---|---|
| 1962년-1963년 | 상트페테르부르크 제239 고등학교에서 수학 |
| 1963년-1964년 | [http://www.pms.ru/glavnaya/1.html 콜모고로프 학교]에서 수학 |
| 1964년-1969년 | 레닌그라드 대학교 [http://www.math.spbu.ru/en/ 수학 및 역학 학부]에서 수학. 국제 수학 올림피아드 우승 후 고등학교 마지막 학년을 월반하고 시험 없이 대학교에 진학 |
| 1966년 | 모스크바 국제 수학자 회의 강연 (대학교 2학년) |
| 1969년-1970년 | 스테클로프 수학 연구소 [http://www.pdmi.ras.ru 레닌그라드 분과] (LOMI) 박사 과정. 지도 교관은 [http://www.mathsoc.spb.ru/pers/maslov/ 세르게이 마슬로프] |
| 1970년 | Hilbert's tenth problem영어를 부정적으로 해결하여 박사 학위 취득 |
| 1970년-1974년 | LOMI 연구원 |
| 1972년 | 두 번째 박사 학위 (소비에트 연방 "doktor nauk") |
| 1974년-1980년 | LOMI 선임 연구원 |
| 1980년 | [http://www.pdmi.ras.ru LOMI] [http://logic.pdmi.ras.ru 수리 논리학 연구실] 리더 |
| 1995년 | 상트페테르부르크 대학교 교수. 처음에는 소프트웨어 공학과 학과장, 이후 대수학과 수론 학과장 |
| 1997년 | 러시아 과학 아카데미 회원 |
| 1998년 | 상트페테르부르크 수학회 부회장 |
| 2002년 | [http://www.pdmi.ras.ru/~olymp/ 상트페테르부르크 시 수학 올림피아드] 주최 |
| 2003년 | [http://logic.pdmi.ras.ru/jass07/ JASS] 주최자 |
2.1. 초기 생애 및 교육
유리 마티야세비치는 1947년 3월 2일 레닌그라드에서 태어났다. 그는 소피아 G. 제르손과 함께 255번 학교에서 처음 몇 학년을 다녔으며, 그녀 덕분에 수학에 관심을 갖게 되었다. 1961년에 그는 전러시아 올림피아드에 참가하기 시작했다. 1962년부터 1963년까지 그는 레닌그라드 제239 물리 및 수학 학교에서 공부했다. 또한 7학년부터 9학년까지 레닌그라드 개척자 궁전의 수학 서클에도 참여했다. 1963년부터 1964년에는 모스크바 국립 대학교 물리학 및 수학 기숙 학교 18번(A. N. 콜모고로프의 이름을 딴 학교)에서 10학년을 마쳤다.
1964년, 그는 국제 수학 올림피아드에서 금메달을 획득했고, 시험 없이 상트페테르부르크 국립 대학교의 수학 및 역학 학부에 등록되었다. 그는 1학년 학생으로서 고등학교 졸업 시험을 치렀다.
2학년이 되면서 그는 수리 논리에 관한 두 편의 논문을 발표했고, 이 논문은 USSR 과학 아카데미 회보에 게재되었다. 그는 1966년 국제 수학자 회의에서 이 논문을 발표했다.
졸업 후, 그는 러시아 과학 아카데미 스테클로프 수학 연구소 상트페테르부르크 분과 (POMI)의 대학원에 입학했다. 1970년, Маслов, Сергей Юрьевич (математик)러시아어의 지도를 받아 그는 물리학 및 수학 이학 박사 학위를 위한 논문을 방어했다.
2.2. 학문적 경력
1964년, 국제 수학 올림피아드에서 금메달을 획득했고, 시험 없이 상트페테르부르크 국립 대학교의 수학 및 역학 학부에 등록되었다. 1학년 때 고등학교 졸업 시험을 치렀다.
2학년 때 수리 논리에 관한 논문 두 편을 발표했고, 이 논문들은 USSR 과학 아카데미 회보에 게재되었다. 1966년 국제 수학자 회의에서 이 논문들을 발표했다.
졸업 후, 러시아 과학 아카데미 스테클로프 수학 연구소 상트페테르부르크 분과(POMI) 대학원에 입학했다. 1970년, Маслов, Сергей Юрьевич (математик)러시아어의 지도를 받아 물리학 및 수학 이학 박사 학위 논문을 발표했다.
1972년, 25세에 힐베르트의 열 번째 문제의 풀 수 없음에 대한 박사 학위 논문을 발표했다.
1974년부터 LOMI에서 과학자로 일했으며, 처음에는 선임 연구원, 1980년에는 수학 논리 연구소를 이끌었다. 1995년, POMI의 교수가 되었으며, 처음에는 소프트웨어 공학 학과, 나중에는 대수학 및 정수론 학과에 소속되었다.
1997년, 러시아 과학 아카데미의 통신 회원이 되었다. 1998년부터 상트페테르부르크 수학회 부회장을 역임했다. 2002년부터 [http://www.pdmi.ras.ru/~olymp/ 상트페테르부르크 시 수학 올림피아드] 대표를 맡고 있다.
2003년부터 연례 독일-러시아 학생 학교 [http://logic.pdmi.ras.ru/jass07/ JASS]의 공동 이사였다.
2008년, 러시아 과학 아카데미의 정회원이 되었다.
미국 수학회와 기호 논리 학회 회원이었다. 저널 [https://web.archive.org/web/20070405101041/http://www.vsppub.com/journals/jn-DisMatApp.html 이산 수학과 응용] 및 [http://www.ipo.spb.ru/journal/ 교육에서의 컴퓨터 도구]의 편집 위원이었다. [https://web.archive.org/web/20070112070241/http://www.eldar.com/eldar/eldar.htm 엘다르 무사예프], [http://logic.pdmi.ras.ru/~vsemir/ 막심 브세미르노프], [http://logic.pdmi.ras.ru/~pastor/ 알렉세이 파스토르], [http://logic.pdmi.ras.ru/~dvk/ 드미트리 카르포프]를 지도했다.
구면 삼각분할의 색칠과 관련된 다항식은 마티야세비치의 이름을 따서 명명되었다. 자세한 내용은 [http://www.pdmi.ras.ru/~duzhin/papers/mati-pol.ps.gz 마티야세비치 다항식, 네 색 정리 및 가중치 시스템]을 참조하면 된다.
| 연도 | 내용 |
|---|---|
| 1962년-1963년 | 상트페테르부르크 제239 고등학교에서 수학 |
| 1963년-1964년 | [http://www.pms.ru/glavnaya/1.html 콜모고로프 학교]에서 수학 |
| 1964년-1969년 | 레닌그라드 대학교 [http://www.math.spbu.ru/en/ 수학 및 역학 학부]에서 수학. 국제 수학 올림피아드 우승 후 고등학교 마지막 학년을 월반하고 시험 없이 대학교에 진학 |
| 1966년 | 모스크바 국제 수학자 회의 강연 (대학교 2학년) |
| 1969년-1970년 | 스테클로프 수학 연구소 [http://www.pdmi.ras.ru 레닌그라드 분과] (LOMI) 박사 과정. 지도 교관은 [http://www.mathsoc.spb.ru/pers/maslov/ 세르게이 마슬로프] |
| 1970년 | Hilbert's tenth problem영어를 부정적으로 해결하여 박사 학위 취득 |
| 1970년-1974년 | LOMI 연구원 |
| 1972년 | 두 번째 박사 학위 (소비에트 연방 "doktor nauk") |
| 1974년-1980년 | LOMI 선임 연구원 |
| 1980년 | [http://www.pdmi.ras.ru LOMI] [http://logic.pdmi.ras.ru 수리 논리학 연구실] 리더 |
| 1995년 | 상트페테르부르크 대학교 교수. 처음에는 소프트웨어 공학과 학과장, 이후 대수학과 수론 학과장 |
| 1997년 | 러시아 과학 아카데미 회원 |
| 1998년 | 상트페테르부르크 수학회 부회장 |
| 2002년 | [http://www.pdmi.ras.ru/~olymp/ 상트페테르부르크 시 수학 올림피아드] 주최 |
| 2003년 | [http://logic.pdmi.ras.ru/jass07/ JASS] 주최자 |
2.3. 기타 활동
1997년, 러시아 과학 아카데미의 통신 회원으로 선출되었다. 1998년부터 상트페테르부르크 수학회 부회장을 역임했다. 2002년부터는 [http://www.pdmi.ras.ru/~olymp/ 상트페테르부르크 시 수학 올림피아드] 대표를 맡고 있다.
2003년부터는 연례 독일-러시아 학생 학교 [http://logic.pdmi.ras.ru/jass07/ JASS]의 공동 이사였다. 2008년에는 러시아 과학 아카데미의 정회원으로 선출되었다.
미국 수학회와 기호 논리 학회 회원이기도 했으며, 저널 《이산 수학과 응용》( [https://web.archive.org/web/20070405101041/http://www.vsppub.com/journals/jn-DisMatApp.html 이산 수학과 응용]) 및 《교육에서의 컴퓨터 도구》( [http://www.ipo.spb.ru/journal/ 교육에서의 컴퓨터 도구])의 편집 위원이었다. 엘다르 무사예프([https://web.archive.org/web/20070112070241/http://www.eldar.com/eldar/eldar.htm 엘다르 무사예프]), 막심 브세미르노프([http://logic.pdmi.ras.ru/~vsemir/ 막심 브세미르노프]), 알렉세이 파스토르([http://logic.pdmi.ras.ru/~pastor/ 알렉세이 파스토르]), 드미트리 카르포프([http://logic.pdmi.ras.ru/~dvk/ 드미트리 카르포프])를 지도했다.
구면의 삼각분할의 색칠과 관련된 다항식은 마티야세비치의 이름을 따서 명명되었다. 자세한 내용은 [http://www.pdmi.ras.ru/~duzhin/papers/mati-pol.ps.gz 마티야세비치 다항식, 네 색 정리 및 가중치 시스템]을 참조하면 된다.
3.1. 힐베르트의 열 번째 문제 해결
22세에 그는 힐베르트의 열 번째 문제(마티야세비치 정리)에 대한 부정적인 해를 제시했으며, 이는 LOMI(스테클로프 수학 연구소 레닌그라드 지부)에서 그의 박사 학위 논문으로 발표되었다.
3.2. 리만 제타 함수 연구
정수론에서 그는 1927년 조지 폴리아가 제기한 리만 ζ-함수의 테일러 계수를 연결하는 무한 시스템의 부등식에 대한 질문에 답했다. 그는 이 모든 부등식이 ζ-함수와 그 도함수의 푸리에 변환을 연결하는 단일 함수 부등식의 결과임을 증명했다. 그는 리만 ζ-함수의 영점에 대한 여러 가지 새로운 흥미로운 특성을 발견했다.
3.4. 기타 연구
22세에 힐베르트의 열 번째 문제(마티야세비치 정리)에 대한 부정적인 해를 제시했으며, 이는 LOMI(스테클로프 수학 연구소 레닌그라드 지부)에서 그의 박사 학위 논문으로 발표되었다.
정수론에서 1927년 조지 폴리아가 제기한 리만 -함수의 테일러 계수를 연결하는 무한 시스템의 부등식에 대한 질문에 답했다. 그는 이 모든 부등식이 -함수와 그 도함수의 푸리에 변환을 연결하는 단일 함수 부등식의 결과임을 증명했다.
그래프 이론에서 사색 정리와 이항 계수의 가분성 사이에 예상치 못한 관계를 발견했으며, 사색 정리의 확률론적 해석을 제시했다.
리만 -함수의 영점에 대한 여러 가지 새로운 흥미로운 특성을 발견했다.
4. 수상 및 영예
| 연도 | 수상 및 영예 |
|---|---|
| 1964년 | 모스크바에서 열린 국제 수학 올림피아드 금메달 |
| 1970년 | 레닌그라드 수학회 "젊은 수학자상" |
| 1980년 | 소련 과학 아카데미 마르코프상 |
| 1996년 | 오베르뉴 대학교 명예 박사 학위 |
| 1998년 | 훔볼트 연구상 |
| 2003년 | 피에르 앤 마리 퀴리 대학교(UPMC) 명예 박사 학위 |
| 2007년 | 바이에른 과학 아카데미 회원 |
5. 저서
* 유리 마티야세비치 [http://logic.pdmi.ras.ru/~yumat/H10Pbook/index.html 힐베르트의 열 번째 문제], 마틴 데이비스와 힐러리 퍼트넘 서문, MIT 출판, 1993.
6. 논문
| 제목 | 저자 | 학술지 | 권(호) | 쪽수 | 발행년도 | ISSN | 비고 |
|---|---|---|---|---|---|---|---|
| Real-time recognition of the inclusion relation영어 | 유리 마티야세비치 | Journal of Soviet Mathematics영어 | 1권 1호 | 64–70 | 1973년 | 0090-4104 | |
| Reduction of an arbitrary Diophantine equation to one in 13 unknowns영어 | 유리 마티야세비치, 줄리아 로빈슨 | [[Acta Arithmetica]]영어 | XXVII권 | 521–549 | 1975년 | ||
| Decision problems for semi-Thue systems with a few rules영어 | 유리 마티야세비치, 제호 센제르그 | LICS영어 | 1996년 | ||||
| Proof procedure as a basis for metamathematical proofs in discrete mathematics영어 | 유리 마티야세비치 | 유리 마티야세비치의 개인 저널 | |||||
| Elimination of bounded universal quantifiers standing in front of an quantifier-free arithmetical formula영어 | 유리 마티야세비치 | 유리 마티야세비치의 개인 저널 | |||||
| Polynomials related to coloring of triangulations of sphere영어 | 유리 마티야세비치 | 유리 마티야세비치의 개인 저널 | |||||
| Some probabilistic restatements of the four color conjecture영어 | 유리 마티야세비치 | [[Journal of Graph Theory]]영어 | 46권 3호 | 167–179 | 2004년 |