arrow drop search cross
arrow drop search cross

Webinaire : Contraintes, algorithmes et preuve

Le labomaths du Lycée Simone Veil aura le plaisir d'accueillir un webinaire présenté par Laurent Monasse, chercheur INRIA-LJAD.
Classe virtuelle


11/06/2020   :   16h00
Publication : 11/06/2020
Partager cet article :

L'exposé intitulé  "Contraintes, algorithmes et preuve" évoquera 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és 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.

 

Afin que nous puissions vous envoyer le lien de la classe virtuelle pour suivre ce webinaire, merci de bien vouloir répondre au questionnaire suivant : https://evento.renater.fr/survey/webinaire-labomaths-...-dx2sfuvu