Gilles Dowek - Diophante, l'infini et les ordinateurs

Gilles Dowek, chercheur et professeur d'informatique à l'Ecole Polytechnique, nous montre les liens entre la démonstration mathématique et l'usage des ordinateurs à l'aide d'un exemple simple, celui des équations diophantiennes.