Question: Are Yuri Matiyasevich and Mikhail Kravchuk both mathematicians?
Sentence (from "Yuri Matiyasevich"): 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).
Relevant evidence: No