L’intuitionisme est une école de mathématiques créée par le Néerlandais Luitzen Egbertus Jan BROUWER (1881-1966) au début du XXe siècle pour consolider les fondations des mathématiques à l’instar des digues de Hollande dues à Simon STEVIN. Trois idées s’y entremêlent (1) : “Les mathématiques représentent la partie exacte de la pensée humaine” ; “L’activité mathématique de l’homme est une activité spirituelle” ; “Les mathématiques sont une création libre, indépendante de l’expérience.” Comme la pensée humaine [...]