Yuri Matiassevich

Yuri Matiassevich Imagem na Infobox. Yuri Matiassevich. Retrato em 1969. Biografia
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
Outra informação
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 .

Biografia

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.

Trabalhos

Notas e referências

Notas

  1. A cidade de São Petersburgo foi renomeada como Petrogrado e depois Leningrado antes de recuperar seu nome original. Os topônimos são usados ​​tal como existiam na época dos fatos citados neste artigo.

Referências

  1. Stephen Wolfram , A New Kind of Science , Wolfram Media, Inc.,2002( ISBN  1-57955-008-8 , leia online ) , 1141
  2. Para o nome do instituto, veja o detalhamento do instituto em seu site: [1] . LOMI é a abreviatura original em russo. As siglas atuais são: POMI RAN em russo e PDMI RAS em inglês.
  3. (ru) Юрий Матиясевич , "  О распознавании в реальное время отношения вхождения  " , Записки научных семинаров Ленинградского отделения Математического института им. В.А.Стеклова , vol.  20,1971, p.  104--114 ( ler online ), em sua versão russa, traduzida para o inglês como (en) Yuri Matiyasevich , “  Reconhecimento em tempo real da relação de inclusão  ” , Journal of Soviet Mathematics , vol.  1,1973, p.  64--70 ( ler online )
  4. Knuth menciona isso na errata de seu livro Selected Papers on Design of Algorithms  : “Eu aprendi em 2012 que Yuri Matiyasevich havia antecipado a correspondência de padrões de tempo linear e algoritmos de pré-processamento de padrões deste artigo, no caso especial de um alfabeto binário, já em 1969. Ele os apresentou como construções para uma máquina de Turing com uma memória de trabalho bidimensional. "

Veja também

Artigos relacionados

links externos