Yuri Matiyasevich is a Russian mathematician and computer scientist who is known for his negative solution of Hilbert's tenth problem.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Matiyasevich/
