Yuri Matiyasevich is a Russian mathematician known for his contributions to mathematical logic and computability theory. He is best known for his work on the unsolvability of certain problems in number theory, particularly through his proof of the theorem that there is no general algorithm to find integer solutions to polynomial equations, which is tied to the broader area of Hilbert's Tenth Problem.
New to topics? Read the docs here!