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
Awardhonorary doctorate at the université d'Auvergne - Clermont I 2 Awarddoctor honoris causa from the Pierre and Marie Curie University 2 Awardhonorary doctor of the Aix-Marseille University 2 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 2. Wikidata: Yuri Matiyasevich
Wikidata Q707119, class allow-list match (w-wdresolver-0926)View the Source Reader 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.