intuitionnisme.

intuitionnisme. n.m. MATHÉMATIQUES : ensemble d'idées développées par les logiciens néerlandais (notamment Luitzen Brouwer) pour répondre à la crise des fondements des mathématiques au début du XX e siècle. L'intuitionnisme consiste essentiellement à éviter l'utilisation de raisonnements faisant explicitement référence à l'infini « actuel « (par exemple l'axiome du choix). Selon la logique intuitionniste, un objet mathématique n'existe que si l'on en connaît un procédé constructif explicite. En particulier, dans un ensemble infini, l'apparition d'une contradiction, conséquence d'une proposition universelle, n'entraîne pas l'existence effective d'une exception, si elle n'en donne pas un moyen d'exhibition ; le principe du tiers exclu se trouve ainsi remis en cause.