Laurent Moret-Bailly, Diophante, Hilbert et les algorithmes

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.

IRMAR
URL de Vidéo distante
Niveau
nouveau
Mathematical field
logic