Aniversário |
2 de março de 1947 São Petersburgo |
---|---|
Nome na língua nativa | Юрий Владимирович Матиясевич |
Nacionalidades |
Russo soviético |
Treinamento |
Faculdade de Matemática e Mecânica da Saint Petersburg State University ( d ) Saint Petersburg Lyceum 239 ( en ) Steklov Institute of Mathematics |
Atividades | Matemático , cientista da computação , professor universitário |
Trabalhou para | St. Petersburg Department of Steklov Institute of Mathematics of Russian Academy of Sciences ( en ) , Krasnoyarsk Summer School ( d ) , St. Petersburg State University |
---|---|
Cadeira | Membro titular da Academia Russa de Ciências ( d ) |
Áreas | Lógica matemática , teoria dos grafos , teoria dos números , teoria da computabilidade , computação teórica |
Membro de |
Academia de Ciências da Bavária Academia Russa de Ciências Academia Europaea (2014) |
Diretores de teses | Sergey Yuryevich Maslov ( d ) , Nikolai Alexandrowitsch Schanin ( en ) |
Local na rede Internet | (en) logic.pdmi.ras.ru/~yumat/ |
Prêmios |
Prêmio Markov de doutorado honorário da Universidade Pierre-et-Marie-Curie (2003) |
Yuri Vladimirovich Matiassevich (em russo : Юрий Владимирович Матиясевич , nascido em2 de março de 1947em Leningrado , Rússia) é um matemático russo que resolveu o décimo problema de Hilbert .
Ele estudou em Leningrado na escola N o 239 (in) , com especialização em matemática e física (onde também estudou, por exemplo, Perelman e Stanislav Smirnov ). Em 1964, ele ganhou a medalha de ouro para a URSS nas Olimpíadas Internacionais de Matemática , realizadas em Moscou . Em 1966 , ele apresentou uma conferência no Congresso Internacional de Matemáticos em Moscou . Ele estava em seu segundo ano na Universidade. Em 1967, trabalhando no Problema da Palavra para grupos e semigrupos, ele construiu um semigrupo com três relações e dois geradores indecidíveis.
Em 1969 , após treinamento no Departamento de Matemática e Mecânica , ele se formou na Universidade Estadual de Leningrado. Ele está fazendo doutorado no Steklov Institute of Mathematics em São Petersburgo (sob a supervisão de Sergey Maslov ) na LOMI .
Baseado em grande parte no trabalho de Julia Robinson , ele provou em 1970 a indecidibilidade do décimo problema de Hilbert , a principal fonte de sua fama internacional: ele deu uma palestra sobre o assunto no Congresso Internacional de Matemáticos em Nice em 1970. Nessa época , ele também descobriu o algoritmo Knuth-Morris-Pratt antes deles.
Em 1996 , obteve o título de doutor honoris causa pela Universidade de Auvergne .
Em 1997 foi eleito membro correspondente da Academia Russa de Ciências .
Em 2003 , foi-lhe atribuído o título de doutor honoris causa pela Universidade Pierre-et-Marie-Curie (Paris 6).
Atualmente, ele é o chefe do laboratório de lógica matemática da LOMI, São Petersburgo.