Hilbert's Tenth Problem page!
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.
You can find here:
- The original statement of
Hilbert's Tenth Problem and its translation into different languages.
of the problem.
of a book about the problem written by Yury Matiyasevich .
and meetings devoted to Hilbert's Tenth Problem and related subjects.
- Film about
Hilbert's Tenth Problem.
- Records of Hilbert's Tenth Problem.
gallery (David Hilbert, Julia Robinson, Martin Davis, Yuri Matiyasevich).
- Links to other related
This page was created by Maxim
Vsemirnov under supervision of Yuri
Last modified: March 14, 2007
Mathematical Logic at
Division of Steklov Institute of Mathematics (POMI) of
Russian Academy of