INTUITIONNISME
INTUITIONNISME (parfois INTUITIONISME.). n.m. ♦ 1° Doctrine philosophique qui donne un rôle primordial à l’intuition, par exemple chez Bergson. ♦ 2° Mathématiques. Doctrine contemporaine opposée au formalisme. Les intuitionnistes estiment que la mathématique ne peut pas être intégralement formalisée, car l’intuition intervient inévitablement au départ (données de base), puis au cours des déductions (rapports de signification). La formalisation est pour eux une simplification commode.