Quicklists

Laurent Monasse, chercheur INRIA-LJAD

videomaths

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

Signaler la vidéo

Please select the category that most closely reflects your concern about the video, so that we can review it and determine whether it violates our Community Guidelines or isn't appropriate for all viewers. Abusing this feature is also a violation of the Community Guidelines, so don't do it.
Comments Disabled For This Video