Usuário(a):Luizandrejs/Yuri Matiyasevich: diferenças entre revisões
m Maria Madalena moveu Yuri Matiyasevich para Usuário(a):Luizandrejs/Yuri Matiyasevich |
|
(Sem diferenças)
|
Revisão das 00h37min de 7 de julho de 2012
Predefinição:Infobox Scientist Yuri Vladimirovich Matiyasevich, (em russo: Ю́рий Влади́мирович Матиясе́вич; nascido em 2 de março de 1947 em São Petersburgo) é um Matemático e Cientista russo. He is best known for his negative solution of Hilbert's tenth problem, presented in his doctoral thesis, at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).
Biografia
- Entre 1962 e 1963 estudou na Saint Petersburg Lyceum 239.
- Entra 1963 e 1964 estudou na Kolmogorov School.
- Entre 1964 e 1969 estudou na Mathematics & Mechanics Faculty of Leningrad State University. Como ganhador da IMO Yuri Matiyasevich foi aceito na LSU, deixando de lado o último ano do ensino médio.
- Em 1966 ele apresenIn 1966 he presented a talk at International Congress of Mathematicians held in Moscow. He was a second year undergraduate student at that time.
- In 1969-1970 Ph.D. studies at Leningrad Department of Steklov Institute of Mathematics under supervision of Sergey Maslov.
- In 1970 he received Ph.D. degree at LOMI.
- In 1970-1974 researcher at LOMI.
- In 1972 he obtained a second doctoral degree (called "doktor nauk" in Soviet Union).
- In 1974-1980 senior researcher at LOMI.
- Since 1980 Yuri Matiyasevich has been the head of Laboratory of mathematical logic at LOMI.
- Since 1995 he has been a professor of Saint-Petersburg State University, initially at the chair of software engineering, later at the chair of algebra and number theory.
- In 1997 he was elected as a corresponding member of Russian Academy of Sciences.
- Since 1998 Yuri Matiyasevich has been a vice-president of St. Petersburg Mathematical Society.
- Since 2002 he has been a head of St.Petersburg City Mathematical Olympiad.
- Since 2003 Yuri Matiyasevich has been a co-director of annual German-Russian student school JASS.
- In 2008 he was elected as a full member of Russian Academy of Sciences.
Prêmios
- Em 1964 Yuri Matiyasevich ganhou medalha de outro na Olimpíada Internacional de Matemática em Moscou.
- Em 1970 Yuri Matiyasevich recebeu o "Young mathematician" prêmio da Leningrad Mathematical Society.
- Em 1980 Yuri Matiyasevich recebeu o Prêmio Markov da Academy of Sciences of the USSR.
- In 1996 Docteur Honoris Causa de l'Université d'Auvergne.
- Em 1998 ele recebeu Humboldt Research Award to Outstanding Scholars.
- In 2003 Docteur Honoris Causa de l'Université Pierre et Marie Curie (Paris-6).
- In 2007 he was elected to Bayern Academy of Sciences.
Fatos Importantes
- A polynomial related to colorings of triangulation of sphere was named after Matiyasevich, see The Matiyasevich polynomial, four colour theorem and weight systems.
- Member of the American Mathematical Society and the Association for Symbolic Logic.
- Member of the editorial boards for the journals Discrete Mathematics and Applications and Computer Instruments in Education.
- His Erdős number is 2: Yuri Matiyasevich - Richard Guy - Paul Erdős.
- Notable students include: Eldar Musayev, Maxim Vsemirnov, Alexei Pastor, Dmitri Karpov, Yury Lifshits.
Trabalhos selecionados
Livro
- Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.
Papers
- Yuri Matiyasevich (1973). «Real-time recognition of the inclusion relation» (PDF). Journal of Sovjet Mathematics. 1 (1): 64–70. ISSN 0090-4104
- Yuri Matiyasevich, Julia Robinson (1975). «Reduction of an arbitrary Diophantine equation to one in 13 unknowns». Acta Arithmetica. XXVII: 521-549
- Yuri Matiyasevich, Géraud Sénizergues (1996). «Decision Problems for Semi-Thue Systems with a Few Rules». LICS
- 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, A Polynomial related to Colourings of Triangulation of Sphere, Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich (2004). «Some Probabilistic Restatements of the Four Color Conjecture». Journal of Graph Theory. 46 (3): 167–179. doi:10.1002/jgt.10178
Veja mais
Links externos
- Yuri Matiyasevich's home page.
- Yuri Matiyasevich at DBLP.
- Luizandrejs/Yuri Matiyasevich (em inglês) no Mathematics Genealogy Project.
- Hilbert's Tenth Problem: a History of Mathematical Discovery.
- «Luizandrejs/Yuri Matiyasevich's results». Olimpíada Internacional de Matemática
- Matiyasevich theorem on Scholarpedia.
- Vita and collaboration with France (em francês).
Categorias:
- 1947 births
- 20th-century mathematicians
- 21st-century mathematicians
- Saint Petersburg State University alumni
- Living people
- Logicians
- Full Members of the Russian Academy of Sciences
- People from Saint Petersburg
- Russian computer scientists
- Russian logicians
- Russian mathematicians
- Soviet computer scientists
- Soviet mathematicians