5 minutes Lebesgue

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
8 October 2019
en cours d'évaluation
Mathematical field: 
logic

Partners

Irmar LMJL ENS Rennes LMBA LAREMA

Affiliation

ANR CNRS Rennes 1 Rennes 2 Nantes INSA Rennes INRIA ENSRennes UBO UBS Angers UBL