Yuri Vladimirovich Matiyasevich, (russian: Ю́рий Влади́мирович Матиясе́вич; born 2 March 1947 in
Leningrad
Saint Petersburg ( rus, links=no, Санкт-Петербург, a=Ru-Sankt Peterburg Leningrad Petrograd Piter.ogg, r=Sankt-Peterburg, p=ˈsankt pʲɪtʲɪrˈburk), formerly known as Petrograd (1914–1924) and later Leningrad (1924–1991), i ...
) is a Russian
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change.
History
On ...
and
computer scientist
A computer scientist is a person who is trained in the academic study of computer science.
Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...
. He is best known for his negative solution of
Hilbert's tenth problem
Hilbert's tenth problem is the tenth on the list of mathematical problems that the German mathematician David Hilbert posed in 1900. It is the challenge to provide a general algorithm which, for any given Diophantine equation (a polynomial equat ...
(
Matiyasevich's theorem), which was presented in his
doctoral thesis
A thesis ( : theses), or dissertation (abbreviated diss.), is a document submitted in support of candidature for an academic degree or professional qualification presenting the author's research and findings.International Standard ISO 7144: ...
at
LOMI
Lomi or pancit lomi (Hokkien: /便食滷麵; Pe̍h-ōe-jī: ló͘-mī/piān-si̍t ló͘-mī) is a Filipino dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter, soaked in lye water to give it more texture. ...
(the Leningrad Department of the
Steklov Institute of Mathematics).
Biography
* In 1962–1963, Matiyasevich studied at
Saint Petersburg Lyceum 239
Presidential Physics and Mathematics Lyceum No. 239 (russian: link=no, Президентский физико-математический лицей №239), is a public Education in Russia#Secondary school, high school in Saint Petersburg, Rus ...
;
* In 1963–1964, he studied a
Kolmogorov School in 1964 he was the absolute winner of the
All-Union Olympiad in mathematics
* In 1964–1969, Matiyasevich studied at th
Mathematics & Mechanics Facultyof
Leningrad State University. By qualifying for the USSR team for the
International Mathematical Olympiad
The International Mathematical Olympiad (IMO) is a mathematical olympiad for pre-university students, and is the oldest of the International Science Olympiads. The first IMO was held in Romania in 1959. It has since been held annually, except i ...
(where he won a gold medal), Yuri Matiyasevich was accepted without exams to
Leningrad State University, skipping the last year of high school studies.
* In 1966, he presented a talk at
International Congress of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU).
The Fields Medals, the Nevanlinna Prize (to be rename ...
held in
Moscow
Moscow ( , US chiefly ; rus, links=no, Москва, r=Moskva, p=mɐskˈva, a=Москва.ogg) is the capital and largest city of Russia. The city stands on the Moskva River in Central Russia, with a population estimated at 13.0 million ...
. He was a second-year undergraduate student at that time.
* In 1969–1970, he pursued doctoral studies at
Leningrad Department of
Steklov Institute of Mathematics under supervision o
Sergey Maslov
* In 1970, he received his doctorate (
Candidate
A candidate, or nominee, is the prospective recipient of an award or honor, or a person seeking or being considered for some kind of position; for example:
* to be elected to an office — in this case a candidate selection procedure occurs.
* t ...
degree, equivalent to Ph.D.) at
LOMI
Lomi or pancit lomi (Hokkien: /便食滷麵; Pe̍h-ōe-jī: ló͘-mī/piān-si̍t ló͘-mī) is a Filipino dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter, soaked in lye water to give it more texture. ...
and gave an invited talk at
International Congress of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU).
The Fields Medals, the Nevanlinna Prize (to be rename ...
held in
Nice
Nice ( , ; Niçard: , classical norm, or , nonstandard, ; it, Nizza ; lij, Nissa; grc, Νίκαια; la, Nicaea) is the prefecture of the Alpes-Maritimes department in France. The Nice agglomeration extends far beyond the administrative c ...
on the undecidability of Hilbert's tenth problem.
* In 1970–1974, he was a researcher at
LOMI
Lomi or pancit lomi (Hokkien: /便食滷麵; Pe̍h-ōe-jī: ló͘-mī/piān-si̍t ló͘-mī) is a Filipino dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter, soaked in lye water to give it more texture. ...
.
* In 1972, he obtained a second doctoral degree (equivalent to
habilitation
Habilitation is the highest university degree, or the procedure by which it is achieved, in many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a ...
or D.Sc., called "doktor nauk" in
Soviet Union
The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, it was nominally a federal union of fifteen national ...
).
* In 1974–1980, he was a senior researcher at
LOMI
Lomi or pancit lomi (Hokkien: /便食滷麵; Pe̍h-ōe-jī: ló͘-mī/piān-si̍t ló͘-mī) is a Filipino dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter, soaked in lye water to give it more texture. ...
.
* In 1980–2018, Yuri Matiyasevich was the head o
Laboratory of mathematical logicat
LOMI
Lomi or pancit lomi (Hokkien: /便食滷麵; Pe̍h-ōe-jī: ló͘-mī/piān-si̍t ló͘-mī) is a Filipino dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter, soaked in lye water to give it more texture. ...
.
* Since 1995, he has been a professor of
Saint Petersburg State University
Saint Petersburg State University (SPBU; russian: Санкт-Петербургский государственный университет) is a public research university in Saint Petersburg, Russia. Founded in 1724 by a decree of Peter the G ...
, initially at the chair of
software engineering
Software engineering is a systematic engineering approach to software development.
A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term '' ...
, later at the chair of
algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary a ...
and
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
.
* In 1997, he was elected as a corresponding member of
Russian Academy of Sciences
The Russian Academy of Sciences (RAS; russian: Росси́йская акаде́мия нау́к (РАН) ''Rossíyskaya akadémiya naúk'') consists of the national academy of Russia; a network of scientific research institutes from across t ...
.
* Since 1998, Yuri Matiyasevich has been a vice-president of
St. Petersburg Mathematical Society
The Saint Petersburg Mathematical Society (russian: Санкт-Петербургское математическое общество) is a mathematical society run by Saint Petersburg mathematicians.
Historical notes
The St. Petersburg Mathe ...
.
* Since 2002, he has been a head o
St.Petersburg City Mathematical Olympiad
* Since 2003, Matiyasevich has been a co-director of annual German–Russian student schoo
JASS
* In 2008, he was elected as a full member of
Russian Academy of Sciences
The Russian Academy of Sciences (RAS; russian: Росси́йская акаде́мия нау́к (РАН) ''Rossíyskaya akadémiya naúk'') consists of the national academy of Russia; a network of scientific research institutes from across t ...
.
Awards and honors
* 1964: Gold medal at the
International Mathematical Olympiad
The International Mathematical Olympiad (IMO) is a mathematical olympiad for pre-university students, and is the oldest of the International Science Olympiads. The first IMO was held in Romania in 1959. It has since been held annually, except i ...
held in
Moscow
Moscow ( , US chiefly ; rus, links=no, Москва, r=Moskva, p=mɐskˈva, a=Москва.ogg) is the capital and largest city of Russia. The city stands on the Moskva River in Central Russia, with a population estimated at 13.0 million ...
.
* 1970: "Young mathematician prize" of the
Leningrad Mathematical Society
The Saint Petersburg Mathematical Society (russian: Санкт-Петербургское математическое общество) is a mathematical society run by Saint Petersburg mathematicians.
Historical notes
The St. Petersburg Mathe ...
.
* 1980: Markov Prize of
Academy of Sciences of the USSR
The Academy of Sciences of the Soviet Union was the highest scientific institution of the Soviet Union from 1925 to 1991, uniting the country's leading scientists, subordinated directly to the Council of Ministers of the Soviet Union (until 1946 ...
.
* 1996: Honorary Degree,
Université d'Auvergne
The University of Auvergne (Université d'Auvergne), also known as “Universite d'Auvergne Clermont-Ferrand I” or Clermont-Ferrand I, was a French public university, based in Clermont-Ferrand, in the region of Auvergne. It was under the Academ ...
.
* 1998: He received
Humboldt Research Award
The Humboldt Prize, the Humboldt-Forschungspreis in German, also known as the Humboldt Research Award, is an award given by the Alexander von Humboldt Foundation of Germany to internationally renowned scientists and scholars who work outside of G ...
.
* 2003: Honorary Degree,
Université Pierre et Marie Curie
Pierre and Marie Curie University (french: link=no, Université Pierre-et-Marie-Curie, UPMC), also known as Paris 6, was a public university, public research university in Paris, France, from 1971 to 2017. The university was located on the Jussi ...
(UPMC).
* 2007: Member of the
Bavarian Academy of Sciences
The Bavarian Academy of Sciences and Humanities (german: Bayerische Akademie der Wissenschaften) is an independent public institution, located in Munich. It appoints scholars whose research has contributed considerably to the increase of knowledg ...
.
Notable facts
* A polynomial related to the colorings of a triangulation of a sphere was named after Matiyasevich; se
The Matiyasevich polynomial, four colour theorem and weight systems
* He was a member of the
American Mathematical Society
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
and the
Association for Symbolic Logic
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Alonzo Church. The current president of the ASL is ...
; and also of the editorial boards for the journal
Discrete Mathematics and Applicationsan
Computer Instruments in Education
* Notable students include
Maxim VsemirnovAlexei PastorDmitri Karpov
Selected works
Book
*Yuri Matiyasevic
Foreword by
Martin Davis and
Hilary Putnam
Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century. He made significant contributions ...
, The MIT Press, 1993. .
Papers
*
*
*
* Yuri Matiyasevich
''Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics'' Personal Journal of Yury Matiyasevich.
* Yuri Matiyasevich
''Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula'' Personal Journal of Yuri Matiyasevich.
* Yuri Matiyasevich
Personal Journal of Yuri Matiyasevich.
*
See also
*
Matiyasevich's theorem
References
External links
Yuri Matiyasevich's home page
*
Matiyasevich theoremon Scholarpedia.
.
*
{{DEFAULTSORT:Matiyasevich, Yuri
1947 births
20th-century Russian mathematicians
21st-century Russian mathematicians
Saint Petersburg State University alumni
Living people
Full Members of the Russian Academy of Sciences
Mathematicians from Saint Petersburg
Russian computer scientists
Russian logicians
Soviet logicians
Soviet computer scientists
Soviet mathematicians
International Mathematical Olympiad participants
Saint Petersburg State University faculty