Institut de Recherche sur l'Enseignement des Mathématiques de Paris

Vidéos- Raisonner, (re)chercher, communiquer (R2C2)

• Contrôle, preuve et démonstration. Trois régimes de la validation.

  Conférence de Nicolas Balacheff (Laboratoire d’Informatique de Grenoble, Université de Grenoble Alpes, CNRS)
  17 novembre 2017.
  Durée: 74 minutes.

  Télécharger la vidéo

• Problèmes ouverts, pourquoi et comment?

  Conférence de Daniel Perrin, Université de Paris-Sud, ESPE de l’Académie de Paris
  4 novembre 2015.
  Durée: 135 minutes.

  Téléchargement

• A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court)

  Conférence de Jean-Louis Krivine donnée dans le cadre de la Journée en l'honneur de René Cori.
  12 Septembre 2014.
  Durée: 59 minutes.

• La démonstration : une logique en situation ?

  Colloquium 2009 CFEM – ARDM
  Conférencier : Gilbert Arsac, LIRDHIST (Université Claude Bernard – Lyon 1) et IREM de Lyon
  16 Octobre 2009
  Durée : 95 minutes

• Les Mathématiques : démonstration, description, expérience

  Conférencier : Martin Andler, Université de Versailles Saint Quentin et association Animath
  16 Février 2005
  Durée : 115 minutes