Question: Are both Pablo Herrera Barrantes and Yuri Matiyasevich from the same country?
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