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. He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).
Michael Krivelevich Michael Krivelevich (born January 30, 1966) is a professor with the School of Mathematical Sciences of Tel Aviv University, Israel.