View source for Yuri Matiyasevich

{{Short description|Russian mathematician and computer scientist}}
{{redirect|Matiyasevich|other people|Matijasevic}}
{{Infobox scientist
| name          	= Yuri Matiyasevich
| image         	= Yuri Matiyasevich. Portrait 1969.jpg
| birth_date    	= {{Birth date and age|1947|3|2|df=y}}
| birth_place   	= [[Leningrad]], [[Soviet Union]]
| nationality   	= Soviet<br>Russian
| field         	= [[Mathematics]] and [[Theoretical computer science]]
| known_for     	= his contribution to [[computability theory]], especially
 solving [[Hilbert's tenth problem]], through [[Matiyasevich's theorem]]
| work_institution  = [[LOMI|Petersburg Department]] of [[Steklov Institute of Mathematics]]
| alma_mater    	= [[Leningrad State University]]
| prizes        	= [[Petersburg Mathematical Society]] Prize (1970),<br>Markov Prize (1980),<br>
[[Humboldt Award]] (1998)
}}

'''Yuri Vladimirovich Matiyasevich''' ({{langx|ru|Ю́рий Влади́мирович Матиясе́вич}}; born 2 March 1947 in [[Leningrad]]) is a Russian [[mathematician]] and [[computer scientist]]. He is best known for his negative solution of [[Hilbert's tenth problem]] ([[Matiyasevich's theorem]]), which was presented in his [[doctoral thesis]] at [[LOMI]] (the Leningrad Department of the [[Steklov Institute of Mathematics]]).

== Biography ==

=== Early years and education ===

Yuri Matiyasevich was born in Leningrad on March 2, 1947. The first few classes he studied at school No. 255 with Sofia G. Generson, thanks to whom he became interested in mathematics. In 1961 he began to participate in all-Russian olympiads. From 1962 to 1963 he studied at Leningrad [[Saint Petersburg Lyceum 239|physical and mathematical school No. 239]]. Also from 7th to 9th grade he was involved in the mathematical circle of the Leningrad Palace of Pioneers. In 1963-1964 he completed 10th grade at the [[Moscow State University]] physics and mathematics boarding school No. 18 named after [[Andrey Kolmogorov|A. N. Kolmogorov]].{{sfn|Varpahovsky|Varpahovsky|1970|p=6}}{{sfn|Beltyukov|2017|p=6}}

