Hilbert's Tenth Problem

Statement of the problem
(in French)

10. De la possibilité de résoudre une équation diophantienne. On donne une équation de Diophante à un nombre quelconque d'inconnues et à coefficients entiers rationnels : on demande de trouver une méthode par laquelle, au moyen d'un nombre fini d'opérations, on pourra distinguer si l'équation est résoluble en nombres entiers rationnels.


main page 		Statement's translation:
German English Russian French
also Chinese

Laboratory of Mathematical Logic at
St. Petersburg Division of Steklov Institute of Mathematics (POMI) of
Russian Academy of Sciences