Logique intuitionniste"

Concept philosophique et mathématique basé sur l'intuition.

Définie par le mathématicien Jan Brouwer, et formalisée par son élève Arend Heyting, la logique intuitionniste est un concept philosophique appliqué aux mathématiques, alternative à la logique classique. Son nom lui vient de son principe même, basé sur l'intuition.