Yuri Vladimirovich Matiyasevich (; born 2 March 1947 in

Leningrad Saint Petersburg, formerly known as Petrograd and later Leningrad, is the List of cities and towns in Russia by population, second-largest city in Russia after Moscow. It is situated on the Neva, River Neva, at the head of the Gulf of Finland ...

) 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, mathematical structure, structure, space, Mathematica ...

and

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

. 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 that, for any given Diophantine equation (a polynomial equatio ...

( 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: D ...

LOMI Lomi or pancit Lor mee, lomi (Hokkien ) is a Culture of the Philippines, 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. Because of its popula ...

(the Leningrad Department of the

Steklov Institute of Mathematics Steklov Institute of Mathematics or Steklov Mathematical Institute () is a premier research institute based in Moscow, specialized in mathematics, and a part of the Russian Academy of Sciences. The institute is named after Vladimir Andreevich Stek ...

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 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 Moscow State University (MSU), officially M. V. Lomonosov Moscow State University,. is a public university, public research university in Moscow, Russia. The university includes 15 research institutes, 43 faculties, more than 300 departments, a ...

physics and mathematics boarding school No. 18 named after A. N. Kolmogorov. In 1964, he won a 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. It is widely regarded as the most prestigious mathematical competition in the wor ...

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. Being a second-year student, he released two papers in

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

that were published in the ''

Proceedings of the USSR Academy of Sciences The ''Proceedings of the USSR Academy of Sciences'' (, ''Doklady Akademii Nauk SSSR'' (''DAN SSSR''), ) was a Soviet journal that was dedicated to publishing original, academic research papers in physics, mathematics, chemistry, geology, and biol ...

''. He presented these works at the

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 IMU Abacus Medal (known before ...

in 1966. 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 , he defended his thesis for the degree of

Candidate of Sciences A Candidate of Sciences is a Doctor of Philosophy, PhD-equivalent academic research degree in all the post-Soviet countries with the exception of Ukraine, and until the 1990s it was also awarded in Central and Eastern European countries. It is ...

in Physics and Mathematics. In 1972, at the age of 25, he defended his doctoral dissertation on the unsolvability of Hilbert's tenth problem. 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 Software engineering is a branch of both computer science and engineering focused on designing, developing, testing, and maintaining Application software, software applications. It involves applying engineering design process, engineering principl ...

, later at the chair of

algebra Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...

and

number theory Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...

. In 1997, he was elected as a corresponding member of

Russian Academy of Sciences The Russian Academy of Sciences (RAS; ''Rossíyskaya akadémiya naúk'') consists of the national academy of Russia; a network of scientific research institutes from across the Russian Federation; and additional scientific and social units such ...

. Since 1998, Yuri Matiyasevich has been a vice-president of

St. Petersburg Mathematical Society The Saint Petersburg Mathematical Society () is a scientific society, mathematical society run by Saint Petersburg mathematicians. Historical notes The St. Petersburg Mathematical Society was founded in 1890 and was the third founded mathematical ...

. Since 2002, he has been a head o
St.Petersburg City Mathematical Olympiad
Since 2003, Matiyasevich has been a co-director of an annual German–Russian student schoo
JASS
In 2008, he was elected as a full member of

. 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 Curt John Ducasse. The current president of the ASL ...

; and also of the editorial boards for the journal
Discrete Mathematics and Applications
an
Computer Instruments in Education
As a teacher, he mentore
Maxim VsemirnovAlexei PastorDmitri Karpov
ref name=ras> A

polynomial In mathematics, a polynomial is a Expression (mathematics), mathematical expression consisting of indeterminate (variable), indeterminates (also called variable (mathematics), variables) and coefficients, that involves only the operations of addit ...

related to the colorings of a

triangulation In trigonometry and geometry, triangulation is the process of determining the location of a point by forming triangles to the point from known points. Applications In surveying Specifically in surveying, triangulation involves only angle m ...

of a sphere was named after Matiyasevich; se
The Matiyasevich polynomial, four colour theorem and weight systems

Awards and honors

* 1964: Gold medal at the

held in

Moscow Moscow is the Capital city, capital and List of cities and towns in Russia by population, largest city of Russia, standing on the Moskva (river), Moskva River in Central Russia. It has a population estimated at over 13 million residents with ...

. * 1970: "Young mathematician prize" of the Leningrad Mathematical Society. * 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. It united the country's leading scientists and was subordinated directly to the Council of Ministers of the Soviet Union (u ...

. * 1996: Honorary Degree, Université d'Auvergne. * 1998: He received

Humboldt Research Award The Humboldt Research Award (), also known informally as the Humboldt Prize, is an award given by the Alexander von Humboldt Foundation of Germany to internationally renowned scientists and scholars who work outside of Germany in recognition of t ...

. * 2003: Honorary Degree,

Université Pierre et Marie Curie Pierre and Marie Curie University ( , UPMC), also known as Paris VI, was a public research university in Paris, France, from 1971 to 2017. The university was located on the Jussieu Campus in the Latin Quarter of the 5th arrondissement of Paris, ...

(UPMC). * 2007: Member of the

Bavarian Academy of Sciences The Bavarian Academy of Sciences and Humanities () is an independent public institution, located in Munich. It appoints scholars whose research has contributed considerably to the increase of knowledge within their subject. The general goal of th ...

Selected works

* At the age of 22, he came up with a negative solution

proof Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a co ...

for

( Matiyasevich's theorem), which was presented in his

(the Leningrad Department of the

). * In

, he answered

George Pólya George Pólya (; ; December 13, 1887 – September 7, 1985) was a Hungarian-American mathematician. He was a professor of mathematics from 1914 to 1940 at ETH Zürich and from 1940 to 1953 at Stanford University. He made fundamental contributi ...

's question of 1927 regarding an infinite system of inequalities linking the Taylor coefficients of the Riemann

\zeta

-function. He proved that all these inequalities are a consequence of a single functional inequality linking the

Fourier transform In mathematics, the Fourier transform (FT) is an integral transform that takes a function as input then outputs another function that describes the extent to which various frequencies are present in the original function. The output of the tr ...

of a

\zeta

-function and its derivatives. * In

graph theory In mathematics and computer science, graph theory is the study of ''graph (discrete mathematics), graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of ''Vertex (graph ...

, he found an unexpected connection between the

four color theorem In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color. ''Adjacent'' means that two regions shar ...

and divisibility of

binomial coefficients In mathematics, the binomial coefficients are the positive integers that occur as coefficients in the binomial theorem. Commonly, a binomial coefficient is indexed by a pair of integers and is written \tbinom. It is the coefficient of the te ...

, and gave a probabilistic interpretation of the four color theorem. * He discovered a number of new interesting qualities of the zeros of the Riemann

\zeta

-function.

Book

*Yuri Matiyasevic
''Hilbert's 10th Problem''
Foreword by Martin Davis and

Hilary Putnam Hilary Whitehall Putnam (; July 31, 1926 – March 13, 2016) was an American philosopher, mathematician, computer scientist, and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of ...

, 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

Sources

* *

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 Academic staff of Saint Petersburg State University Russian scientists