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.

• Catégorie: Non catégorisé
• Durée: 01:00:04
• Date:  Il y a 4 ans
• Mots clés:  
• Genre:  
• Acteurs:  
• Producteur:  
• Producteur exécutif:  
• Directeur:  
• Equipe: