Hilbert's Tenth Problem
The aim of this page is to promote research connected with the negative solution of Hilbert's Tenth Problem. The negative solution of this problem and the developed techniques have a lot of applications in theory of algorithms, algebra, number theory, model theory, proof theory and in theoretical computer science.