“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.
” source...
Loading...