La démonstration : une logique en situation ?

[Le portail des IREM]
http://www.univ-irem.fr/spip.php?article272
Colloquium de Gilbert Arsac, à l'IHP le 16 octobre 2009 à 16 h.
Le titre choisi pourrait laisser croire qu'il va s'agir d'un exposé d'épistémologie. Il n'en est rien : le fil directeur est bien didactique, il s'agit d'étudier quelles questions peuvent être soulevées par diverses modélisations logiques très classiques qui ne seront d'ailleurs présentées que sur des exemples, lesquels suffiront à engendrer les questions.
...