Spécificités des connaissances en logique et conséquence sur la double discontinuité de Klein
Résumé L’enseignement de la logique, dans les cours de mathématiques universitaires, paraît perti-nent car celle-ci y occupe une place essentielle et transversale puisqu’elle permet de décrire, de contrôler et de valider l’activité mathématique de preuve. Notre première partie pré-sente quelques résultats des travaux du thème « Logique et Preuve » du groupe de recherche DEMIPS. … Lire la suite