Yuri Matiyasevich
Title: Hilbert's Tenth Problem Today: Main Results and Open Problems
Abstract:
Among the 23 problems stated by David Hilbert in 1900 we found:
10. Determination of the Solvability of a Diophantine Equation.
Given a diophantine equation with any number of unknown quantities and
with rational integral numerical coefficients: To devise a process
according to which it can be determined by a finite number of operations
whether the equation is solvable in rational integers.
The problem was shown to be undecidable in 1970. Since that time over
300 papers were published about simplifications, improvements and
applications of this resulting different branches of mathematics. In the
lecture I am to survey main achievements in this area and discuss some
important related questions that still remain open.