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. He is best known for his negative solution of Hilbert's tenth problem ( 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: ...

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 text ...

(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 Faculty
of 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 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 millio ...

. 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. * ...

degree, equivalent to Ph.D.) at

and gave an invited talk at International Congress of Mathematicians held in

Nice Nice ( , ; Niçard dialect, Niçard: , classical norm, or , nonstandard, ; it, Nizza ; lij, Nissa; grc, Νίκαια; la, Nicaea) is the prefecture of the Alpes-Maritimes departments of France, department in France. The Nice urban unit, agg ...

on the undecidability of Hilbert's tenth problem. * In 1970–1974, he was a researcher at

. * In 1972, he obtained a second doctoral degree (equivalent to habilitation or D.Sc., called "doktor nauk" in

Soviet Union The Soviet Union,. officially the Union of Soviet Socialist Republics. (USSR),. was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 to 1991. A flagship communist state, ...

). * In 1974–1980, he was a senior researcher at

. * In 1980–2018, Yuri Matiyasevich was the head o
Laboratory of mathematical logic
at

. * Since 1995, he has been a professor of Saint Petersburg State University, 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 ...

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 integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...

. * 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 ...

. * Since 1998, Yuri Matiyasevich has been a vice-president of St. Petersburg Mathematical Society. * 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

Awards and honors

* 1964: Gold medal at the

held in

. * 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 Applications
an
Computer Instruments in Education
* Notable students include
Maxim VsemirnovAlexei PastorDmitri Karpov

Selected works

Book

*Yuri Matiyasevic

Foreword by Martin Davis and Hilary Putnam, 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. *

References

External links

Yuri Matiyasevich's home page

*
Matiyasevich theorem
on 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