In 1964, he won a gold medal at the [[International Mathematical Olympiad]]<ref>{{Cite web |title=International Mathematical Olympiad |url=https://www.imo-official.org/participant_r.aspx?id=9909 |access-date=2023-05-20 |website=www.imo-official.org}}</ref> and was enrolled in the Mathematics and Mechanics Department of [[St. Petersburg State University]] without exams. He took his high school diploma exams as a first-year student.{{sfn|Varpahovsky|Varpahovsky|1970|p=38}}<ref>{{Cite web |url=http://www.math.spbu.ru/ru/Archive/stend/Chronology.html 
|title=Из хронологии математико-механического факультета |access-date=2019-01-12 
|trans-title=Chronology of the Department of Mathematics and Mechanics
|archive-date=2020-08-04 |archive-url=https://web.archive.org/web/20200804123003/https://www.math.spbu.ru/ru/Archive/stend/Chronology.html}}</ref>

Being a second-year student, he released two papers in [[mathematical logic]] that were published in the ''[[Proceedings of the USSR Academy of Sciences]]''. He presented these works at the [[International Congress of Mathematicians]] in 1966.{{sfn|Beltyukov|2017|p=6}}

After graduation, he enrolled in graduate school at [[St. Petersburg Department of Steklov Mathematical Institute of the Russian Academy of Sciences]] (POMI). In 1970, under the guidance of {{ill|Sergei Maslov (mathematician)|lt=Sergei Maslov|ru|Маслов, Сергей Юрьевич (математик)}}, he defended his thesis for the degree of [[Candidate of Sciences]] in Physics and Mathematics.{{sfn|Beltyukov|2017|p=5}}

In 1972, at the age of 25, he defended his doctoral dissertation on the unsolvability of Hilbert's tenth problem.{{sfn|Beltyukov|2017|p=7}}

From 1974 Matiyasevich worked in scientific positions at LOMI, first as a senior researcher, in 1980 he headed the Laboratory of Mathematical Logic. In 1995, Matiyasevich became a professor at POMI, initially at the chair of [[software engineering]], later at the chair of [[abstract algebra|algebra]] and [[number theory]].{{sfn|Beltyukov|2017|p=9}}

In 1997, he was elected as a corresponding member of [[Russian Academy of Sciences]]. Since 1998, Yuri Matiyasevich has been a vice-president of [[St. Petersburg Mathematical Society]].
Since 2002, he has been a head of [http://www.pdmi.ras.ru/~olymp/ St.Petersburg City Mathematical Olympiad].

Since 2003, Matiyasevich has been a co-director of an annual German–Russian student school [http://logic.pdmi.ras.ru/jass07/ JASS].

In 2008, he was elected as a full member of [[Russian Academy of Sciences]].<ref>{{cite web|url=http://ras.ru/viewstaticdoc.aspx?id=678c5841-0fd1-47f5-b853-7d30f46b527e&_Language=ru|title=Список избранных членов РАН|trans-title=List of RAS full members|date=|publisher=|accessdate=2013-08-17|lang=|archiveurl=https://web.archive.org/web/20220610062808/http://www.ras.ru/viewstaticdoc.aspx?id=678c5841-0fd1-47f5-b853-7d30f46b527e|archivedate=2022-06-10}}</ref>

He was a member of the [[American Mathematical Society]] and the [[Association for Symbolic Logic]]; and also of the editorial boards for the journals [https://web.archive.org/web/20070405101041/http://www.vsppub.com/journals/jn-DisMatApp.html Discrete Mathematics and Applications] and [http://www.ipo.spb.ru/journal/ Computer Instruments in Education]. As a teacher, he mentored [https://web.archive.org/web/20070112070241/http://www.eldar.com/eldar/eldar.htm Eldar Musayev], [http://logic.pdmi.ras.ru/~vsemir/ Maxim Vsemirnov], [http://logic.pdmi.ras.ru/~pastor/ Alexei Pastor], [http://logic.pdmi.ras.ru/~dvk/ Dmitri Karpov]<ref name=ras>{{cite web
 |language      = ru
 |url         =https://www.ras.ru/news/shownews.aspx?id=551004d0-26db-496e-948e-9846fafd23c5
 |title       =Академику Матиясевичу Юрию Владимировичу - 70 лет!
 |publisher   = Российская Академия наук
 |date        = 2017-03-02
 |accessdate  = 2023-03-16}}</ref>

A [[polynomial]] related to the colorings of a [[triangulation (topology)|triangulation]] of a sphere was named after Matiyasevich; see [http://www.pdmi.ras.ru/~duzhin/papers/mati-pol.ps.gz The Matiyasevich polynomial, four colour theorem and weight systems].

== Awards and honors ==

* 1964: Gold medal at the [[International Mathematical Olympiad]] held in [[Moscow]].
* 1970:  "Young mathematician prize" of the [[Leningrad Mathematical Society]].<ref>{{Cite web|url=http://www.mathsoc.spb.ru/prizes.html|title=SPb. Math. Soc. Prizes|website=www.mathsoc.spb.ru}}</ref>
* 1980: Markov Prize of [[Academy of Sciences of the USSR]].
* 1996: Honorary Degree, [[Université d'Auvergne]].
* 1998: He received [[Humboldt Research Award]].
* 2003: Honorary Degree, [[Université Pierre et Marie Curie]] (UPMC).
* 2007: Member of the [[Bavarian Academy of Sciences]].

== Selected works ==

* At the age of 22, he came up with a negative solution [[Mathematical proof|proof]] for [[Hilbert's tenth problem]] ([[Matiyasevich's theorem]]), which was presented in his [[doctoral thesis]] at [[LOMI]] (the Leningrad Department of the [[Steklov Institute of Mathematics]]).{{sfn|Beltyukov|2017|p=8}}

* In [[number theory]], he answered [[George Pólya]]'s question of 1927 regarding an infinite system of inequalities linking the Taylor coefficients of the [[Riemann zeta function|Riemann <math>\zeta</math>-function]]. He proved that all these inequalities are a consequence of a single functional inequality linking the [[Fourier transform]] of a <math>\zeta</math>-function and its derivatives.{{sfn|Beltyukov|2017|p=10}}

* In [[graph theory]], he found an unexpected connection between the [[four color theorem]] and divisibility of [[binomial coefficients]], and gave a probabilistic interpretation of the four color theorem.{{sfn|Beltyukov|2017|p=10}}

* He discovered a number of new interesting qualities of the zeros of the Riemann <math>\zeta</math>-function.<ref name=ras/>

=== Book ===
*Yuri Matiyasevich [http://logic.pdmi.ras.ru/~yumat/H10Pbook/index.html  ''Hilbert's 10th Problem''], Foreword by [[Martin Davis (mathematician)|Martin Davis]] and [[Hilary Putnam]], The MIT Press, 1993. {{ISBN|0-262-13295-8}}.

=== Papers ===
* {{cite journal |author=Yuri Matiyasevich |title=Real-time recognition of the inclusion relation |url=http://logic.pdmi.ras.ru/~yumat/Journal/inclusion/inclusion.pdf |journal=Journal of Soviet Mathematics |volume=1 |issue=1 |pages=64&ndash;70 |year=1973 |issn=0090-4104 |doi=10.1007/bf01117471|s2cid=121919479 }}
* {{cite journal |author=Yuri Matiyasevich, [[Julia Robinson]] |title=Reduction of an arbitrary Diophantine equation to one in 13 unknowns |url=http://logic.pdmi.ras.ru/~yumat/Journal/reduction/reduction.html |journal=[[Acta Arithmetica]] |volume=XXVII |year=1975 |pages=521–549}}
* {{cite journal |author=Yuri Matiyasevich, [[Géraud Sénizergues]] |title=Decision Problems for Semi-Thue Systems with a Few Rules |url=http://dept-info.labri.u-bordeaux.fr/~ges/termination.ps |journal=LICS |year=1996}}
* Yuri Matiyasevich, [http://logic.pdmi.ras.ru/~yumat/Journal/corte.ps.gz ''Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics''], Personal Journal of Yury Matiyasevich.
* Yuri Matiyasevich, [http://logic.pdmi.ras.ru/Hilbert10/journal/preprints/yumat97a.ps ''Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula''], Personal Journal of Yuri Matiyasevich.
* Yuri Matiyasevich, [http://logic.pdmi.ras.ru/~yumat/Journal/Triangular/triang.htm ''A Polynomial related to Colourings of Triangulation of Sphere''], Personal Journal of Yuri Matiyasevich.
* {{cite journal |author=Yuri Matiyasevich |url=http://logic.pdmi.ras.ru/~yumat/Journal/prob4cc/prob4cc.ps.gz |title=Some Probabilistic Restatements of the Four Color Conjecture |journal=[[Journal of Graph Theory]] |year=2004 |volume=46 |issue=3 |pages=167–179 |doi=10.1002/jgt.10178|s2cid=30591818 }}

==See also==
* [[Matiyasevich's theorem]]

==References==
{{Reflist}}

== Sources ==
*{{cite journal
| last1      = Beltyukov
| first1     = A. P.
| date       =2017 
| title      = To the anniversary of Yuri Vladimirovich Matiyasevich
| url        = https://cyberleninka.ru/article/n/k-yubileyu-yuriya-vladimirovich-matiyasevicha
| journal    = Computer Tools in Education
| issue      = 6
| pages      = 5–11
}}
*{{cite journal
| last1      = Varpahovsky
| first1     = F.
| last2      =Varpahovsky 
| first2     = A.
| date       = 1970
| title      = On solving Hilbert's tenth problem
| url        = http://kvant.ras.ru/1970/07/o_reshenii_desyatoj_problemy_g.htm
| journal    = Kvant (Magazine)
| issue      = 7
| pages      = 38–44
}} 

==External links==
{{commons category|Yuri Matiyasevich (mathematician)}}
* [http://logic.pdmi.ras.ru/~yumat/ Yuri Matiyasevich's home page].
* [https://web.archive.org/web/20080123202652/http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/Matiyasevich:Yuri.html Yuri Matiyasevich at DBLP].
* {{IMO results|id=9909}}
* [http://www.scholarpedia.org/article/Matiyasevich_theorem Matiyasevich theorem] on Scholarpedia.
* [http://www.liafa.jussieu.fr/~ig/vita_fr.html Vita and collaboration with France] {{in lang|fr}}.
* {{MacTutor Biography|id=Matiyasevich}}
* [https://www.sciencedaily.com/releases/2012/11/121106125558.htm  Supercomputing for a Superproblem: A Computational Journey Into Pure Mathematics]

{{Authority control}}

{{DEFAULTSORT:Matiyasevich, Yuri}}
[[Category:1947 births]]
[[Category:20th-century Russian mathematicians]]
[[Category:21st-century Russian mathematicians]]
[[Category:Saint Petersburg State University alumni]]
[[Category:Living people]]
[[Category:Full Members of the Russian Academy of Sciences]]
[[Category:Mathematicians from Saint Petersburg]]
[[Category:Russian computer scientists]]
[[Category:Russian logicians]]
[[Category:Soviet logicians]]
[[Category:Soviet computer scientists]]
[[Category:Soviet mathematicians]]
[[Category:International Mathematical Olympiad participants]]
[[Category:Academic staff of Saint Petersburg State University]]
[[Category:Russian scientists]]