Conférence : Peut-on faire des démonstrations avec un ordinateur ? (Science Comes to Town)

  • Le Mardi 19 mai 2026, 18:00

  • Faculté des Sciences et Techniques

  • Accessibilité non renseignée

L’outillage quotidien du mathématicien comporte depuis longtemps des instruments pour calculer, étudier des constructions géométriques ou simuler des processus.

Pourrait-il y en avoir aussi pour faire des démonstrations, Cette question n’est pas nouvelle, puisque les premières démonstrations assistées par ordinateur remontent aux années 1960, mais c’est surtout au cours de la dernière décennie que cette pratique s’est développée plus largement dans la communauté mathématique. L’objet de cette conférence est de raconter ce que sont ces démonstrations assistées par ordinateur, en mettant en avant les questions qu’elles posent aux mathématiciens. On se demandera aussi dans quelles conditions l’usage de logiciels de démonstration pourrait trouver sa place dans l’enseignement des mathématiques.

Si on sortait ?