Quicklists

Laurent Monasse, chercheur INRIA-LJAD

videomaths

254 Vues

"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.

Veuillez sélectionner le nom de la playlist parmi les suivantes

Signaler la vidéo

Si vous estimez qu'une vidéo ne rentre pas dans le cadre éducatif, merci de signaler cette dernière par le biais de ce formulaire.

0 Commentaire

Commentaires désactivés pour cette vidéo