Intuitionnisme

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Page d'aide sur les redirections Pour les autres significations, voir Intuitionnisme (homonymie).

L'intuitionnisme est une philosophie des mathématiques que L. E. J. Brouwer a élaborée au début du XXe siècle. Pour Brouwer, les mathématiques sont une libre création de l'esprit humain. L'intuitionnisme a pour conséquence une profonde remise en cause des mathématiques ; en particulier, l'intuitionnisme n'accepte pas le raisonnement par l'absurde ou le tiers exclu comme des principes universellement valides. La logique intuitionniste, développée par Arend Heyting, élève de Brouwer, formalise les principes logiques sur lesquels s'appuie l'intuitionnisme.

L'intuitionnisme est souvent considéré comme une forme de constructivisme, avec lequel il a beaucoup en commun, mais il s'en écarte quand, comme c'est le cas pour l'intuitionnisme originel de Brouwer, il conduit à des énoncés mathématiques valides qui ne le sont pas classiquement. La logique intuitionniste ne permet, elle, de démontrer que des énoncés valides en logique classique.

Bibliographie[modifier | modifier le code]

Références[modifier | modifier le code]