Brouwer et l'intuitionisme

Le mathématicien néerlandais Luitzen Egbertus Jan Brouwer est mort le 2 décembre 1966.
Il est surtout connu pour son travail en topologie, entre autres le théorème du point fixe qui porte son nom.
Il fut l'un des principaux artisans de la théorie des mathématiques intuitionistes : les mathématiques sont intuitives et ne peuvent pas être purement hypothético-déductives.
Le livre "Intuition et intuitionisme" de Jean Largeault (Vrin 2002) présente les idées de Brouwer (il contient en annexe la traduction de deux de ses textes). On peut en lire des extraits sur Google-Livres ou le commander sur amazon.