Hilbert's Tenth Problem

Statement of the problem
(in German)

10. Entscheidung der Lösbarkeit einer diophantischen Gleichung. Eine diophantische Gleichung mit irgendwelchen Unbekannten und mit ganzen rationalen Zahlkoefficienten sei vorgelegt: man soll ein Verfahren angeben, nach welchen sich mittels einer endlichen Anzahl von Operationen entscheiden lässt, ob die Gleichung in ganzen rationalen Zahlen lösbar ist.



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