19 Décembre 2013, 13h-14h, salle Euler violet, par Laurent Théry
L’apparition des ordinateurs a quelque peu modifié la vision traditionnelle de ce qu’est une preuve mathématique. Dans cet exposé, nous illustrerons ce nouvel état de fait par quelques exemples élémentaires dont le célèbre cube de Rubik. Ensuite, nous essaierons de montrer comment informatiquement on peut accompagner cette nouvelle façon de faire des mathématiques.
13h : accueil avec café, thé et petits gâteaux.
13h05-13h55 : présentation et discussion.
