Residence Soviet Union
Russia Nationality Soviet Russian | Name Yuri Matiyasevich Role Mathematician | |

Born March 2, 1947 (age 68)
Leningrad, Soviet Union (1947-03-02) Institutions Petersburg Department of Steklov Institute of Mathematics Alma mater Leningrad State University Known for his contribution to computability theory, especially solving Hilbert's tenth problem Notable awards Petersburg Mathematical Society Prize (1970), Markov Prize (1980), Humboldt Award (1998) Education Saint Petersburg State University Fields Mathematics, Theoretical computer science Similar People David Hilbert, Julia Robinson, Martin Davis, Andrey Kolmogorov, John von Neumann |

## Yuri matiyasevich saint petersburg studying the zeta function via certain determinants

**Yuri Vladimirovich Matiyasevich**, (Russian: Ю́рий Влади́мирович Матиясе́вич; born March 2, 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).

## Contents

- Yuri matiyasevich saint petersburg studying the zeta function via certain determinants
- Biography
- Awards and honors
- Notable facts
- Book
- Papers
- References

## Biography

## Awards and honors

## Notable facts

## Book

*Hilbert's 10th Problem*, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.

## Papers

*Journal of Sovjet Mathematics*.

**1**(1): 64–70. ISSN 0090-4104. doi:10.1007/bf01117471.

*Acta Arithmetica*. XXVII: 521–549.

*LICS*.

*Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics*, Personal Journal of Yury Matiyasevich.

*Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula*, Personal Journal of Yuri Matiyasevich.

*A Polynomial related to Colourings of Triangulation of Sphere*, Personal Journal of Yuri Matiyasevich.

*Journal of Graph Theory*.

**46**(3): 167–179. doi:10.1002/jgt.10178.

## References

Yuri Matiyasevich Wikipedia(Text) CC BY-SA