le jeudi 11 juin de 16 h à 17h, via une classe virtuelle du CNED

Laurent Monasse, chercheur INRIA-LJAD
“Contraintes, algorithmes et preuve au travers l’histoire”
Son exposé va évoquer comment les mathématiques ont pris des formes très diverses selon les périodes et les cultures, allant de la recette de cuisine (ou algorithme) pour résoudre un problème concret à la formalisation et la construction d’objets abstraits sur lesquels s’appliquent des règles logiques, permettant la preuve de propriétés. Il montrera comment la culture et la société ont influencé les contraintes que se sont imposées les mathématiciens, en quoi ces contraintes ont été fécondes pour la formulation de questions mathématiques et comment la notion de rigueur d’une preuve est apparue progressivement.

-> Télécharger l’affiche de la conférence
-> Présentation de la webconférence et  replay de la conférence

 

jeudi 14 mai de 16 h à 17 h via une classe virtuelle du CNED

Arnaud Beauville, professeur émérite du LJAD de l’Université Côte d’Azur.
L’histoire des équations algébriques, en lien avec l’histoire des mathématiques enseignée dans le secondaire”
Son exposé retrace l’histoire des équations algébriques, depuis Babylone et l’équation du second degré jusqu’à Abel et Galois, en passant par l’histoire mouvementée de la résolution de l’équation du 3e degré par la Renaissance italienne, Descartes, Lagrange, Gauss et bien d’autres.

-> Télécharger l’affiche de la conférence
-> Présentation de la webconférence
-> Support de cours
-> Le replay de la conférence