Yuri Matiyasevich
Encyclopedia
Yuri Vladimirovich Matiyasevich, ' onMouseout='HidePop("8204")' href="/topics/Saint_Petersburg">Leningrad
) is a Russia
n mathematician
and computer scientist. He is best known for his negative solution of Hilbert's tenth problem
, presented in his doctoral thesis, at LOMI
(the Leningrad Department of the Steklov Institute of Mathematics
).
Saint Petersburg
Saint Petersburg is a city and a federal subject of Russia located on the Neva River at the head of the Gulf of Finland on the Baltic Sea...
) is a Russia
Russia
Russia or , officially known as both Russia and the Russian Federation , is a country in northern Eurasia. It is a federal semi-presidential republic, comprising 83 federal subjects...
n mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
and computer scientist. He is best known for his negative solution of Hilbert's tenth problem
Hilbert's tenth problem
Hilbert's tenth problem is the tenth on the list of Hilbert's problems of 1900. Its statement is as follows:Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined in a finite...
, presented in his doctoral thesis, at LOMI
Lomi
Lomi or Pancit Lomi is a Filipino-Chinese dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, panciterias or restaurants...
(the Leningrad Department of the Steklov Institute of Mathematics
Steklov Institute of Mathematics
Steklov Institute of Mathematics or Steklov Mathematical Institute is a research institute based in Moscow, specialized in mathematics, and a part of the Russian Academy of Sciences. It was established April 24, 1934 by the decision of the General Assembly of the Academy of Sciences of the USSR in...
).
Biography
- In 1962-1963 studied at Saint Petersburg Lyceum 239.
- In 1963-1964 studied at Kolmogorov School.
- In 1964-1969 studied at Mathematics & Mechanics Faculty of Leningrad State UniversitySaint Petersburg State UniversitySaint Petersburg State University is a Russian federal state-owned higher education institution based in Saint Petersburg and one of the oldest and largest universities in Russia....
. As a winner of IMOInternational Mathematical OlympiadThe International Mathematical Olympiad is an annual six-problem, 42-point mathematical olympiad for pre-collegiate 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 in 1980...
Yuri Matiyasevich was accepted without exams to LSUSaint Petersburg State UniversitySaint Petersburg State University is a Russian federal state-owned higher education institution based in Saint Petersburg and one of the oldest and largest universities in Russia....
, skipping the last year of high school studies. - In 1966 he presented a talk at International Congress of MathematiciansInternational Congress of MathematiciansThe International Congress of Mathematicians is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union ....
held in MoscowMoscowMoscow is the capital, the most populous city, and the most populous federal subject of Russia. The city is a major political, economic, cultural, scientific, religious, financial, educational, and transportation centre of Russia and the continent...
. He was a second year undergraduate student at that time. - In 1969-1970 Ph.D. studies at Leningrad DepartmentLomiLomi or Pancit Lomi is a Filipino-Chinese dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, panciterias or restaurants...
of Steklov Institute of MathematicsSteklov Institute of MathematicsSteklov Institute of Mathematics or Steklov Mathematical Institute is a research institute based in Moscow, specialized in mathematics, and a part of the Russian Academy of Sciences. It was established April 24, 1934 by the decision of the General Assembly of the Academy of Sciences of the USSR in...
under supervision of Sergey Maslov. - In 1970 he received Ph.D. degree at LOMILomiLomi or Pancit Lomi is a Filipino-Chinese dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, panciterias or restaurants...
. - In 1970-1974 researcher at LOMILomiLomi or Pancit Lomi is a Filipino-Chinese dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, panciterias or restaurants...
. - In 1972 he obtained a second doctoral degree (called "doktor nauk" in Soviet UnionSoviet UnionThe Soviet Union , officially the Union of Soviet Socialist Republics , was a constitutionally socialist state that existed in Eurasia between 1922 and 1991....
). - In 1974-1980 senior researcher at LOMILomiLomi or Pancit Lomi is a Filipino-Chinese dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, panciterias or restaurants...
. - Since 1980 Yuri Matiyasevich has been the head of Laboratory of mathematical logic at LOMILomiLomi or Pancit Lomi is a Filipino-Chinese dish made with a variety of thick fresh egg noodles of about a quarter of an inch in diameter. Because of its popularity at least in the eastern part of Batangas, there are as many styles of cooking lomi as there are eateries, panciterias or restaurants...
. - Since 1995 he has been a professor of Saint-Petersburg State UniversitySaint Petersburg State UniversitySaint Petersburg State University is a Russian federal state-owned higher education institution based in Saint Petersburg and one of the oldest and largest universities in Russia....
, initially at the chair of software engineering, later at the chair of algebra and number theory. - In 1997 he was elected as a corresponding member of Russian Academy of SciencesRussian Academy of SciencesThe Russian Academy of Sciences consists of the national academy of Russia and a network of scientific research institutes from across the Russian Federation as well as auxiliary scientific and social units like libraries, publishers and hospitals....
. - Since 1998 Yuri Matiyasevich has been a vice-president of St. Petersburg Mathematical SocietySt. Petersburg Mathematical SocietyThe St. Petersburg Mathematical Society is a society of St. Petersburg mathematicians. It was dissolved and subsequently revived twice, each time changing its name:* St. Petersburg Mathematical Society...
. - Since 2002 he has been a head of St.Petersburg City Mathematical Olympiad.
- Since 2003 Yuri Matiyasevich has been a co-director of annual German-Russian student school JASS.
- In 2008 he was elected as a full member of Russian Academy of SciencesRussian Academy of SciencesThe Russian Academy of Sciences consists of the national academy of Russia and a network of scientific research institutes from across the Russian Federation as well as auxiliary scientific and social units like libraries, publishers and hospitals....
.
Awards and honors
- In 1964 Yuri Matiyasevich won a gold medal at International Mathematical OlympiadInternational Mathematical OlympiadThe International Mathematical Olympiad is an annual six-problem, 42-point mathematical olympiad for pre-collegiate 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 in 1980...
held in MoscowMoscowMoscow is the capital, the most populous city, and the most populous federal subject of Russia. The city is a major political, economic, cultural, scientific, religious, financial, educational, and transportation centre of Russia and the continent...
. - In 1970 Yuri Matiyasevich received the "Young mathematician" prize of the Leningrad Mathematical SocietySt. Petersburg Mathematical SocietyThe St. Petersburg Mathematical Society is a society of St. Petersburg mathematicians. It was dissolved and subsequently revived twice, each time changing its name:* St. Petersburg Mathematical Society...
. - In 1980 Yuri Matiyasevich received a Markov Prize of Academy of Sciences of the USSRRussian Academy of SciencesThe Russian Academy of Sciences consists of the national academy of Russia and a network of scientific research institutes from across the Russian Federation as well as auxiliary scientific and social units like libraries, publishers and hospitals....
. - In 1996 Docteur Honoris Causa de l'Université d'Auvergne.
- In 1998 he received Humboldt Research Award to Outstanding ScholarsThe Humboldt PrizeThe Humboldt Prize, also known as the Humboldt Research Award, is an award given by the Alexander von Humboldt Foundation to internationally renowned scientists and scholars, and is currently valued at € 60,000 with the possibility of further support during the prize winner's life. Up to one...
. - In 2003 Docteur Honoris Causa de l'Université Pierre et Marie Curie (Paris-6).
- In 2007 he was elected to Bayern Academy of Sciences.
Facts for a biography
- A polynomial related to colorings of triangulation of sphere was named after Matiyasevich, see The Matiyasevich polynomial, four colour theorem and weight systems.
- Member of the American Mathematical SocietyAmerican Mathematical SocietyThe American Mathematical Society is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, which it does with various publications and conferences as well as annual monetary awards and prizes to mathematicians.The society is one of the...
and the Association for Symbolic LogicAssociation for Symbolic LogicThe Association for Symbolic Logic is an international organization of specialists in mathematical logic and philosophical logic—the largest such organization in the world. The ASL was founded in 1936, a crucial year in the development of modern logic, and its first president was Alonzo Church...
. - Member of the editorial boards for the journals Discrete Mathematics and Applications and Computer Instruments in Education.
- His Erdős numberErdos numberThe Erdős number describes the "collaborative distance" between a person and mathematician Paul Erdős, as measured by authorship of mathematical papers.The same principle has been proposed for other eminent persons in other fields.- Overview :...
is 2: Yuri Matiyasevich - Richard Guy - Paul ErdősPaul ErdosPaul Erdős was a Hungarian mathematician. Erdős published more papers than any other mathematician in history, working with hundreds of collaborators. He worked on problems in combinatorics, graph theory, number theory, classical analysis, approximation theory, set theory, and probability theory...
. - Notable students include: Eldar Musayev, Maxim Vsemirnov, Alexei Pastor, Dmitri Karpov, Yury Lifshits.
Book
- Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.
Papers
- Yuri Matiyasevich, Real-time recognition of the inclusion relation (on-line version), Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), ISSN 0090-4104.
- Yuri Matiyasevich and Julia RobinsonJulia RobinsonJulia Hall Bowman Robinson was an American mathematician best known for her work on decision problems and Hilbert's Tenth Problem.-Background and education:...
, Reduction of an arbitrary Diophantine equation to one in 13 unknowns (on-line version), Acta Arithmetica, XXVII (1975), 521-549. - Yuri Matiyasevich and Géraud SénizerguesGéraud SénizerguesGéraud Sénizergues is a French computer scientist at the University of Bordeaux. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"-External links:*...
http://dept-info.labri.fr/~ges, Decision Problems for Semi-Thue Systems with a Few Rules (on-line version), LICS'96. - Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics (on-line version), Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, (on-line version), Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, (on-line version), Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjecture (on-line version), Journal of Graph Theory, 2003.