Il n'existe pas d'algorithme qui, sur présentation d'une équation polynomiale à coefficients entiers (et à plusieurs variables), détermine si elle a une solution entière ou non. Commentaires sur l'histoire et la signification de ce résultat.