Are Yuri Matiyasevich and Mikhail Kravchuk both mathematicians?
Yuri Matiyasevich: Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич ; born March 2, 1947, in Leningrad) is a Russian mathematician and computer scientist.
i don't know