| has gloss | fra: Ladjectif diophantien (du nom de Diophante dAlexandrie) sapplique à tout ce qui concerne les équations polynomiales à coefficients entiers, également appelées équations diophantiennes. Les notions qui suivent ont été développées pour venir à bout du dixième problème de Hilbert. Il sagit de savoir sil existe un algorithme général permettant de dire si, oui ou non, il existe une solution à une équation diophantienne. Le théorème de Matiyasevich prouve limpossibilité de lexistence dun tel algorithme. |