THEME: 7-Les vérifications
La notion de vérification n'est pas une notion
mathématique simple à définir car les vérifications font, en général,
partie du
travail privé des mathématiciens. Ainsi dans les productions
mathématiques
(articles de recherche ou de vulgarisation), on ne trouve plus le récit
de ce
qui a amené à la découverte d'une propriété ou d'un théorème, on ne
trouve pas
davantage les erreurs rectifiées ou les vérifications. Les traces
publiques qui
sont produites ne reproduisent pas l'histoire de la découverte mais
donnent une
version reconstruite répondant à des critères de logique d'exposition.
Pour les élèves, nous avons montré (S. Coppé (1993) que c'est un peu la même chose : souvent les professeurs pensent (et déplorent) que les élèves ne vérifient pas car ils ne trouvent pas de traces de vérification dans les copies par exemple.
