Yuri Matiyasevich
Neste artigo vamos nos aprofundar em Yuri Matiyasevich, explorando seu impacto, importância e relevância na sociedade atual. Yuri Matiyasevich tem sido objeto de interesse e debate há muitos anos, e sua influência pode ser percebida em diversas áreas da vida cotidiana. Ao longo deste artigo examinaremos diferentes perspectivas e opiniões sobre Yuri Matiyasevich, com o objetivo de fornecer uma visão completa e equilibrada deste tema. Além disso, discutiremos como Yuri Matiyasevich evoluiu ao longo do tempo e como continua a moldar nossas vidas hoje. Sem dúvida, Yuri Matiyasevich é um tema fascinante que merece a nossa atenção e reflexão, e temos a certeza que este artigo lhe dará uma visão enriquecedora sobre o mesmo.
| Yuri Matiyasevich | |
|---|---|
 | |
| Nascimento | 2 de março de 1947 (78 anos) São Petersburgo |
| Cidadania | Rússia |
| Alma mater |
|
| Ocupação | matemático, cientista de computação, professor universitário |
| Distinções |
|
| Empregador(a) | St. Petersburg Department of Steklov Institute of Mathematics of Russian Academy of Sciences, Krasnoyarsk Summer School, Universidade Estatal de São Petersburgo |
| Orientador(a)(es/s) | Sergey Yuryevich Maslov, Nikolay Shanin |
| Página oficial | |
| http://logic.pdmi.ras.ru/~yumat// | |
Yuri Vladimirovich Matiyasevich (em russo: Ю́рий Влади́мирович Матиясе́вич; São Petersburgo, 2 de março de 1947) é um matemático e cientista da computação russo. É conhecido por sua solução negativa do décimo problema de Hilbert (teorema de Matiyasevich), que foi apresentado em sua tese no Departamento de São Petersburgo do Instituto de Matemática Steklov a Academia de Ciências da Rússia.
Obteve um doutorado em 1970, orientado por Sergei Maslov e Nikolai Aleksandrovich Shanin.[1]
Foi palestrante convidado do Congresso Internacional de Matemáticos em Nice (1970: Diophantine representation of recursively enumerable predicates).
Publicações selecionadas
Livros
- Yuri Matiyasevich Hilbert's 10th Problem, prefácio por Martin Davis Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.
Artigos
- Yuri Matiyasevich (1973). «Real-time recognition of the inclusion relation» (PDF). Journal of Sovjet Mathematics. 1 (1): 64–70. ISSN 0090-4104. doi:10.1007/bf01117471
- 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
Referências
- ↑ Yuri Matiyasevich (em inglês) no Mathematics Genealogy Project
Ligações externas
- Yuri Matiyasevich's home page.
- Yuri Matiyasevich at DBLP.
- Hilbert's Tenth Problem: a History of Mathematical Discovery.
- «Yuri Matiyasevich's results». Olimpíada Internacional de Matemática
- Matiyasevich theorem on Scholarpedia.
- Vita and collaboration with France (em francês).
- O'Connor, John J.; Robertson, Edmund F., «Yuri Matiyasevich», MacTutor History of Mathematics archive (em inglês), Universidade de St. Andrews
- Supercomputing for a Superproblem: A Computational Journey Into Pure Mathematics
