IREM | Tout ce que vous avez toujours voulu savoir sur la logique et qu’on n’a jamais voulu vous révéler

Résumé

Au sujet de la logique, l'imaginaire du profane (voire celui du mathématicien) est empli d'entités métaphysiques («formalisme», «idéalisme», «intuition», «rigueur», ...) qui se livrent à des combats mythiques.
Nous essaierons d'éclaircir certains points, y compris la nature de la logique mathématique, au risque de ternir quelques illusions traditionnelles et lénitives.
On évoquera aussi les rapports avec l'enseignement des mathématiques.