Yuri Matiyasevich - Yuri Matiyasevich
Yuri Matiyasevich | |
---|---|
Nascer |
|
2 de março de 1947
Nacionalidade | Russo soviético |
Alma mater | Universidade Estadual de Leningrado |
Conhecido por | sua contribuição para a teoria da computabilidade , especialmente resolvendo o décimo problema de Hilbert |
Prêmios |
Petersburgo Mathematical Society Prize (1970), Markov Prize (1980), Humboldt Award (1998) |
Carreira científica | |
Campos | Matemática e ciência da computação teórica |
Instituições | Instituto de Matemática do Departamento de Steklov de Petersburgo |
Yuri Vladimirovich Matiyasevich , ( russo : Ю́рий Влади́мирович Матиясе́вич ; nascido em 2 de março de 1947 em Leningrado ) é um matemático e cientista da computação russo . Ele é mais conhecido por sua solução negativa do décimo problema de Hilbert ( teorema de Matiyasevich ), que foi apresentada em sua tese de doutorado na LOMI (o Departamento de Leningrado do Instituto Steklov de Matemática ).
Biografia
- Em 1962–1963, Matiyasevich estudou no Liceu de São Petersburgo 239 ;
- Em 1963-1964, ele estudou na Escola Kolmogorov ; em 1964 ele foi o vencedor absoluto das Olimpíadas da União de Matemática
- Em 1964-1969, Matiyasevich estudou na Faculdade de Matemática e Mecânica da Universidade Estadual de Leningrado . Ao se classificar para a equipe da URSS para a Olimpíada Internacional de Matemática (onde ganhou uma medalha de ouro), Yuri Matiyasevich foi aceito sem exames na Universidade Estadual de Leningrado , pulando o último ano do ensino médio.
- Em 1966, ele apresentou uma palestra no Congresso Internacional de Matemáticos realizado em Moscou . Ele era um estudante de graduação do segundo ano na época.
- Em 1969-1970, ele seguiu os estudos de doutorado no Departamento de Leningrado do Instituto de Matemática Steklov sob a supervisão de Sergey Maslov .
- Em 1970, ele recebeu seu doutorado ( grau de candidato , equivalente a Ph.D) na LOMI e deu uma palestra convidada no Congresso Internacional de Matemáticos realizado em Nice sobre a indecidibilidade do décimo problema de Hibert.
- Em 1970-1974, ele foi um pesquisador na LOMI .
- Em 1972, obteve o segundo grau de doutorado (equivalente a habilitação ou D.Sc, denominado "doktor nauk" na União Soviética ).
- Em 1974-1980, ele foi um pesquisador sênior da LOMI .
- Em 1980-2018, Yuri Matiyasevich era o chefe do Laboratório de lógica matemática da LOMI .
- Desde 1995, ele é professor da Saint Petersburg State University , inicialmente na cadeira de engenharia de software , depois na cadeira de álgebra e teoria dos números .
- Em 1997, foi eleito membro correspondente da Academia Russa de Ciências .
- Desde 1998, Yuri Matiyasevich é vice-presidente da St. Petersburg Mathematical Society .
- Desde 2002, ele dirige as Olimpíadas de Matemática da Cidade de São Petersburgo .
- Desde 2003, Matiyasevich é codiretor da escola de estudantes alemão-russa JASS .
- Em 2008, foi eleito membro titular da Academia Russa de Ciências .
Premios e honras
- 1964: Medalha de ouro na Olimpíada Internacional de Matemática realizada em Moscou .
- 1970: "Prêmio jovem matemático" da Leningrad Mathematical Society .
- 1980: Prêmio Markov da Academia de Ciências da URSS .
- 1996: Grau honorário, Université d'Auvergne .
- 1998: Ele recebeu o Prêmio de Pesquisa Humboldt .
- 2003: Grau honorário, Université Pierre et Marie Curie (UPMC).
- 2007: Membro da Academia de Ciências da Baviera .
Fatos notáveis
- Um polinômio relacionado às cores de uma triangulação de uma esfera foi nomeado após Matiyasevich; veja o polinômio de Matiyasevich, teorema das quatro cores e sistemas de pesos .
- Ele foi membro da American Mathematical Society e da Association for Symbolic Logic ; e também dos conselhos editoriais das revistas Discrete Mathematics and Applications e Computer Instruments in Education .
- Alunos notáveis incluem: Eldar Musayev , Maxim Vsemirnov , Alexei Pastor , Dmitri Karpov .
Trabalhos selecionados
Livro
- Yuri Matiyasevich Hilbert's 10th Problem , Prefácio de Martin Davis e Hilary Putnam , The MIT Press, 1993. ISBN 0-262-13295-8 .
Papéis
- Yuri Matiyasevich (1973). “Reconhecimento em tempo real da relação de inclusão” (PDF) . Journal of Sovjet Mathematics . 1 (1): 64–70. doi : 10.1007 / bf01117471 . ISSN 0090-4104 . S2CID 121919479 .
- Yuri Matiyasevich, Julia Robinson (1975). "Redução de uma equação Diofantina arbitrária a uma em 13 incógnitas" . Acta Arithmetica . XXVII : 521–549.
- Yuri Matiyasevich, Géraud Sénizergues (1996). "Problemas de decisão para sistemas semi-thue com algumas regras" . LICS .
- Yuri Matiyasevich, Procedimentos de Prova como Bases para Provas Metamatemáticas em Matemática Discreta , Jornal Pessoal de Yury Matiyasevich.
- Yuri Matiyasevich, Eliminação de quantificadores universais limitados em frente a uma fórmula aritmética livre de quantificadores , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, A Polinomial related to Colorings of Triangulation of Sphere , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich (2004). "Algumas reformulações probabilísticas da conjectura das quatro cores" . Journal of Graph Theory . 46 (3): 167–179. doi : 10.1002 / jgt.10178 .
Veja também
Referências
links externos
- Página inicial de Yuri Matiyasevich .
- Yuri Matiyasevich no DBLP .
- Resultados de Yuri Matiyasevich na Olimpíada Internacional de Matemática
- Teorema de Matiyasevich na Scholarpedia.
- Vita e colaboração com a França (em francês) .
- O'Connor, John J .; Robertson, Edmund F. , "Yuri Matiyasevich" , arquivo MacTutor History of Mathematics , University of St Andrews .
- Supercomputação para um superproblema: uma jornada computacional para a matemática pura