본문으로 이동

유리 마티야세비치

위키백과, 우리 모두의 백과사전.
유리 마티야세비치
Юрий Матиясевич
로마자 표기Yuri Matiyasevich
출생1947년 3월 2일
러시아
성별남성
국적러시아
직업수학자

유리 마티야세비치(러시아어: Ю́рий Влади́мирович Матиясе́вич, 1947년 3월 2일 - )는 러시아수학자이다. 그는 1972년 박사학위 논문에서 힐베르트의 10번째 문제가 부정됨을 증명(마티야세비치의 정리)하였다.

작업

[편집]

1972년 스테클로프 수학 연구소 레닌그라드 지부 소속이던 그는 25세의 나이에 힐베르트의 10번째 문제가 해결 불가능하다는 내용의 박사 논문을 방어하였다. 그는 피보나치 수를 사용하여 디오판토스 방정식의 해가 지수적으로 증가할 수 있음을 보였는데, 이미 줄리아 로빈슨, 마틴 데이비스, 힐러리 퍼트넘은 이것이 모든 재귀 열거 집합디오판토스 집합임을 증명하는 데 충분함을 보인 바 있다. 재귀 열거 집합은 일반적으로 결정 가능하지 않으므로 이것은 힐베르트의 10번째 문제를 부정으로 해결하며, 오늘날 마티야세비치의 정리 또는 이들의 이름 앞글자를 따서 MRDP 정리로 알려져 있다.

외부 링크

[편집]