ruso
Yuri Matiyasevich es un matemático ruso conocido por su trabajo en teoría de números y por ser uno de los principales contribuyentes a la solución del décimo problema de Hilbert. Su relevancia radica en demostrar que no hay un algoritmo general para resolver ecuaciones diofantinas, lo que tuvo un impacto significativo en la computación y la lógica matemática.
1985·ensayo
Un tratado sobre la teoría de la computabilidad, centrándose en el Décimo Problema de Hilbert y su solución, que demuestra la imposibilidad de un algoritmo general para determinar si una ecuación diofántica tiene soluciones enteras.
1993·divulgacion
Una colección de problemas y discusiones avanzadas sobre la intersección de la combinatoria y la teoría de números, mostrando la profundidad y complejidad de estas ramas de las matemáticas.
1993·divulgacion
Una obra que explora temas fundamentales de la computabilidad, la complejidad y la lógica matemática, con un enfoque particular en el décimo problema de Hilbert y los resultados de Matiyasevich sobre su irresolubilidad.
Aparecen junto a Yuri Matiyasevich en búsquedas del archivo
