intuitionnisme.

Ci-dessous un extrait traitant le sujet : intuitionnisme.. Ce document contient 102 mots. Pour le télécharger en entier, envoyez-nous un de vos documents grâce à notre système d’échange gratuit de ressources numériques ou achetez-le pour la modique somme d’un euro symbolique. Cette aide totalement rédigée en format pdf sera utile aux lycéens ou étudiants ayant un devoir à réaliser ou une leçon à approfondir en : Encyclopédie

---

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.