Yuri Matiyasevich is a Russian mathematician and computer scientist who, in his 1972 doctoral thesis, completed the negative solution to Hilberts tenth problem, proving that there is no general algorithm for deciding whether an arbitrary Diophantine equation has a solution in integers. His proof, building on earlier work by Julia Robinson, Martin Davis and Hilary Putnam, showed that the set of solvable Diophantine equations coincides with the computably enumerable sets, a result now known as the MRDP theorem that connects number theory directly to the limits of computation.
Facts
In the Other Atlases
- Also in Geography Atlas: Russia, nationality there.
Sources
1. Wikipedia: Yuri Matiyasevich
Wikimedia FoundationBiography, Early years and education section, first sentence
Yuri Matiyasevich was born in Leningrad on March 2, 1947.
Lead paragraph, first sentence (after the Russian name gloss)
is a Russian mathematician and computer scientist.
Lead paragraph
is a Russian mathematician and computer scientist
View the Source Yuri Matiyasevich (Wikidata)
Wikidata alias: Yury Matiyasevich
Yury Matiyasevich
Wikidata P166: honorary doctorate at the université d'Auvergne - Clermont I
Wikidata P166 (award received): honorary doctorate at the université d'Auvergne - Clermont I.
Wikidata P166: Markov Prize
Wikidata P166 (award received): Markov Prize.
Wikidata P166: doctor honoris causa from the Pierre and Marie Curie University
Wikidata P166 (award received): doctor honoris causa from the Pierre and Marie Curie University.
Wikidata P166: honorary doctor of the Aix-Marseille University
Wikidata P166 (award received): honorary doctor of the Aix-Marseille University.
Wikidata alias: Yuri Vladimirovich Matiyasevich
Yuri Vladimirovich Matiyasevich
Wikidata alias: Yury Vladimirovich Matiyasevich
Yury Vladimirovich Matiyasevich
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.